Interface DeclOrInstr

All Superinterfaces:
Kernel
All Known Subinterfaces:
BindInstr, CreateInstr, Decl, Instr, Ptn, RecPtn
All Known Implementing Classes:
AbstractCreateProcInstr, AbstractInstr, ActInstr, AddInstr, ApplyInstr, BasicRecPtn, BindCompleteToCompleteInstr, BindCompleteToIdentInstr, BindCompleteToValueOrVarInstr, BindIdentToIdentInstr, CaseElseInstr, CaseInstr, CatchInstr, CreateActorCtorInstr, CreateProcInstr, CreateRecInstr, CreateTupleInstr, DebugInstr, DisentailsInstr, DivideInstr, EntailsInstr, FieldDef, FieldPtn, GetCellValueInstr, GreaterThanInstr, GreaterThanOrEqualToInstr, Ident, IdentDef, IdentPtn, IfElseInstr, IfInstr, JumpCatchInstr, JumpThrowInstr, LessThanInstr, LessThanOrEqualToInstr, LocalInstr, ModuloInstr, MultiplyInstr, NegateInstr, NotInstr, ProcDef, RecDef, SelectAndApplyInstr, SelectInstr, SeqInstr, SetCellValueInstr, SkipInstr, SubtractInstr, ThrowInstr, TryInstr, TupleDef, ValueDef

public interface DeclOrInstr extends Kernel
  • Method Details

    • captureLexicallyFree

      void captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)