Uses of Class
orc.env.Env

Packages that use Env

orc.ast.oil.expression.argument
orc.ast.simple.argument
orc.ast.simple.expression
orc.ast.simple.type
orc.env	A lexical context which supports both offset- and name-based lookup.
orc.runtime	Runtime for Orc interpreter.
orc.runtime.values	Representations for Orc types which don't have direct analogues in the host language (Java).
orc.type
orc.type.structured
orc.type.tycon

Uses of Env in orc.ast.oil.expression.argument

Methods in orc.ast.oil.expression.argument with parameters of type Env

java.lang.Object	Variable.resolve(Env<java.lang.Object> env)
java.lang.Object	Site.resolve(Env<java.lang.Object> env)
java.lang.Object	ResolvedSite.resolve(Env<java.lang.Object> env)
java.lang.Object	Field.resolve(Env<java.lang.Object> env)
java.lang.Object	Constant.resolve(Env<java.lang.Object> env)
abstract java.lang.Object	Argument.resolve(Env<java.lang.Object> env)
<T> T	Variable.resolveGeneric(Env<T> env)

Uses of Env in orc.ast.simple.argument

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

Argument	Variable.convert(Env<Variable> vars)
Argument	Site.convert(Env<Variable> vars)
Argument	FreeVariable.convert(Env<Variable> vars)
Argument	Field.convert(Env<Variable> vars)
Argument	Constant.convert(Env<Variable> vars)
abstract Argument	Argument.convert(Env<Variable> vars) Convert to DeBruijn index.
static java.util.List<Argument>	Argument.convertAll(java.util.List<Argument> as, Env<Variable> vars)

Uses of Env in orc.ast.simple.expression

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

Expression	WithLocation.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	WithLocation.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Throw.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Throw.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Stop.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Stop.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Sequential.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Sequential.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Pruning.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Pruning.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Parallel.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Parallel.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Otherwise.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Otherwise.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Let.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Let.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	HasType.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	HasType.convert(Env<Variable> vars, Env<TypeVariable> typevars)
abstract Expression	Expression.convert(Env<Variable> vars, Env<TypeVariable> typevars) Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
abstract Expression	Expression.convert(Env<Variable> vars, Env<TypeVariable> typevars) Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
Def	Def.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Def	Def.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareType.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareType.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareDefs.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareDefs.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Catch.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Catch.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Call.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Call.convert(Env<Variable> vars, Env<TypeVariable> typevars)
static java.util.List<Def>	Def.convertAll(java.util.List<Def> ds, Env<Variable> vars, Env<TypeVariable> typevars) Convenience method, to apply convert to a list of defs.
static java.util.List<Def>	Def.convertAll(java.util.List<Def> ds, Env<Variable> vars, Env<TypeVariable> typevars) Convenience method, to apply convert to a list of defs.
static java.util.List<Expression>	Expression.convertAll(java.util.List<Expression> es, Env<Variable> vars, Env<TypeVariable> typevars) Convenience method, to apply convert to a list of expressions.
static java.util.List<Expression>	Expression.convertAll(java.util.List<Expression> es, Env<Variable> vars, Env<TypeVariable> typevars) Convenience method, to apply convert to a list of expressions.

Uses of Env in orc.ast.simple.type

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

Type	TypeVariable.convert(Env<TypeVariable> env)
Type	TypeApplication.convert(Env<TypeVariable> env)
abstract Type	Type.convert(Env<TypeVariable> env) Convert this syntactic type into an actual type, given an appropriate type context
Type	TupleType.convert(Env<TypeVariable> env)
Type	Top.convert(Env<TypeVariable> env)
Type	SiteType.convert(Env<TypeVariable> env)
Type	PolymorphicTypeAlias.convert(Env<TypeVariable> env)
Type	FreeTypeVariable.convert(Env<TypeVariable> env)
Type	Datatype.convert(Env<TypeVariable> env)
Type	ClassnameType.convert(Env<TypeVariable> env)
Type	Bot.convert(Env<TypeVariable> env)
Type	ArrowType.convert(Env<TypeVariable> env)
static java.util.List<Type>	Type.convertAll(java.util.List<Type> ts, Env<TypeVariable> env) Convenience method, to apply convert to a list of types.

Uses of Env in orc.env

Methods in orc.env that return Env

Env<T>	Env.clone() Create an independent copy of the environment.
Env<T>	Env.extend(T item) Create an independent copy of the environment, extended with a new item.
Env<T>	Env.extendAll(java.util.List<T> items) Create an independent copy of the environment, extended with a list of new item.

Uses of Env in orc.runtime

Methods in orc.runtime that return Env

Env<java.lang.Object>

Token.getEnvironment()

Uses of Env in orc.runtime.values

Fields in orc.runtime.values declared as Env

Env	Closure.env

Uses of Env in orc.type

Fields in orc.type declared as Env

protected Env<Type>	TypingContext.typeContext
protected Env<Type>	TypingContext.varContext

Methods in orc.type with parameters of type Env

void	TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeInstance.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
Type	TypeVariable.demote(Env<java.lang.Boolean> V)
Type	TypeInstance.demote(Env<java.lang.Boolean> V)
Type	Type.demote(Env<java.lang.Boolean> V)
Type	TypeVariable.promote(Env<java.lang.Boolean> V)
Type	TypeInstance.promote(Env<java.lang.Boolean> V)
Type	Type.promote(Env<java.lang.Boolean> V)
Type	TypeVariable.subst(Env<Type> ctx)
Type	TypeInstance.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	Type.subst(Env<Type> ctx)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)

Constructors in orc.type with parameters of type Env

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config, InferenceContinuation ic)

TypingContext(Env<Type> varContext, Env<Type> typeContext, Config config, InferenceContinuation ic)

Uses of Env in orc.type.structured

Methods in orc.type.structured with parameters of type Env

void	TupleType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	ArrowType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
Type	TupleType.demote(Env<java.lang.Boolean> V)
Type	ArrowType.demote(Env<java.lang.Boolean> V)
Type	TupleType.promote(Env<java.lang.Boolean> V)
Type	ArrowType.promote(Env<java.lang.Boolean> V)
Type	TupleType.subst(Env<Type> ctx)
Type	ArrowType.subst(Env<Type> ctx)

Uses of Env in orc.type.tycon

Methods in orc.type.tycon with parameters of type Env

Type	DatatypeTycon.subst(Env<Type> ctx)