Interface Kernel

All Known Subinterfaces:
BindInstr, Closure, Complete, CompleteObj, CompleteOrIdent, CompleteProc, CompleteRec, CompleteTuple, Composite, CreateInstr, Decl, DeclOrInstr, Env, Feature, FeatureIter, FeatureOrIdent, FeatureOrIdentPtn, FeatureOrVar, FieldIter, Flt32, Flt64, Instr, Int32, Int64, Literal, LiteralOrIdent, LiteralOrIdentPtn, LiteralOrVar, Num, Obj, ObjProcBinding<T>, Partial, PartialObj, PartialProc, PartialRec, PartialTuple, Proc, Ptn, Rec, RecPtn, ResolvedPtn, Scalar, Tuple, Value, ValueIter, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet
All Known Implementing Classes:
AbstractClosure, AbstractCompleteRec, AbstractCompleteTuple, AbstractCreateProcInstr, AbstractInstr, AbstractIter, ActInstr, ActorCfg, ActorCtor, AddInstr, ApplyInstr, BasicRecPtn, BindCompleteToCompleteInstr, BindCompleteToIdentInstr, BindCompleteToValueOrVarInstr, BindIdentToIdentInstr, Bool, CaseElseInstr, CaseInstr, CatchInstr, Char, CompleteActorCtor, CompleteClosure, CompleteObjProcBinding, CreateActorCtorInstr, CreateProcInstr, CreateRecInstr, CreateTupleInstr, DebugInstr, Dec128, DisentailsInstr, DivideInstr, EntailsInstr, Env.ArrayEnv, Eof, FailedValue, FieldDef, FieldPtn, GetCellValueInstr, GreaterThanInstr, GreaterThanOrEqualToInstr, Ident, IdentDef, IdentPtn, IfElseInstr, IfInstr, JumpCatchInstr, JumpThrowInstr, LessThanInstr, LessThanOrEqualToInstr, LocalInstr, ModuloInstr, MultiplyInstr, NativeError, NegateInstr, NotInstr, Null, OpaqueValue, PartialActorCtor, PartialClosure, PartialObjProcBinding, ProcDef, Rec.RecFieldIter, Rec.RecValueIter, RecDef, ResolvedFieldPtn, ResolvedIdentPtn, ResolvedRecPtn, SelectAndApplyInstr, SelectInstr, SeqInstr, SetCellValueInstr, SkipInstr, Stack, Str, SubtractInstr, ThrowInstr, Token, TryInstr, TupleDef, ValueDef, Var, VarSet
public interface Kernel

  • Method Details

    • toSystemString

      static String toSystemString(Kernel kernel)

    • accept

      <T,R> R accept(KernelVisitor<T,R> visitor, T state)

    • toKernelString

      default String toKernelString()