Uses of Class
org.torqlang.klvm.Ident

Uses of Ident in org.torqlang.klvm

Fields in org.torqlang.klvm declared as Ident

Modifier and Type	Field	Description
static final Ident	Ident.$ACT
static final Ident	Ident.$ACTOR_CTOR
static final Ident	Ident.$ELSE
static final Ident	Ident.$FINALLY
static final Ident	Ident.$FOR
static final Ident	Ident.$GUARD
static final Ident	Ident.$HANDLER
static final Ident	Ident.$HANDLERS
static final Ident	Ident.$HANDLERS_CTOR
static final Ident	Ident.$IMPORT
static final Ident	Ident.$ITER
static final Ident	Ident.$M
static final Ident	Ident.$MAIN
static final Ident	Ident.$NEXT
static final Ident	Ident.$R
static final Ident	Ident.$RESPOND
static final Ident	Ident.$SELF
static final Ident	Ident.$SPAWN
static final Ident	Ident.$WHILE
final Ident	BindIdentToIdentInstr.a
final Ident	CatchInstr.arg
static final Ident	KernelProcs.ASSERT_BOUND_IDENT
final Ident	GetCellValueInstr.cell
final Ident	SetCellValueInstr.cell
static final Ident	CellMod.CELL_IDENT
static final Ident	FieldIterMod.FIELD_ITER_IDENT
final Ident	DuplicateIdentError.ident
final Ident	EnvEntry.ident
final Ident	IdentDef.ident
final Ident	IdentNotFoundError.ident
final Ident	IdentPtn.ident
final Ident	ResolvedIdentPtn.ident
static final Ident	Int32Mod.INT32_IDENT
static final Ident	Int64Mod.INT64_IDENT
static final Ident	KernelProcs.IS_BOUND_IDENT
static final Ident	KernelProcs.IS_DET_IDENT
static final Ident	RangeIterMod.RANGE_ITER_IDENT
static final Ident	RecMod.REC_IDENT
static final Ident	StrMod.STR_IDENT
final Ident	ActInstr.target
final Ident	GetCellValueInstr.target
final Ident	SelectInstr.target
static final Ident	TokenMod.TOKEN_IDENT
static final Ident	ValueIterMod.VALUE_ITER_IDENT
final Ident	AbstractCreateProcInstr.x
final Ident	AddInstr.x
final Ident	BindCompleteToIdentInstr.x
final Ident	BindIdentToIdentInstr.x
final Ident	CreateRecInstr.x
final Ident	CreateTupleInstr.x
final Ident	DisentailsInstr.x
final Ident	DivideInstr.x
final Ident	EntailsInstr.x
final Ident	GreaterThanInstr.x
final Ident	GreaterThanOrEqualToInstr.x
final Ident	LessThanInstr.x
final Ident	LessThanOrEqualToInstr.x
final Ident	ModuloInstr.x
final Ident	MultiplyInstr.x
final Ident	NegateInstr.x
final Ident	NotInstr.x
final Ident	SubtractInstr.x

Fields in org.torqlang.klvm with type parameters of type Ident

Modifier and Type	Field	Description
final Set<Ident>	ProcDef.freeIdents
final List<Ident>	ProcDef.xs

Methods in org.torqlang.klvm that return Ident

Modifier and Type	Method	Description
static Ident	Ident.create(String name)
static Ident	Ident.createPrivately(String name)
static Ident	Ident.createSystemAnonymousIdent(int suffix)
static Ident	Ident.createSystemArgIdent(int suffix)
static Ident	Ident.createSystemVarIdent(int suffix)
final Ident	CellMod.namesakeIdent()
final Ident	FieldIterMod.namesakeIdent()
final Ident	Int32Mod.namesakeIdent()
final Ident	Int64Mod.namesakeIdent()
Ident	KernelModule.namesakeIdent()
final Ident	RangeIterMod.namesakeIdent()
final Ident	RecMod.namesakeIdent()
final Ident	StrMod.namesakeIdent()
final Ident	TokenMod.namesakeIdent()
final Ident	ValueIterMod.namesakeIdent()
final Ident	AddInstr.x()
final Ident	DisentailsInstr.x()
final Ident	DivideInstr.x()
final Ident	EntailsInstr.x()
final Ident	GreaterThanInstr.x()
final Ident	GreaterThanOrEqualToInstr.x()
final Ident	LessThanInstr.x()
final Ident	LessThanOrEqualToInstr.x()
final Ident	ModuloInstr.x()
final Ident	MultiplyInstr.x()
final Ident	NegateInstr.x()
final Ident	NotInstr.x()
final Ident	SubtractInstr.x()

Methods in org.torqlang.klvm that return types with arguments of type Ident

Modifier and Type	Method	Description
final Set<Ident>	Env.ArrayEnv.collectIdents(Var var)
Set<Ident>	Env.collectIdents(Var var)

Methods in org.torqlang.klvm with parameters of type Ident

