T
SemanticAnalysisTests MemoRewriterTestsSupport
TIL1_1
til
TIL1_1Main
til
TIL1_1Tests
til
TIL2_1
til
TIL2_1Main
til
TIL2_1Tests
til
TIL2_2
til
TIL2_2Main
til
TIL2_2Tests
til
TIL2_3
til
TIL2_3Main
til
TIL2_3Tests
til
TILTree
til
Target
RISCISA
Term
PrologTree
TermGoal
GoalTree
TermSym
GrammarTree
TestCompiler
util
TestCompilerWithConfig
util
TestDriver
base
TestTree
AttributionTests DynamicAttributionTests
Tests
util
ThisExp
MiniJavaTree
TilTree
TILTree
Total
oneohonecompanies
Tp
SemanticAnalysisTests
TransformTests
transform
TransformTree
transform TransformTree
Transformer
base
TransformerTests
util
TransformingDriver
base
TransformingMain
til
TranslatingDriver
base
Translator
minijava base
TreeTestDriver
obr
TripleTree
AttributionTests
TrueExp
MiniJavaTree
TryBody
ObrTree
TryStmt
ObrTree
Tup2
ParserUtilitiesTests
Tup3
ParserUtilitiesTests
Tup4
ParserUtilitiesTests
Tup5
ParserUtilitiesTests
Tup6
ParserUtilitiesTests
Two
SupportPositionedRewriterTests
Type
LambdaTree MiniJavaTree SymbolTable SymbolTable VarDecl SymbolTable
TypeAnalyser
L0 L1 L2 L3 L4 picojava
TypeBase
SymbolTable
TypeDecl
source PicoJavaTree
TypeDef
source
t
AttributionTests Lam Let Cond For IfElse IfThen PositionedRewriterTests
t1
FunType
t2
FunType
tail
NonEmptyProdList NonEmptySymbolList
targetPrint
ObrConfig
targettreetest
TreeTestDriver
tasklevel
TestDriver A1Phases A2aPhases A2bPhases A3Phases A4Phases
tempintloc
RISCTransformer
term
SyntaxAnalyser SyntaxAnalyser SyntaxAnalyser TermGoal SyntaxAnalyser TIL1_1
terms
SyntaxAnalyser
testSharingRewrite
MemoRewriterTests
testdriver
TestCompilerWithConfig
tests
obr picojava
text
Comment
thens
IfStmt
thistype
SemanticAnalyser
til
example
tipe
Analyser GetField GetStatic JVMField PutField Argument Field MethodBody Var SemanticAnalyser SyntaxAnalyser IntegerValue UserType Variable TypeAnalyser TypeDecl VarDecl ParamInfo FPSection Field ArrayTypeDef FieldList CVarDecl SemanticAnalyser Constant Variable TypeAnalyser SemanticAnalyser Variable
tipe2
Analyser
tipeDef
TypeAnalyser TypeAnalyser
toDoc
CPrettyPrinter SourcePrettyPrinter CPrettyPrinter SourcePrettyPrinter SourcePrettyPrinter CPrettyPrinter SourcePrettyPrinter SourcePrettyPrinter CPrettyPrinter SourcePrettyPrinter PVal
toParenDoc
PrettyPrinter CPrettyPrinter SourcePrettyPrinter CPrettyPrinter CPrettyPrinter SourcePrettyPrinter CPrettyPrinter ParenPrettyPrinterTests
toString
ADD ADDI AND ANDI BEQ BGE BGT BLE BLT BNE BR BSR CHKI CMP CMPI Comment DIV DIVI LDB LDW Label MOD MODI MOV MOVI MUL MULI MVN MVNI OR ORI POP PSH RD RET STB STW SUB SUBI Target WRD WRH WRL XOR XORI Add Div Mul Neg Num Sub Var Var App Lam Num Var App Lam Num Var JVMArrayType JVMBooleanType JVMClassType JVMIntType JVMMethodSpec JVMStringType JVMVoidType BooleanType ClassType IntArrayType IntType ArrayType Field RecordType ArrayType BoolType EnumType EnumTypes ExnType IntType RecordType RecordTypes Atom Cut Integer Pred Var Subst AtomType IntegerType ListType Id Str
total
Rewriter Total
tr
SwapQuery
trans
SyntaxAnalyser
transform
Desugarer Desugarer Lifter Transformer TIL2_1 TIL2_2 TIL2_3 TransformingMain example
translate
Translator CCodeGenerator CCodeGenerator CCodeGenerator CCodeGenerator CCodeGenerator Translator
translateActualParam
CCodeGenerator CCodeGenerator
translateActualParams
CCodeGenerator
translateFormalParam
CCodeGenerator CCodeGenerator
translateFormalParams
CCodeGenerator
travtest
RewriterTests
tru
If
trueConstant
SymbolTable
trycatch
SyntaxAnalyser
ts
Pred
tstmt
CIfElseStatement CIfStatement
ttype
SyntaxAnalyser
ttype0
SyntaxAnalyser
typebasetype
TypeAnalyser
typedecl
SyntaxAnalyser
typedeclsection
SyntaxAnalyser
typedef
SyntaxAnalyser
typedefDef
SyntaxAnalyser SyntaxAnalyser