B
MemoRewriterTestsSupport
BBinBB
DotNameResolutionTests
BEQ
RISCISA
BGE
RISCISA
BGT
RISCISA
BLE
RISCISA
BLT
RISCISA
BNE
RISCISA
BR
RISCISA
BSR
RISCISA
BasicNameResolutionTests
tests
Beq
RISCTree
BinExp
TransformTree
BinExpR
TransformTree
Binary
ImperativeNonCaseTree ImperativeTree
BinaryExpression
MiniJavaTree source
Bind
LambdaTree
Bipush
JVMTree
Block
DataflowTree MiniJavaTree source PicoJavaTree Program
BlockStmt
PicoJavaTree
BlockStmts
Block
Bne
RISCTree
Body
ClassDecl WhileStmt
BoolExp
ObrTree
BoolType
SymbolTable
BoolVar
ObrTree
BooleanLiteral
PicoJavaTree
BooleanType
MiniJavaTree
Branch
RISCISA
Builtin
SymbolTable
BuiltinProc
SymbolTable
BuiltinType
SymbolTable
b
Unused Unused ADD ADDI AND ANDI CHKI CMP CMPI DIV DIVI LDB LDW MOD MODI MOV MOVI MUL MULI MVN MVNI OR ORI POP PSH STB STW SUB SUBI XOR XORI While Lam For While
bInAA
InheritanceNameResolutionTests
banner
Imperative Lambda Lambda Lambda Main GeneratingREPLBase
base
CallExp IndExp LengthExp FieldExp IndexExp oberon0 Indexed
basetype
TypeAnalyser CAddrType
basetypeToDoc
CPrettyPrinter CPrettyPrinter CPrettyPrinter CPrettyPrinter
bdy
Clause Fact Rule
beforeAll
DataflowForTests DataflowTests SemanticAnalysisTests OneOhOneTests BasicNameResolutionTests DotNameResolutionTests InheritanceNameResolutionTests ObfuscationTests
beta
Par Reduce ReduceSubst
block
IfStatement WhileStatement Case ForStatement SyntaxAnalyser ModuleDecl SyntaxAnalyser
blockStm
SyntaxAnalyser
blockToDoc
SourcePrettyPrinter SourcePrettyPrinter
block_stmt
SyntaxAnalyser
body
While For Foreach Class Method ProcDecl CFunctionDecl ForStmt LoopStmt TryStmt WhileStmt
booleanType
SymbolTable PredefinedTypes
boolean_literal
SyntaxAnalyser
bosssalary
Precedence
bs
Letp
bxInBB
DotNameResolutionTests
by
ForStatement
byInBB
DotNameResolutionTests