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

Packages that use Argument

orc.ast.extended	Desugared AST which is very close to the source form.
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 Argument in orc.ast.extended

Methods in orc.ast.extended that return Argument

Argument

Expression.Arg.asArg() Extracts the Argument component of the Arg.

Uses of Argument in orc.ast.extended.pattern

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

protected static Argument	Pattern.EQUAL
protected static Argument	Pattern.IF
protected static Argument	Pattern.NONE
protected static Argument	Pattern.SOME
protected static Argument	Pattern.TRYCONS
protected static Argument	Pattern.TRYNIL
static Argument	Pattern.TRYNONE
static Argument	Pattern.TRYSOME

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

static Expression	Pattern.compare(Argument s, Argument t) Construct an expression comparing two arguments.
static Expression	Pattern.nth(Argument s, int i) Construct an expression which publishes the ith element of tuple s.
static Expression	Pattern.trycons(Argument s) Constructs an expression which will try to deconstruct an argument as if it were a list.
static Expression	Pattern.trynil(Argument s) Constructs an expression which tests whether the argument s can be treated as an empty list (nil).
static Expression	Pattern.trysize(Argument s, int n) Construct an expression to determine whether the argument s may be viewed as a tuple of size n.
static Expression	Pattern.unapply(Argument m, Argument s) Construct an expression which tries to find the inverse of the site m, and apply it to s.

Uses of Argument in orc.ast.simple

Fields in orc.ast.simple declared as Argument

Argument

Call.callee

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

java.util.List<Argument>	Call.args
java.util.List<Argument>	Let.args

Methods in orc.ast.simple with parameters of type Argument

Expression	WithLocation.subst(Argument a, NamedVar x)
Expression	Semi.subst(Argument a, NamedVar x)
Definition	Definition.subst(Argument a, NamedVar x)
Expression	Silent.subst(Argument a, NamedVar x)
abstract Expression	Expression.subst(Argument a, NamedVar x) Performs the substitution [a/x], replacing occurrences of the free variable x with the new argument a (which could be any argument, including another variable).
Expression	Parallel.subst(Argument a, NamedVar x)
Expression	Call.subst(Argument a, NamedVar x)
Expression	Defs.subst(Argument a, NamedVar x)
Expression	Let.subst(Argument a, NamedVar x)
Sequential	Sequential.subst(Argument a, NamedVar x)
Expression	Where.subst(Argument a, NamedVar x)

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

Definition	Definition.suball(java.util.Map<NamedVar,? extends Argument> m)
Expression	Expression.suball(java.util.Map<NamedVar,? extends Argument> m) Perform a set of substitutions defined by a map.

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

Call(Argument callee)

Call(Argument callee, Argument arg)

Call(Argument callee, Argument arga, Argument argb)

Call(Argument callee, java.util.List<Argument> args)

Let(Argument arg)

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

Call(Argument callee, java.util.List<Argument> args)

Let(java.util.List<Argument> args)

Uses of Argument in orc.ast.simple.arg

Subclasses of Argument in orc.ast.simple.arg

class	Constant Program constants, which occur in argument position.
class	Field Field access argument.
class	NamedVar Named (implicitly, free) variables.
class	Site Site values, which occur in argument position.
class	Var Bound variables.

Methods in orc.ast.simple.arg that return Argument

Argument

Argument.subst(Argument newArg, NamedVar oldArg)

Methods in orc.ast.simple.arg with parameters of type Argument

Argument

Argument.subst(Argument newArg, NamedVar oldArg)