|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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.CONS
|
protected static Argument |
Pattern.EQUAL
|
protected static Argument |
Pattern.HEAD
|
protected static Argument |
Pattern.IF
|
protected static Argument |
Pattern.ISCONS
|
protected static Argument |
Pattern.ISNIL
|
static Argument |
Pattern.ISNONE
|
static Argument |
Pattern.ISSOME
|
protected static Argument |
Pattern.NONE
|
protected static Argument |
Pattern.NOT
|
protected static Argument |
Pattern.SOME
|
protected static Argument |
Pattern.TAIL
|
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 |
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 | |
---|---|
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |