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	Site.resolve(Env<java.lang.Object> env)
abstract java.lang.Object	Argument.resolve(Env<java.lang.Object> env)
java.lang.Object	ResolvedSite.resolve(Env<java.lang.Object> env)
java.lang.Object	Variable.resolve(Env<java.lang.Object> env)
java.lang.Object	Constant.resolve(Env<java.lang.Object> env)
java.lang.Object	Field.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	Site.convert(Env<Variable> vars)
abstract Argument	Argument.convert(Env<Variable> vars) Convert to DeBruijn index.
Argument	Variable.convert(Env<Variable> vars)
Argument	FreeVariable.convert(Env<Variable> vars)
Argument	Constant.convert(Env<Variable> vars)
Argument	Field.convert(Env<Variable> vars)
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	Atomic.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Atomic.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)
Expression	DeclareType.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareType.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	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	Pruning.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Pruning.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Isolated.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Isolated.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	DeclareDefs.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	DeclareDefs.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Def	Def.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Def	Def.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	Parallel.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Parallel.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	WithLocation.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	WithLocation.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)
Expression	Catch.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Catch.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.
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	ArrowType.convert(Env<TypeVariable> env)
Type	ClassnameType.convert(Env<TypeVariable> env)
Type	FreeTypeVariable.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	Top.convert(Env<TypeVariable> env)
Type	TupleType.convert(Env<TypeVariable> env)
Type	Datatype.convert(Env<TypeVariable> env)
Type	TypeApplication.convert(Env<TypeVariable> env)
Type	TypeVariable.convert(Env<TypeVariable> env)
Type	SiteType.convert(Env<TypeVariable> env)
Type	PolymorphicTypeAlias.convert(Env<TypeVariable> env)
Type	Bot.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	Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeInstance.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
void	TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)
Type	Type.demote(Env<java.lang.Boolean> V)
Type	TypeInstance.demote(Env<java.lang.Boolean> V)
Type	TypeVariable.demote(Env<java.lang.Boolean> V)
Type	Type.promote(Env<java.lang.Boolean> V)
Type	TypeInstance.promote(Env<java.lang.Boolean> V)
Type	TypeVariable.promote(Env<java.lang.Boolean> V)
Type	Type.subst(Env<Type> ctx)
Type	TypeInstance.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	TypeVariable.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)

Uses of Env in orc.type.structured

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

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