Uses of Class
orc.ast.simple.arg.Var

Packages that use Var

orc.ast.extended.declaration.defn
orc.ast.extended.pattern
orc.ast.simple	Desugared AST which is close to the final format (OIL) but includes named variables.
orc.ast.simple.arg

Uses of Var in orc.ast.extended.declaration.defn

Fields in orc.ast.extended.declaration.defn declared as Var

protected Var

AggregateDefn.var

Methods in orc.ast.extended.declaration.defn that return Var

Var	AggregateDefn.getVar()

Method parameters in orc.ast.extended.declaration.defn with type arguments of type Var

Expression

Clause.simplify(java.util.List<Var> formals, Expression otherwise)

Uses of Var in orc.ast.extended.pattern

Fields in orc.ast.extended.pattern declared as Var

Var	Attachment.v

Methods in orc.ast.extended.pattern with parameters of type Var

void	PatternSimplifier.assign(Var s, Expression e)
static Expression	Pattern.caseof(Var arg, Var s, Expression succ, Expression fail) Constructs an optional case statement.
static Expression	Pattern.lift(Var x) Lifts a partial function to a total function, using the ; combinator to detect a refusal to respond, and publishing optional values instead of values.
PatternSimplifier	Pattern.process(Var fragment) A different entry point for process, taking only a source variable.
void	AsPattern.process(Var fragment, PatternSimplifier visitor)
void	TuplePattern.process(Var fragment, PatternSimplifier visitor)
void	ListPattern.process(Var fragment, PatternSimplifier visitor)
abstract void	Pattern.process(Var fragment, PatternSimplifier visitor) Visit a pattern recursively, creating two products: An expression that will examine a value to determine whether it matches a pattern, building an output tuple of all value fragments which will be bound to variables.
void	PublishPattern.process(Var fragment, PatternSimplifier visitor)
void	VariablePattern.process(Var fragment, PatternSimplifier visitor)
void	CallPattern.process(Var fragment, PatternSimplifier visitor)
void	WildcardPattern.process(Var fragment, PatternSimplifier visitor)
void	LiteralPattern.process(Var fragment, PatternSimplifier visitor)
void	ConsPattern.process(Var fragment, PatternSimplifier visitor)
void	NilPattern.process(Var fragment, PatternSimplifier visitor)
void	PatternSimplifier.publish(Var s)
void	PatternSimplifier.require(Var s)
void	PatternSimplifier.subst(Var s, NamedVar x)
Expression	PatternSimplifier.target(Var u, Expression g)

Constructors in orc.ast.extended.pattern with parameters of type Var

Attachment(Var v, Expression e)

Uses of Var in orc.ast.simple

Fields in orc.ast.simple declared as Var

Var	Definition.name

Fields in orc.ast.simple with type parameters of type Var

java.util.List<Var>

Definition.formals

Methods in orc.ast.simple that return types with arguments of type Var

java.util.Set<Var>	WithLocation.vars()
java.util.Set<Var>	Semi.vars()
java.util.Set<Var>	Definition.vars()
java.util.Set<Var>	Silent.vars()
abstract java.util.Set<Var>	Expression.vars() Find the set of all unbound Vars (note: not FreeVars) in this expression.
java.util.Set<Var>	Parallel.vars()
java.util.Set<Var>	Call.vars()
java.util.Set<Var>	Defs.vars()
java.util.Set<Var>	Let.vars()
java.util.Set<Var>	Sequential.vars()
java.util.Set<Var>	Where.vars()

Method parameters in orc.ast.simple with type arguments of type Var

Expr	WithLocation.convert(Env<Var> vars)
Expr	Semi.convert(Env<Var> vars)
Def	Definition.convert(Env<Var> vars)
Expr	Silent.convert(Env<Var> vars)
abstract Expr	Expression.convert(Env<Var> vars) Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
Expr	Parallel.convert(Env<Var> vars)
Expr	Call.convert(Env<Var> vars)
Expr	Defs.convert(Env<Var> vars)
Expr	Let.convert(Env<Var> vars)
Expr	Sequential.convert(Env<Var> vars)
Expr	Where.convert(Env<Var> vars)

Constructors in orc.ast.simple with parameters of type Var

Definition(Var name, java.util.List<Var> formals, Expression body, ArrowType type)
Note that the constructor takes a bound Var as a name parameter.

Sequential(Expression left, Expression right, Var v)

Where(Expression left, Expression right, Var v)

Constructor parameters in orc.ast.simple with type arguments of type Var

Definition(Var name, java.util.List<Var> formals, Expression body, ArrowType type)
Note that the constructor takes a bound Var as a name parameter.

Uses of Var in orc.ast.simple.arg

Method parameters in orc.ast.simple.arg with type arguments of type Var

void	Var.addFree(java.util.Set<Var> freeset)
void	Argument.addFree(java.util.Set<Var> freeset)
Arg	Constant.convert(Env<Var> vars)
Arg	NamedVar.convert(Env<Var> vars)
Arg	Site.convert(Env<Var> vars)
Arg	Var.convert(Env<Var> vars)
abstract Arg	Argument.convert(Env<Var> vars) Convert to DeBruijn index.
Arg	Field.convert(Env<Var> vars)