Class KernelFormatter

java.lang.Object

org.torqlang.klvm.KernelFormatter

All Implemented Interfaces:

KernelVisitor<FormatterState, Void>

public final class KernelFormatter
extends Object
implements KernelVisitor<FormatterState, Void>

Field Summary

Fields

Modifier and Type	Field	Description
static final KernelFormatter	DEFAULT

Constructor Summary

Constructors

Constructor	Description
KernelFormatter()
KernelFormatter(int maxLevel)

Method Summary

Modifier and Type	Method	Description
final String	format(Kernel kernel)
final Void	visitActInstr(ActInstr instr, FormatterState state)
final Void	visitActorCfg(ActorCfg value, FormatterState state)
final Void	visitActorCtor(ActorCtor value, FormatterState state)
final Void	visitAddInstr(AddInstr instr, FormatterState state)
final Void	visitApplyInstr(ApplyInstr instr, FormatterState state)
final Void	visitBindCompleteToCompleteInstr(BindCompleteToCompleteInstr instr, FormatterState state)
final Void	visitBindCompleteToIdentInstr(BindCompleteToIdentInstr instr, FormatterState state)
final Void	visitBindCompleteToValueOrVarInstr(BindCompleteToValueOrVarInstr instr, FormatterState state)
final Void	visitBindIdentToIdentInstr(BindIdentToIdentInstr instr, FormatterState state)
final Void	visitCaseElseInstr(CaseElseInstr instr, FormatterState state)
final Void	visitCaseInstr(CaseInstr instr, FormatterState state)
final Void	visitCatchInstr(CatchInstr instr, FormatterState state)
final Void	visitClosure(Closure value, FormatterState state)
final Void	visitCreateActorCtorInstr(CreateActorCtorInstr instr, FormatterState state)
final Void	visitCreateProcInstr(CreateProcInstr instr, FormatterState state)
final Void	visitCreateRecInstr(CreateRecInstr instr, FormatterState state)
final Void	visitCreateTupleInstr(CreateTupleInstr instr, FormatterState state)
final Void	visitDebugInstr(DebugInstr instr, FormatterState state)
final Void	visitDisentailsInstr(DisentailsInstr instr, FormatterState state)
final Void	visitDivideInstr(DivideInstr instr, FormatterState state)
final Void	visitEntailsInstr(EntailsInstr instr, FormatterState state)
Void	visitEnv(Env env, FormatterState state)
final Void	visitFailedValue(FailedValue kernel, FormatterState state)
Void	visitFieldDef(FieldDef kernel, FormatterState state)
Void	visitFieldPtn(FieldPtn kernel, FormatterState state)
final Void	visitGetCellValueInstr(GetCellValueInstr instr, FormatterState state)
final Void	visitGreaterThanInstr(GreaterThanInstr instr, FormatterState state)
final Void	visitGreaterThanOrEqualToInstr(GreaterThanOrEqualToInstr instr, FormatterState state)
final Void	visitIdent(Ident kernel, FormatterState state)
final Void	visitIdentDef(IdentDef kernel, FormatterState state)
Void	visitIdentPtn(IdentPtn kernel, FormatterState state)
final Void	visitIfElseInstr(IfElseInstr instr, FormatterState state)
final Void	visitIfInstr(IfInstr instr, FormatterState state)
Void	visitJumpCatchInstr(JumpCatchInstr kernel, FormatterState state)
Void	visitJumpThrowInstr(JumpThrowInstr kernel, FormatterState state)
final Void	visitLessThanInstr(LessThanInstr instr, FormatterState state)
final Void	visitLessThanOrEqualToInstr(LessThanOrEqualToInstr instr, FormatterState state)
final Void	visitLocalInstr(LocalInstr instr, FormatterState state)
final Void	visitModuloInstr(ModuloInstr instr, FormatterState state)
final Void	visitMultiplyInstr(MultiplyInstr instr, FormatterState state)
final Void	visitNegateInstr(NegateInstr instr, FormatterState state)
final Void	visitNotInstr(NotInstr instr, FormatterState state)
final Void	visitObj(Obj kernel, FormatterState state)
final Void	visitOpaqueValue(OpaqueValue kernel, FormatterState state)
final Void	visitProc(Proc kernel, FormatterState state)
final Void	visitProcDef(ProcDef kernel, FormatterState state)
Void	visitRec(Rec kernel, FormatterState state)
Void	visitRecDef(RecDef kernel, FormatterState state)
final Void	visitRecPtn(RecPtn kernel, FormatterState state)
Void	visitResolvedFieldPtn(ResolvedFieldPtn kernel, FormatterState state)
final Void	visitResolvedIdentPtn(ResolvedIdentPtn kernel, FormatterState state)
final Void	visitResolvedRecPtn(ResolvedRecPtn kernel, FormatterState state)
final Void	visitScalar(Scalar kernel, FormatterState state)
final Void	visitSelectAndApplyInstr(SelectAndApplyInstr instr, FormatterState state)
final Void	visitSelectInstr(SelectInstr instr, FormatterState state)
final Void	visitSeqInstr(SeqInstr instr, FormatterState state)
final Void	visitSetCellValueInstr(SetCellValueInstr instr, FormatterState state)
final Void	visitSkipInstr(SkipInstr instr, FormatterState state)
Void	visitStack(Stack kernel, FormatterState state)
final Void	visitSubtractInstr(SubtractInstr instr, FormatterState state)
final Void	visitThrowInstr(ThrowInstr instr, FormatterState state)
final Void	visitTryInstr(TryInstr instr, FormatterState state)
Void	visitTupleDef(TupleDef kernel, FormatterState state)
final Void	visitValueDef(ValueDef kernel, FormatterState state)
final Void	visitVar(Var var, FormatterState state)
final Void	visitVarSet(VarSet varSet, FormatterState state)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

