RISC MemoRewriterTestsSupport

SECDBase Company ClassDecl Decl IdnUse PrimitiveDecl UnknownDecl Use VarDecl

L0 L2 L3 L4

picojava

source

AST

source

RISCTree

AST ASTNonCase

source ObrTree

RISCTree

Syntax

JVMTree

JVMTree

MiniJavaTree

MiniJavaTree

AST

Company SupportPositionalRewriterTests SupportPositionedRewriterTests ParserUtilitiesTests

SECDBase

Syntax RISCTree

Syntax

ObrTree

MiniJavaTree source ObrTree

RewriterTests

AST

picojava

AST ASTNonCase AST AST AST AST AST

Syntax

IntValue PushInt MkRecord Dup Pop Swap Sub Num FreshQuery SubstQuery Dept Employee Num TIL1_1Tests TIL2_1Tests S T

Tup2 Tup3 Tup4 Tup5 Tup6

Tup2 Tup3 Tup4 Tup5 Tup6

Tup3 Tup4 Tup5 Tup6

Tup4 Tup5 Tup6

Tup5 Tup6

Tup6

Parser Parser ClassFile GetField GetStatic JVMClassType JVMField JVMMethodSpec PutField Argument ArrayAssign CallExp Class ClassType Field IdnExp MainClass Method NewExp Var VarAssign Parser Var VarDecl

Parser

RISCLabels

SECDBase

Lookup

Primitives BindPrims Enter

ParserUtilitiesTests

Evaluator

Pattern

Label Bipush Ldc IntExp IntDatum Label

Parser

Other

UniplateTests

TypeAnalyser