Up – Package index » asli » Library asli.libASL » LibASL » Asl_utils » callsClass

Class `Asl_utils.callsClass`Source

inherit LibASL.Asl_visitor.nopAslVisitor

val mutable calls : IdentSet.t

method result : IdentSet.t

method vexpr : LibASL.Asl_ast.expr ->
  LibASL.Asl_ast.expr LibASL.Visitor.visitAction

method vstmt : LibASL.Asl_ast.stmt ->
  LibASL.Asl_ast.stmt LibASL.Visitor.visitAction

method vlexpr : LibASL.Asl_ast.lexpr ->
  LibASL.Asl_ast.lexpr LibASL.Visitor.visitAction