public class TypeChecker {
private static final Logger LOG = Logger.getLogger(TypeChecker.class);
public static final Object TYPE_OF_TERM = new Object();
private static List<Rule> ourRules = new ArrayList<Rule>();
private static Set<SNode> ourCheckedNodes = new HashSet<SNode>();
<BUG>private static WeakHashMap<SNode, SNode> ourNodesWithErrors = new WeakHashMap<SNode, SNode>();
</BUG>
public static final String TYPESYSYTEM_MODEL_PREFIX = "jetbrains.mps.helgins.typeSystems.";
public static final String JETBRAINS_MPS_TYPES_LANGUAGE = "jetbrains.mps.helgins.";
public static final String JETBRAINS_MPS = "jetbrains.mps.";

public class TypeChecker {
private static final Logger LOG = Logger.getLogger(TypeChecker.class);
public static final Object TYPE_OF_TERM = new Object();
private static List<Rule> ourRules = new ArrayList<Rule>();
private static Set<SNode> ourCheckedNodes = new HashSet<SNode>();
private static WeakHashMap<SNode, String> ourNodesWithErrors = new WeakHashMap<SNode, String>();
public static final String TYPESYSYTEM_MODEL_PREFIX = "jetbrains.mps.helgins.typeSystems.";
public static final String JETBRAINS_MPS_TYPES_LANGUAGE = "jetbrains.mps.helgins.";
public static final String JETBRAINS_MPS = "jetbrains.mps.";