DEFAULT

public static final KernelFormatter DEFAULT

Constructor Details

KernelFormatter

public KernelFormatter()

KernelFormatter

public KernelFormatter(int maxLevel)

Method Details

format

public final String format(Kernel kernel)

visitActInstr

public final Void visitActInstr(ActInstr instr,
 FormatterState state)

Specified by:

visitActInstr in interface KernelVisitor<FormatterState, Void>

visitActorCfg

public final Void visitActorCfg(ActorCfg value,
 FormatterState state)

Specified by:

visitActorCfg in interface KernelVisitor<FormatterState, Void>

visitActorCtor

public final Void visitActorCtor(ActorCtor value,
 FormatterState state)

Specified by:

visitActorCtor in interface KernelVisitor<FormatterState, Void>

visitAddInstr

public final Void visitAddInstr(AddInstr instr,
 FormatterState state)

Specified by:

visitAddInstr in interface KernelVisitor<FormatterState, Void>

visitApplyInstr

public final Void visitApplyInstr(ApplyInstr instr,
 FormatterState state)

Specified by:

visitApplyInstr in interface KernelVisitor<FormatterState, Void>

visitBindCompleteToCompleteInstr

public final Void visitBindCompleteToCompleteInstr(BindCompleteToCompleteInstr instr,
 FormatterState state)

Specified by:

visitBindCompleteToCompleteInstr in interface KernelVisitor<FormatterState, Void>

visitBindCompleteToIdentInstr

public final Void visitBindCompleteToIdentInstr(BindCompleteToIdentInstr instr,
 FormatterState state)

Specified by:

visitBindCompleteToIdentInstr in interface KernelVisitor<FormatterState, Void>

visitBindCompleteToValueOrVarInstr

public final Void visitBindCompleteToValueOrVarInstr(BindCompleteToValueOrVarInstr instr,
 FormatterState state)

Specified by:

visitBindCompleteToValueOrVarInstr in interface KernelVisitor<FormatterState, Void>

visitBindIdentToIdentInstr

public final Void visitBindIdentToIdentInstr(BindIdentToIdentInstr instr,
 FormatterState state)

Specified by:

visitBindIdentToIdentInstr in interface KernelVisitor<FormatterState, Void>

visitCaseElseInstr

public final Void visitCaseElseInstr(CaseElseInstr instr,
 FormatterState state)

Specified by:

visitCaseElseInstr in interface KernelVisitor<FormatterState, Void>

visitCaseInstr

public final Void visitCaseInstr(CaseInstr instr,
 FormatterState state)

Specified by:

visitCaseInstr in interface KernelVisitor<FormatterState, Void>

visitCatchInstr

public final Void visitCatchInstr(CatchInstr instr,
 FormatterState state)

Specified by:

visitCatchInstr in interface KernelVisitor<FormatterState, Void>

visitClosure

public final Void visitClosure(Closure value,
 FormatterState state)

Specified by:

visitClosure in interface KernelVisitor<FormatterState, Void>

visitCreateActorCtorInstr

public final Void visitCreateActorCtorInstr(CreateActorCtorInstr instr,
 FormatterState state)

Specified by:

visitCreateActorCtorInstr in interface KernelVisitor<FormatterState, Void>

visitCreateProcInstr

public final Void visitCreateProcInstr(CreateProcInstr instr,
 FormatterState state)

Specified by:

visitCreateProcInstr in interface KernelVisitor<FormatterState, Void>

visitCreateRecInstr

public final Void visitCreateRecInstr(CreateRecInstr instr,
 FormatterState state)

Specified by:

visitCreateRecInstr in interface KernelVisitor<FormatterState, Void>

visitCreateTupleInstr

public final Void visitCreateTupleInstr(CreateTupleInstr instr,
 FormatterState state)

