100644 blob 937fe2ade6de6305f30677ad4744a98ab4539ceb	AbstractError.java
100644 blob e8583f6fb140be56702b988bc3582521caa97795	ClassInitializationAnalysis.java
100644 blob b8e6950651b4dcb995588cd6b73ad6bc8e404ec7	DeterminismAnalysis.java
100644 blob f5cd48db785e2c0f69664edcb1be009a2f09c185	InitializedClassesOnNormalExitAnalysis.java
100644 blob 01a7e3d1ceee821a2b1739d8589b6d38f5b9a898	TypeChecker.java
040000 tree cd6d82f3389e8335aa9ec7faf6851c139a6c26b5	constant
040000 tree eff4fb651a893fe4006704b7680104f75b1984a4	equivalence
040000 tree 0ecf831cce472c8ea6168dbbde620feff8fbc7fb	escape
040000 tree bb1e3f8a34377eefc4c18e04347bb1086c34a36b	fieldaccess
040000 tree 11b42b61bd5c22dc845bc54381e304bfabca0e73	fieldvalueanalysis
040000 tree ec69886b1454d7fa97759a2828d664d8e7987b40	modeling
040000 tree df2645b1c4ff82aa72c749b62ea2f4a6ebd40d0f	proto
040000 tree f766b41ee4943c9eaf58bfad8241077acdabbad3	sideeffect
040000 tree 8546481d974e0bb39c5e1a521ed2dbac84800260	type