Uses of Class
orc.error.compiletime.typing.TypeException

Packages that use TypeException

orc.ast.oil.expression
orc.ast.oil.expression.argument
orc.ast.oil.type
orc.ast.simple.type
orc.error.compiletime.typing
orc.lib.state
orc.lib.state.types
orc.lib.util
orc.runtime.sites	Abstract base classes for Orc sites plus fundamental sites.
orc.runtime.sites.core	Fundamental sites.
orc.type
orc.type.ground
orc.type.inference
orc.type.java
orc.type.structured
orc.type.tycon

Uses of TypeException in orc.ast.oil.expression

Methods in orc.ast.oil.expression that throw TypeException

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	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 TypeException in orc.ast.oil.expression.argument

Methods in orc.ast.oil.expression.argument that throw TypeException

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 TypeException in orc.ast.oil.type

Methods in orc.ast.oil.type that throw TypeException

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 TypeException in orc.ast.simple.type

Methods in orc.ast.simple.type that throw TypeException

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	PolymorphicTypeAlias.convert(Env<TypeVariable> env)
Type	FreeTypeVariable.convert(Env<TypeVariable> env)
Type	Datatype.convert(Env<TypeVariable> env)
Type	ClassnameType.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 TypeException in orc.error.compiletime.typing

Subclasses of TypeException in orc.error.compiletime.typing

class	ArgumentArityException
class	DefinitionArityException
class	InsufficientTypeInformationException
class	MissingTypeException Exception raised
class	MultiTypeException
class	SubtypeFailureException
class	TypeArityException
class	UnboundTypeException
class	UncallableTypeException Exception raised when the typechecker finds an uncallable value in call position.
class	UnrepresentableTypeException Thrown when trying to marshal a generated type which cannot be represented syntactically.
class	UnspecifiedArgTypesException
class	UnspecifiedReturnTypeException

Methods in orc.error.compiletime.typing with parameters of type TypeException

MultiTypeException

MultiTypeException.addAlternative(Type t, TypeException e)

Uses of TypeException in orc.lib.state

Methods in orc.lib.state that throw TypeException

Type	SyncChannel.type()
Type	Semaphore.type()
Type	Ref.type()
Type	Cell.type()
Type	Buffer.type()
Type	BoundedBuffer.type()

Uses of TypeException in orc.lib.state.types

Methods in orc.lib.state.types that throw TypeException

Type	SyncChannelType.makeCallableInstance(java.util.List<Type> params)
Type	RefType.makeCallableInstance(java.util.List<Type> params)
Type	CellType.makeCallableInstance(java.util.List<Type> params)
Type	BufferType.makeCallableInstance(java.util.List<Type> params)
Type	BoundedBufferType.makeCallableInstance(java.util.List<Type> params)
Type	ArrayType.makeCallableInstance(java.util.List<Type> params)

Uses of TypeException in orc.lib.util

Methods in orc.lib.util that throw TypeException

Type	JavaArray.type()

Uses of TypeException in orc.runtime.sites

Methods in orc.runtime.sites that throw TypeException

Type	Site.type()

Uses of TypeException in orc.runtime.sites.core

Methods in orc.runtime.sites.core that throw TypeException

Type	TryNil.type()
Type	TryCons.type()
Type	Some.type()
Type	None.type()
Type	Nil.type()
Type	Let.type()
Type	IsSome.type()
Type	IsNone.type()
Type	Cons.type()

Uses of TypeException in orc.type