Specified by:

visitCreateTupleInstr in interface KernelVisitor<FormatterState, Void>

visitDebugInstr

public final Void visitDebugInstr(DebugInstr instr,
 FormatterState state)

Specified by:

visitDebugInstr in interface KernelVisitor<FormatterState, Void>

visitDisentailsInstr

public final Void visitDisentailsInstr(DisentailsInstr instr,
 FormatterState state)

Specified by:

visitDisentailsInstr in interface KernelVisitor<FormatterState, Void>

visitDivideInstr

public final Void visitDivideInstr(DivideInstr instr,
 FormatterState state)

Specified by:

visitDivideInstr in interface KernelVisitor<FormatterState, Void>

visitEntailsInstr

public final Void visitEntailsInstr(EntailsInstr instr,
 FormatterState state)

Specified by:

visitEntailsInstr in interface KernelVisitor<FormatterState, Void>

visitEnv

public Void visitEnv(Env env,
 FormatterState state)

Specified by:

visitEnv in interface KernelVisitor<FormatterState, Void>

visitFailedValue

public final Void visitFailedValue(FailedValue kernel,
 FormatterState state)

Specified by:

visitFailedValue in interface KernelVisitor<FormatterState, Void>

visitFieldDef

public Void visitFieldDef(FieldDef kernel,
 FormatterState state)

Specified by:

visitFieldDef in interface KernelVisitor<FormatterState, Void>

visitFieldPtn

public Void visitFieldPtn(FieldPtn kernel,
 FormatterState state)

Specified by:

visitFieldPtn in interface KernelVisitor<FormatterState, Void>

visitGetCellValueInstr

public final Void visitGetCellValueInstr(GetCellValueInstr instr,
 FormatterState state)

Specified by:

visitGetCellValueInstr in interface KernelVisitor<FormatterState, Void>

visitGreaterThanOrEqualToInstr

public final Void visitGreaterThanOrEqualToInstr(GreaterThanOrEqualToInstr instr,
 FormatterState state)

Specified by:

visitGreaterThanOrEqualToInstr in interface KernelVisitor<FormatterState, Void>

visitGreaterThanInstr

public final Void visitGreaterThanInstr(GreaterThanInstr instr,
 FormatterState state)

Specified by:

visitGreaterThanInstr in interface KernelVisitor<FormatterState, Void>

visitIdent

public final Void visitIdent(Ident kernel,
 FormatterState state)

Specified by:

visitIdent in interface KernelVisitor<FormatterState, Void>

visitIdentDef

public final Void visitIdentDef(IdentDef kernel,
 FormatterState state)

Specified by:

visitIdentDef in interface KernelVisitor<FormatterState, Void>

visitIdentPtn

public Void visitIdentPtn(IdentPtn kernel,
 FormatterState state)

Specified by:

visitIdentPtn in interface KernelVisitor<FormatterState, Void>

visitIfElseInstr

public final Void visitIfElseInstr(IfElseInstr instr,
 FormatterState state)

Specified by:

visitIfElseInstr in interface KernelVisitor<FormatterState, Void>

visitIfInstr

public final Void visitIfInstr(IfInstr instr,
 FormatterState state)

Specified by:

visitIfInstr in interface KernelVisitor<FormatterState, Void>

visitJumpCatchInstr

public Void visitJumpCatchInstr(JumpCatchInstr kernel,
 FormatterState state)

Specified by:

visitJumpCatchInstr in interface KernelVisitor<FormatterState, Void>

visitJumpThrowInstr

public Void visitJumpThrowInstr(JumpThrowInstr kernel,
 FormatterState state)

Specified by:

visitJumpThrowInstr in interface KernelVisitor<FormatterState, Void>

visitLessThanOrEqualToInstr

public final Void visitLessThanOrEqualToInstr(LessThanOrEqualToInstr instr,
 FormatterState state)

Specified by:

visitLessThanOrEqualToInstr in interface KernelVisitor<FormatterState, Void>

visitLessThanInstr

public final Void visitLessThanInstr(LessThanInstr instr,
 FormatterState state)

Specified by:

visitLessThanInstr in interface KernelVisitor<FormatterState, Void>

visitLocalInstr

public final Void visitLocalInstr(LocalInstr instr,
 FormatterState state)

Specified by:

visitLocalInstr in interface KernelVisitor<FormatterState, Void>

visitModuloInstr

public final Void visitModuloInstr(ModuloInstr instr,
 FormatterState state)

Specified by:

visitModuloInstr in interface KernelVisitor<FormatterState, Void>

visitMultiplyInstr

public final Void visitMultiplyInstr(MultiplyInstr instr,
 FormatterState state)

Specified by:

visitMultiplyInstr in interface KernelVisitor<FormatterState, Void>

visitNegateInstr

public final Void visitNegateInstr(NegateInstr instr,
 FormatterState state)

