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 SPARCTree

Syntax

JVMTree

JVMTree

MiniJavaTree

MiniJavaTree

AST

Company SupportPositionalRewriterTests SupportPositionedRewriterTests ParserUtilitiesTests

SECDBase

Syntax RISCTree SPARCTree

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 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

SECDBase

Lookup

Primitives BindPrims Enter

ParserUtilitiesTests

Evaluator

Pattern

Bipush Ldc IntExp IntDatum Label IntDatum Label

Parser

Other

UniplateTests

TypeAnalyser