logo

class

compiler::CheckParamDefs

sys::Obj
  compiler::CompilerSupport
    compiler::CompilerStep
      compiler::CheckParamDefs

CheckParamDefs is used to process all the parameter default expressions for all the methods. What we are looking for is default expressions which use default expressions before it which require us to insert a store instruction.

Slots

make

new make(Compiler compiler)

name

Str name

run

override Void run()

used

Bool used

usedInSuccDef

Bool usedInSuccDef(ParamDef[] params, Int index)

visitExpr

override Expr visitExpr(Expr expr)

visitMethodDef

override Void visitMethodDef(MethodDef m)