Modifier and Type	Method	Description
static void	Ident.captureLexicallyFree(Ident ident, Set<Ident> knownBound, Set<Ident> lexicallyFree)
final boolean	Env.ArrayEnv.contains(Ident ident)
boolean	Env.contains(Ident ident)
final Var	Env.ArrayEnv.get(Ident ident)
Var	Env.get(Ident ident)
final Void	KernelFormatter.visitIdent(Ident kernel, FormatterState state)
R	KernelVisitor.visitIdent(Ident kernel, T state)

Method parameters in org.torqlang.klvm with type arguments of type Ident

Modifier and Type	Method	Description
final void	AbstractCreateProcInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
abstract void	AbstractInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
void	ActInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	AddInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	ApplyInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	BindCompleteToCompleteInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	BindCompleteToIdentInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	BindCompleteToValueOrVarInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	BindIdentToIdentInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	CaseElseInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	CaseInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	CatchInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
static void	CompleteOrIdent.captureLexicallyFree(CompleteOrIdent completeOrIdent, Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	CreateRecInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	CreateTupleInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	DebugInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
void	DeclOrInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	DisentailsInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	DivideInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	EntailsInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	FieldDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	FieldPtn.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	GetCellValueInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	GreaterThanInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	GreaterThanOrEqualToInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	Ident.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
static void	Ident.captureLexicallyFree(Ident ident, Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	IdentDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	IdentPtn.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	IfElseInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	IfInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	JumpCatchInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	JumpThrowInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	LessThanInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	LessThanOrEqualToInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	LocalInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	ModuloInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	MultiplyInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	NegateInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	NotInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	ProcDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
void	Ptn.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	RecDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
default void	RecPtn.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SelectAndApplyInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SelectInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SeqInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SetCellValueInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SkipInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	SubtractInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	ThrowInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	TryInstr.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	TupleDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	ValueDef.captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
static void	ValueOrIdentPtn.captureLexicallyFree(ValueOrIdentPtn valueOrIdentPtn, Set<Ident> knownBound, Set<Ident> lexicallyFree)
static void	ValueOrPtn.captureLexicallyFree(ValueOrPtn valueOrPtn, Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	Env.ArrayEnv.collectIdents(Var var, Set<Ident> collector)
void	Env.collectIdents(Var var, Set<Ident> collector)
static Env	Env.create(Map<Ident,Var> bindings)
static Env	Env.create(Env parentEnv, Map<Ident,Var> bindings)
static Env	Env.createComplete(Map<Ident,Complete> bindings)

Constructors in org.torqlang.klvm with parameters of type Ident

Modifier	Constructor	Description
	AbstractCreateProcInstr(Ident x, ProcDef procDef, SourceSpan sourceSpan)
	ActInstr(Instr instr, Ident target, SourceSpan sourceSpan)
	AddInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	BindCompleteToIdentInstr(Complete a, Ident x, SourceSpan sourceSpan)
	BindIdentToIdentInstr(Ident a, Ident x, SourceSpan sourceSpan)
	CatchInstr(Ident arg, Instr caseInstr, SourceSpan sourceSpan)
	CreateActorCtorInstr(Ident x, ProcDef procDef, SourceSpan sourceSpan)
	CreateProcInstr(Ident x, ProcDef procDef, SourceSpan sourceSpan)
	CreateRecInstr(Ident x, RecDef recDef, SourceSpan sourceSpan)
	CreateTupleInstr(Ident x, TupleDef tupleDef, SourceSpan sourceSpan)
	DisentailsInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	DivideInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	DuplicateIdentError(Ident ident)
	EntailsInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	EnvEntry(Ident ident, Var var)
	GetCellValueInstr(Ident cell, Ident target, SourceSpan sourceSpan)
	GreaterThanInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	GreaterThanOrEqualToInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	IdentDef(Ident ident)
	IdentDef(Ident ident, Complete value)
	IdentNotFoundError(Ident ident, Instr instr)
	IdentPtn(Ident ident)
	IdentPtn(Ident ident, boolean escaped)
	LessThanInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	LessThanOrEqualToInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	ModuloInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	MultiplyInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)
	NegateInstr(CompleteOrIdent a, Ident x, SourceSpan sourceSpan)
	NotInstr(CompleteOrIdent a, Ident x, SourceSpan sourceSpan)
	ResolvedIdentPtn(Ident ident)
	SelectInstr(CompleteOrIdent rec, CompleteOrIdent feature, Ident target, SourceSpan sourceSpan)
	SetCellValueInstr(Ident cell, CompleteOrIdent value, SourceSpan sourceSpan)
	SubtractInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)

Constructor parameters in org.torqlang.klvm with type arguments of type Ident

Modifier	Constructor	Description
	CompleteClosure(ProcDef procDef, Map<Ident,Complete> capturedEnv)
	ProcDef(List<Ident> xs, Instr instr, SourceSpan sourceSpan)