Uses of Class
orc.ast.oil.Expr

Packages that use Expr

orc.ast.oil	Internal representation of OIL, the Orc Intermediate Language.
orc.ast.oil.arg
orc.ast.simple	Desugared AST which is close to the final format (OIL) but includes named variables.

Uses of Expr in orc.ast.oil

Subclasses of Expr in orc.ast.oil

class	Atomic
class	Bar
class	Call
class	Defs
class	HasType An expression with an ascribed type.
class	Pull
class	Push
class	Semi
class	Silent
class	TypeDecl Bind a type in the given scope.
class	WithLocation Annotate an expression with a source location.

Fields in orc.ast.oil declared as Expr

Expr	Atomic.body
Expr	HasType.body
Expr	TypeDecl.body
Expr	Def.body
Expr	Defs.body
Expr	WithLocation.expr
Expr	Bar.left
Expr	Semi.left
Expr	Push.left
Expr	Pull.left
Expr	Bar.right
Expr	Semi.right
Expr	Push.right
Expr	Pull.right

Methods in orc.ast.oil with parameters of type Expr

static void	UnguardedRecursionChecker.check(Expr expr)
static void	RenameVariables.rename(Expr expr, RenameVariables.Renamer r)

Constructors in orc.ast.oil with parameters of type Expr

Atomic(Expr body)

Bar(Expr left, Expr right)

Def(int arity, Expr body, int typeArity, java.util.List<Type> argTypes, Type resultType, SourceLocation location)

Defs(java.util.List<Def> defs, Expr body)

HasType(Expr body, Type type, boolean checkable)

Pull(Expr left, Expr right)

Push(Expr left, Expr right)

Semi(Expr left, Expr right)

TypeDecl(Type type, Expr body)

WithLocation(Expr expr, SourceLocation location)

Uses of Expr in orc.ast.oil.arg

Subclasses of Expr in orc.ast.oil.arg

class	Arg
class	Constant
class	Field Field access argument.
class	Site Program constants, which occur in argument position.
class	Var Bound variables, represented using deBruijn indices.

Uses of Expr in orc.ast.simple

Methods in orc.ast.simple that return Expr

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