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

Packages that use Argument

orc.ast.extended.expression
orc.ast.extended.pattern
orc.ast.simple.argument
orc.ast.simple.expression

Uses of Argument in orc.ast.extended.expression

Methods in orc.ast.extended.expression 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
static Argument	Pattern.ERROR
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.argument

Subclasses of Argument in orc.ast.simple.argument

class	Constant Program constants, which occur in argument position.
class	Field Field access argument.
class	FreeVariable Free variables.
class	Site Site values, which occur in argument position.
class	Variable Bound variables.

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

Argument

Argument.subst(Argument newArg, FreeVariable oldArg)

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

static java.util.List<Argument>

Argument.substAll(java.util.List<Argument> args, Argument a, FreeVariable x) Convenience method, to apply a substitution to a list of arguments.

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

Argument	Argument.subst(Argument newArg, FreeVariable oldArg)
static java.util.List<Argument>	Argument.substAll(java.util.List<Argument> args, Argument a, FreeVariable x) Convenience method, to apply a substitution to a list of arguments.

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

static java.util.List<Argument>	Argument.convertAll(java.util.List<Argument> as, Env<Variable> vars)
static java.util.List<Argument>	Argument.substAll(java.util.List<Argument> args, Argument a, FreeVariable x) Convenience method, to apply a substitution to a list of arguments.

Uses of Argument in orc.ast.simple.expression

Fields in orc.ast.simple.expression declared as Argument

Argument

Call.callee

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

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

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

Expression	WithLocation.subst(Argument a, FreeVariable x)
Expression	Throw.subst(Argument a, FreeVariable x)
Expression	Stop.subst(Argument a, FreeVariable x)
Sequential	Sequential.subst(Argument a, FreeVariable x)
Expression	Pruning.subst(Argument a, FreeVariable x)
Expression	Parallel.subst(Argument a, FreeVariable x)
Expression	Otherwise.subst(Argument a, FreeVariable x)
Expression	Let.subst(Argument a, FreeVariable x)
Expression	HasType.subst(Argument a, FreeVariable x)
abstract Expression	Expression.subst(Argument a, FreeVariable 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).
Def	Def.subst(Argument a, FreeVariable x)
Expression	DeclareType.subst(Argument a, FreeVariable x)
Expression	DeclareDefs.subst(Argument a, FreeVariable x)
Expression	Catch.subst(Argument a, FreeVariable x)
Expression	Call.subst(Argument a, FreeVariable x)
static java.util.List<Def>	Def.substAll(java.util.List<Def> defs, Argument a, FreeVariable x)
static java.util.List<Expression>	Expression.substAll(java.util.List<Expression> es, Argument a, FreeVariable x) Convenience method, to apply a substitution to a list of expressions.

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

Expression	Expression.subMap(java.util.Map<FreeVariable,? extends Argument> m) Perform a set of substitutions defined by a map.
Def	Def.subMap(java.util.Map<FreeVariable,? extends Argument> m)

Constructors in orc.ast.simple.expression 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)

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

Let(Argument arg)

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

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

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

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