Uses of Class
orc.type.TypingContext

Packages that use TypingContext

orc.ast.oil.expression
orc.ast.oil.expression.argument
orc.ast.oil.type
orc.type
orc.type.ground
orc.type.java
orc.type.structured

Uses of TypingContext in orc.ast.oil.expression

Methods in orc.ast.oil.expression with parameters of type TypingContext

void	Def.checkDef(TypingContext ctx)
void	Def.checkLambda(TypingContext ctx, ArrowType t)
Type	Call.findReturnType(TypingContext ctx, Type checkedType)
ArrowType	Def.type(TypingContext ctx)
void	WithLocation.typecheck(TypingContext ctx, Type T)
void	Sequential.typecheck(TypingContext ctx, Type T)
void	Pruning.typecheck(TypingContext ctx, Type T)
void	Parallel.typecheck(TypingContext ctx, Type T)
void	Otherwise.typecheck(TypingContext ctx, Type T)
void	Expression.typecheck(TypingContext ctx, Type T)
void	DeclareType.typecheck(TypingContext ctx, Type T)
void	DeclareDefs.typecheck(TypingContext ctx, Type T)
void	Call.typecheck(TypingContext ctx, Type T)
Type	WithLocation.typesynth(TypingContext ctx)
Type	Throw.typesynth(TypingContext ctx)
Type	Stop.typesynth(TypingContext ctx)
Type	Sequential.typesynth(TypingContext ctx)
Type	Pruning.typesynth(TypingContext ctx)
Type	Parallel.typesynth(TypingContext ctx)
Type	Otherwise.typesynth(TypingContext ctx)
Type	HasType.typesynth(TypingContext ctx)
abstract Type	Expression.typesynth(TypingContext ctx)
Type	DeclareType.typesynth(TypingContext ctx)
Type	DeclareDefs.typesynth(TypingContext ctx)
Type	Catch.typesynth(TypingContext ctx)
Type	Call.typesynth(TypingContext ctx)

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

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

Type	Variable.typesynth(TypingContext ctx)
Type	Site.typesynth(TypingContext ctx)
Type	ResolvedSite.typesynth(TypingContext ctx)
Type	Field.typesynth(TypingContext ctx)
Type	Constant.typesynth(TypingContext ctx)

Uses of TypingContext in orc.ast.oil.type

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

Type	TypeVariable.transform(TypingContext ctx)
Type	TypeApplication.transform(TypingContext ctx)
abstract Type	Type.transform(TypingContext ctx) Convert this syntactic type into an actual type, given an appropriate type context
Type	TupleType.transform(TypingContext ctx)
Type	Top.transform(TypingContext ctx)
Type	SiteType.transform(TypingContext ctx)
Type	PolymorphicTypeAlias.transform(TypingContext ctx)
Type	InferredType.transform(TypingContext ctx)
Type	Datatype.transform(TypingContext ctx)
Type	ClassType.transform(TypingContext ctx)
Type	Bot.transform(TypingContext ctx)
Type	ArrowType.transform(TypingContext ctx)
static java.util.List<Type>	Type.transformAll(java.util.List<Type> ts, TypingContext ctx) Convenience method, to transform a list of types.

Uses of TypingContext in orc.type

Methods in orc.type that return TypingContext

TypingContext	TypingContext.bindIC(InferenceContinuation ic)
TypingContext	TypingContext.bindType(Type T)
TypingContext	TypingContext.bindVar(Type T)

Methods in orc.type with parameters of type TypingContext

Type	TypeInstance.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	Type.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)

Uses of TypingContext in orc.type.ground

Methods in orc.type.ground with parameters of type TypingContext

Type	StringType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	NumberType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	IntegerType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DatatypeSiteType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	BooleanType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)

Uses of TypingContext in orc.type.java

Methods in orc.type.java with parameters of type TypingContext

Type	ConstructorType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)

Uses of TypingContext in orc.type.structured

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

Type	MultiType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	DotType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
Type	ArrowType.call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)