Methods in orc.type that throw TypeException

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)
void	Type.assertSubtype(Type that)
Tycon	Type.asTycon()
Type	TypeInstance.call(java.util.List<Type> args)
Type	Type.call(java.util.List<Type> args)
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)
Type	TypeInstance.demote(Env<java.lang.Boolean> V)
Type	Type.demote(Env<java.lang.Boolean> V)
boolean	Type.equal(Type that)
static Type	Type.fromJavaClass(java.lang.Class cls) Convert a Java class to an Orc type.
static Type	Type.fromJavaMethod(java.lang.reflect.Method mth, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx)
static Type	Type.fromJavaMethods(java.util.List<java.lang.reflect.Method> matchingMethods, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a list of Java Methods, which are assumed to be the declarations of an overloaded method, create an Orc type, either an ArrowType for a singleton method or a MultiType for multiple methods, to typecheck the possible invocations of that method.
static Type	Type.fromJavaType(java.lang.reflect.Type genericType)
static Type	Type.fromJavaType(java.lang.reflect.Type genericType, java.util.Map<java.lang.reflect.TypeVariable,Type> javaCtx) From a Java type, possibly a generic type, create an Orc type.
Type	TypeInstance.join(Type that)
Type	Type.join(Type that)
Type	TypeInstance.meet(Type that)
Type	Type.meet(Type that)
Type	TypeInstance.promote(Env<java.lang.Boolean> V)
Type	Type.promote(Env<java.lang.Boolean> V)
Type	TypingContext.promote(Type t)
java.util.List<Type>	TypingContext.promoteAll(java.util.List<Type> ts)
Type	TypingContext.requestInference(ArrowType arrowType)
Type	TypingContext.resolveClassType(java.lang.String classname)
Type	TypingContext.resolveSiteType(java.lang.String classname)
Type	TypeInstance.subst(Env<Type> ctx)
Type	TypeApplication.subst(Env<Type> ctx)
Type	Type.subst(Env<Type> ctx)
Type	TypingContext.subst(Type T)
static java.util.List<Type>	Type.substAll(java.util.List<Type> ts, Env<Type> ctx)
boolean	TypeVariable.subtype(Type that)
boolean	TypeInstance.subtype(Type that)
boolean	Type.subtype(Type that)
boolean	Type.supertype(Type that)
Type	TypeInstance.unwrapAs(Type T)
Type	Type.unwrapAs(Type T)

Uses of TypeException in orc.type.ground

Methods in orc.type.ground that throw TypeException

Type	LetType.call(java.util.List<Type> args)
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)
Type	ConstIntType.join(Type that)
Type	Bot.join(Type that)
boolean	Top.subtype(Type that)
boolean	Message.subtype(Type that)
boolean	LetType.subtype(Type that)
boolean	ConstIntType.subtype(Type that)
boolean	Bot.subtype(Type that)

Uses of TypeException in orc.type.inference

Subclasses of TypeException in orc.type.inference

class

InferenceRequest A special exception raised and caught within the typechecker to request the inference of missing type parameters on a call.

Methods in orc.type.inference that throw TypeException

void	Constraint.atLeast(Type T)
void	Constraint.atMost(Type T)
abstract Type	InferenceContinuation.inferFrom(ArrowType arrowType)
Type	Constraint.minimal(Variance v)

Uses of TypeException in orc.type.java

Methods in orc.type.java that throw TypeException

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

Uses of TypeException in orc.type.structured

Methods in orc.type.structured that throw TypeException

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.call(java.util.List<Type> args)
Type	EllipsisArrowType.call(java.util.List<Type> args)
Type	DotType.call(java.util.List<Type> args)
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)
Type	TupleType.demote(Env<java.lang.Boolean> V)
Type	ArrowType.demote(Env<java.lang.Boolean> V)
Type	TupleType.join(Type that)
Type	EllipsisArrowType.join(Type that)
Type	ArrowType.join(Type that)
static Type	ListType.listOf(Type T)
Type	TupleType.meet(Type that)
Type	EllipsisArrowType.meet(Type that)
Type	ArrowType.meet(Type that)
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)
boolean	TupleType.subtype(Type that)
boolean	MultiType.subtype(Type that)
boolean	EllipsisArrowType.subtype(Type that)
boolean	DotType.subtype(Type that)
boolean	ArrowType.subtype(Type that)

Uses of TypeException in orc.type.tycon

Methods in orc.type.tycon that throw TypeException

java.util.List<java.util.List<Type>>	DatatypeTycon.getConstructors()
Type	Tycon.instance()
Type	Tycon.instance(java.util.List<Type> params)
Type	PolymorphicAliasedType.instance(java.util.List<Type> params)
Type	Tycon.instance(Type param)
abstract Type	Variance.join(Type S, Type T)
Type	Tycon.makeCallableInstance(java.util.List<Type> params)
abstract Type	Variance.meet(Type S, Type T)
abstract Type	Variance.minimum(Type S, Type T)
Type	DatatypeTycon.subst(Env<Type> ctx)
abstract boolean	Variance.subtype(Type S, Type T)