Classes
AST.Add
(imperative)
AST.Add
(til)
AST.And
AST.App
(lambda)
AST.App
(lambda2)
AST.ArrayDesig
AST.ArrayType
AST.Asgn
AST.Assign
AST.Assignment
AST.Binary
AST.BinaryBoolExp
AST.BinaryNumExp
AST.Bind
AST.BuiltInProcDecl
AST.ConstDecl
AST.Decl
AST.Declaration
AST.Desig
AST.Div
(imperative)
AST.Div
(til)
AST.Div
(compiler)
AST.Eq
AST.Equal
AST.Exp
(lambda)
AST.Exp
(imperative)
AST.Exp
(til)
AST.Exp
(lambda2)
AST.Exp
(compiler)
AST.FieldDecl
AST.FieldDesig
AST.For
AST.FunType
AST.GreaterThan
AST.GreaterThanOrEqual
AST.Id
AST.Ident
AST.IfElse
AST.IfStatement
AST.IfThen
AST.IntegerLiteral
AST.Lam
(lambda)
AST.Lam
(lambda2)
AST.LessThan
AST.LessThanOrEqual
AST.Let
AST.Letp
AST.Literal
AST.Minus
AST.Mod
AST.ModuleDecl
AST.ModuleType
AST.Mul
(imperative)
AST.Mul
(til)
AST.Mult
AST.NamedType
AST.Ne
AST.Neg
(imperative)
AST.Neg
(compiler)
AST.Not
AST.NotEqual
AST.Null
AST.Num
(lambda)
AST.Num
(imperative)
AST.Num
(til)
AST.Num
(lambda2)
AST.Op
AST.Opn
AST.Or
AST.Plus
AST.Pos
AST.PrettyPrintable
(imperative)
AST.PrettyPrintable
(compiler)
AST.ProcDecl
AST.ProcType
AST.ProcedureCall
AST.Program
AST.Read
AST.RecordType
AST.RefVarDecl
AST.Seqn
AST.Stat
AST.Statement
AST.Stmt
AST.Str
AST.Sub
(lambda)
AST.Sub
(imperative)
AST.Sub
(til)
AST.Type
(lambda2)
AST.Type
(compiler)
AST.TypeDecl
AST.UnaryNumExp
AST.UnknownDecl
AST.Var
(lambda)
AST.Var
(imperative)
AST.Var
(til)
AST.Var
(lambda2)
AST.VarDecl
AST.While
(imperative)
AST.While
(til)
AST.WhileStatement
AST.Write
AbstractSyntax.Access
AbstractSyntax.AssignStmt
AbstractSyntax.Block
AbstractSyntax.BlockStmt
AbstractSyntax.BooleanLiteral
AbstractSyntax.ClassDecl
AbstractSyntax.Decl
AbstractSyntax.Dot
AbstractSyntax.Exp
AbstractSyntax.IdUse
AbstractSyntax.PrimitiveDecl
AbstractSyntax.Program
AbstractSyntax.Stmt
AbstractSyntax.TypeDecl
AbstractSyntax.UnknownDecl
AbstractSyntax.Use
AbstractSyntax.VarDecl
AbstractSyntax.WhileStmt
Attributable
Attribution
Attribution.CachedAttribute
Attribution.CachedParamAttribute
AttributionBase
AttributionBase.CircularAttribute
AttributionBase.ParamAttributeKey
CharPackratParsers
CharParsers
ControlFlow
ControlFlowImpl
DataflowAST.Assign
DataflowAST.Block
DataflowAST.Empty
DataflowAST.If
DataflowAST.Program
DataflowAST.Return
DataflowAST.Stm
DataflowAST.While
DynamicAttribution
DynamicAttribution.ComposedPartialFunction
DynamicAttribution.DynamicAttribute
EagerSubst
EagerSubstEvaluator
Encoder.desigResult
Environment
Environment.EnvEntry
Evaluator
(lambda)
Evaluator
(lambda2)
For
Foreach
GeneratingREPL
Generator
(lambda)
Generator
(imperative)
InnermostSubst
InnermostSubstEvaluator
LazySubst
LazySubstEvaluator
Leaf
Liveness
LivenessImpl
Machine
Machine.State
Machine.Update
Main
Messaging.Record
PackratParsers
PackratParsers.Answer
PackratParsers.Head
PackratParsers.LR
PackratParsers.MemoParser
PackratParsers.MemoParser.MemoEntry
PackratParsers.Result
PackratParsers.Rule
Pair
ParEagerSubst
ParEagerSubstEvaluator
ParLazySubst
ParLazySubstEvaluator
Parser
(lambda)
Parser
(imperative)
Parser
(lambda2)
Parser
(compiler)
Parsers
Parsers.Failure
Parsers.ParseResult
Parsers.Parser
Parsers.Success
Parsers.~
ParsingMain
ParsingREPL
PrettyPrinter
REPL
RISC
RISC.Reg
RISCISA.ADD
RISCISA.ADDI
RISCISA.BEQ
RISCISA.BGE
RISCISA.BGT
RISCISA.BLE
RISCISA.BLT
RISCISA.BNE
RISCISA.BR
RISCISA.BSR
RISCISA.Branch
RISCISA.CHKI
RISCISA.CMP
RISCISA.CMPI
RISCISA.DIV
RISCISA.DIVI
RISCISA.Instr
RISCISA.LDB
RISCISA.LDW
RISCISA.MOD
RISCISA.MODI
RISCISA.MOV
RISCISA.MOVI
RISCISA.MUL
RISCISA.MULI
RISCISA.MVN
RISCISA.MVNI
RISCISA.POP
RISCISA.PSH
RISCISA.RD
RISCISA.RET
RISCISA.STB
RISCISA.STW
RISCISA.SUB
RISCISA.SUBI
RISCISA.WRD
RISCISA.WRH
Reduce
ReduceEvaluator
ReduceSubst
ReduceSubstEvaluator
Rewriter
Rewriter.PlusStrategy
Rewriter.Strategy
RewritingEvaluator
TIL1_1
TIL2_1
TIL2_2
TIL2_3
TestBase
(lambda)
TestBase
(imperative)
TransformingMain
Tree
UncachedAttribution
UncachedAttribution.UncachedAttribute
UncachedAttribution.UncachedParamAttribute
Variables
VariablesImpl
Objects
AST
(lambda)
AST
(imperative)
AST
(til)
AST
(lambda2)
AST
(compiler)
AST.AddOp
AST.BooleanType
AST.IntType
AST.IntegerType
AST.InvalidType
AST.StatementType
AST.SubOp
AbstractSyntax
Analysis
Assembler
Attribution
ConstantAnalysis
Dataflow
DataflowAST
DataflowFor
DataflowForeach
DynamicAttribution
Encoder
ErrorCheck
(picojava)
ErrorCheck
(compiler)
Evaluator.freshvar
Evaluators
For
Foreach
Imperative
ImperativeGen
Lambda
(lambda)
Lambda
(lambda2)
Lambda.Command
LambdaGen
Leaf
Main
(oberon0)
Main
(picojava)
Messaging
NameAnalysis
NameResolution
NullObjects
Pair
Parser
PicoJavaBenchmark
PredefinedTypes
RISCISA
RISCISA.WRL
Repmin
Rewriter.Term
TIL1_1Main
TIL2_1Main
TIL2_2Main
TIL2_3Main
TypeAnalysis
(picojava)
TypeAnalysis
(compiler)
UncachedAttribution
ValueAnalysis