Specified by:

visitNegateInstr in interface KernelVisitor<FormatterState, Void>

visitNotInstr

public final Void visitNotInstr(NotInstr instr,
 FormatterState state)

Specified by:

visitNotInstr in interface KernelVisitor<FormatterState, Void>

visitObj

public final Void visitObj(Obj kernel,
 FormatterState state)

Specified by:

visitObj in interface KernelVisitor<FormatterState, Void>

visitOpaqueValue

public final Void visitOpaqueValue(OpaqueValue kernel,
 FormatterState state)

Specified by:

visitOpaqueValue in interface KernelVisitor<FormatterState, Void>

visitProc

public final Void visitProc(Proc kernel,
 FormatterState state)

Specified by:

visitProc in interface KernelVisitor<FormatterState, Void>

visitProcDef

public final Void visitProcDef(ProcDef kernel,
 FormatterState state)

Specified by:

visitProcDef in interface KernelVisitor<FormatterState, Void>

visitRec

public Void visitRec(Rec kernel,
 FormatterState state)

Specified by:

visitRec in interface KernelVisitor<FormatterState, Void>

visitRecDef

public Void visitRecDef(RecDef kernel,
 FormatterState state)

Specified by:

visitRecDef in interface KernelVisitor<FormatterState, Void>

visitRecPtn

public final Void visitRecPtn(RecPtn kernel,
 FormatterState state)

Specified by:

visitRecPtn in interface KernelVisitor<FormatterState, Void>

visitResolvedFieldPtn

public Void visitResolvedFieldPtn(ResolvedFieldPtn kernel,
 FormatterState state)

Specified by:

visitResolvedFieldPtn in interface KernelVisitor<FormatterState, Void>

visitResolvedIdentPtn

public final Void visitResolvedIdentPtn(ResolvedIdentPtn kernel,
 FormatterState state)

Specified by:

visitResolvedIdentPtn in interface KernelVisitor<FormatterState, Void>

visitResolvedRecPtn

public final Void visitResolvedRecPtn(ResolvedRecPtn kernel,
 FormatterState state)

Specified by:

visitResolvedRecPtn in interface KernelVisitor<FormatterState, Void>

visitScalar

public final Void visitScalar(Scalar kernel,
 FormatterState state)

Specified by:

visitScalar in interface KernelVisitor<FormatterState, Void>

visitSelectAndApplyInstr

public final Void visitSelectAndApplyInstr(SelectAndApplyInstr instr,
 FormatterState state)

Specified by:

visitSelectAndApplyInstr in interface KernelVisitor<FormatterState, Void>

visitSelectInstr

public final Void visitSelectInstr(SelectInstr instr,
 FormatterState state)

Specified by:

visitSelectInstr in interface KernelVisitor<FormatterState, Void>

visitSeqInstr

public final Void visitSeqInstr(SeqInstr instr,
 FormatterState state)

Specified by:

visitSeqInstr in interface KernelVisitor<FormatterState, Void>

visitSetCellValueInstr

public final Void visitSetCellValueInstr(SetCellValueInstr instr,
 FormatterState state)

Specified by:

visitSetCellValueInstr in interface KernelVisitor<FormatterState, Void>

visitSkipInstr

public final Void visitSkipInstr(SkipInstr instr,
 FormatterState state)

Specified by:

visitSkipInstr in interface KernelVisitor<FormatterState, Void>

visitStack

public Void visitStack(Stack kernel,
 FormatterState state)

Specified by:

visitStack in interface KernelVisitor<FormatterState, Void>

visitSubtractInstr

public final Void visitSubtractInstr(SubtractInstr instr,
 FormatterState state)

Specified by:

visitSubtractInstr in interface KernelVisitor<FormatterState, Void>

visitThrowInstr

public final Void visitThrowInstr(ThrowInstr instr,
 FormatterState state)

Specified by:

visitThrowInstr in interface KernelVisitor<FormatterState, Void>

visitTryInstr

public final Void visitTryInstr(TryInstr instr,
 FormatterState state)

Specified by:

visitTryInstr in interface KernelVisitor<FormatterState, Void>

visitTupleDef

public Void visitTupleDef(TupleDef kernel,
 FormatterState state)

Specified by:

visitTupleDef in interface KernelVisitor<FormatterState, Void>

visitValueDef

public final Void visitValueDef(ValueDef kernel,
 FormatterState state)

Specified by:

visitValueDef in interface KernelVisitor<FormatterState, Void>

visitVar

public final Void visitVar(Var var,
 FormatterState state)

Specified by:

visitVar in interface KernelVisitor<FormatterState, Void>

visitVarSet

public final Void visitVarSet(VarSet varSet,
 FormatterState state)

Specified by:

visitVarSet in interface KernelVisitor<FormatterState, Void>