Uses of Class
orc.error.compiletime.CompilationException

Packages that use CompilationException

orc	Top-level package for all Orc code.
orc.ast.extended.declaration
orc.ast.extended.declaration.def
orc.ast.extended.expression
orc.ast.oil.expression
orc.ast.oil.expression.argument
orc.ast.oil.visitor
orc.ast.simple.expression
orc.ast.xml	JAXB implementation classes for the Orc Intermediate Language XML binding.
orc.ast.xml.expression
orc.ast.xml.expression.argument
orc.error.compiletime
orc.error.compiletime.typing
orc.type.inference

Uses of CompilationException in orc

Methods in orc that throw CompilationException

Expression	OrcCompiler.compileAstToOil(ASTNode astRoot) Translate an Orc extended AST into an OIL AST
Expression	OrcCompiler.loadOil(java.io.Reader oilReader) Read an OIL file into an OIL AST and resolve the sites.
static void	BackendDemo.main(java.lang.String[] args)
void	OrcCompiler.saveOil(Expression oilAst, java.io.Writer oilWriter) Write an OIL AST into an OIL file

Uses of CompilationException in orc.ast.extended.declaration

Methods in orc.ast.extended.declaration that throw CompilationException

Expression	ValDeclaration.bindto(Expression target)
Expression	IncludeDeclaration.bindto(Expression target)
Expression	DefsDeclaration.bindto(Expression target)
abstract Expression	Declaration.bindto(Expression target)

Uses of CompilationException in orc.ast.extended.declaration.def

Methods in orc.ast.extended.declaration.def that throw CompilationException

void	DefMemberType.extend(AggregateDef adef)
void	DefMemberClause.extend(AggregateDef adef)
abstract void	DefMember.extend(AggregateDef adef)
void	AggregateDef.setArgTypes(java.util.List<Type> argTypes)
void	AggregateDef.setResultType(Type resultType)
void	AggregateDef.setStrictness(boolean strict)
void	AggregateDef.setTypeParams(java.util.List<java.lang.String> typeParams)
Def	AggregateDef.simplify()
Expression	Clause.simplify(java.util.List<Variable> formals, Expression otherwise) Simplify a clause.

Uses of CompilationException in orc.ast.extended.expression

Methods in orc.ast.extended.expression that throw CompilationException

protected Expression.Arg	Expression.argify() Simplify an expression which occurs in an argument (nested) position.
Expression	Throw.simplify()
Expression	Sequential.simplify()
Expression	Pruning.simplify()
Expression	Parallel.simplify()
Expression	Otherwise.simplify()
Expression	ListExpr.simplify()
Expression	Let.simplify()
Expression	Lambda.simplify()
Expression	IfThenElse.simplify()
Expression	HasType.simplify()
abstract Expression	Expression.simplify() Simplify an expression which occurs in a call (non-nested) position.
Expression	Dot.simplify()
Expression	Declare.simplify()
Expression	ConsExpr.simplify()
Expression	Catch.simplify()
Expression	Capsule.simplify()
Expression	Call.simplify()
Expression	AssertType.simplify()

Uses of CompilationException in orc.ast.oil.expression

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

Expression	WithLocation.marshal()
Expression	Throw.marshal()
Expression	Stop.marshal()
Expression	Sequential.marshal()
Expression	Pruning.marshal()
Expression	Parallel.marshal()
Expression	Otherwise.marshal()
Expression	HasType.marshal()
abstract Expression	Expression.marshal()
Def	Def.marshal()
Expression	DeclareType.marshal()
Expression	DeclareDefs.marshal()
Expression	Catch.marshal()
Expression	Call.marshal()
static Expression[]	Expression.marshalAll(java.util.List<Expression> es) Convenience method, to marshal a list of expressions.

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

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

Argument	Variable.marshal()
Argument	Site.marshal()
Argument	Field.marshal()
Argument	Constant.marshal()
abstract Argument	Argument.marshal()

Uses of CompilationException in orc.ast.oil.visitor

Methods in orc.ast.oil.visitor that throw CompilationException

static void	UnguardedRecursionChecker.check(Expression expr)
static void	ExceptionsOnChecker.check(Expression expr)
static Expression	SiteResolver.resolve(Expression expr, Config config) Call this to run the resolver on an expression.

Uses of CompilationException in orc.ast.simple.expression

Methods in orc.ast.simple.expression that throw CompilationException

Expression	WithLocation.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Throw.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	Parallel.convert(Env<Variable> vars, Env<TypeVariable> typevars)
Expression	Otherwise.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.
Def	Def.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	Catch.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<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 CompilationException in orc.ast.xml

Methods in orc.ast.xml that throw CompilationException

Expression

Oil.unmarshal(Config config)

Constructors in orc.ast.xml that throw CompilationException

Oil(Expression expression)

Uses of CompilationException in orc.ast.xml.expression

Methods in orc.ast.xml.expression that throw CompilationException

Expression	WithLocation.unmarshal(Config config)
Expression	Throw.unmarshal(Config config)
Expression	Stop.unmarshal(Config config)
Expression	Sequential.unmarshal(Config config)
Expression	Pruning.unmarshal(Config config)
Expression	Parallel.unmarshal(Config config)
Expression	Otherwise.unmarshal(Config config)
Expression	HasType.unmarshal(Config config)
abstract Expression	Expression.unmarshal(Config config)
Def	Def.unmarshal(Config config)
Expression	DeclareType.unmarshal(Config config)
Expression	DeclareDefs.unmarshal(Config config)
Expression	Catch.unmarshal(Config config)
Expression	Call.unmarshal(Config config)

Uses of CompilationException in orc.ast.xml.expression.argument

Methods in orc.ast.xml.expression.argument that throw CompilationException

Argument	Variable.unmarshal(Config config)
Argument	Site.unmarshal(Config config)
Argument	Field.unmarshal(Config config)
Argument	Constant.unmarshal(Config config)
abstract Argument	Argument.unmarshal(Config config)

Uses of CompilationException in orc.error.compiletime

Subclasses of CompilationException in orc.error.compiletime

class	NonlinearPatternException
class	ParsingException Problem parsing the text of an Orc program.
class	PatternException
class	SiteResolutionException Indicate a problem with site resolution.
class	UnboundVariableException

Uses of CompilationException in orc.error.compiletime.typing

Subclasses of CompilationException in orc.error.compiletime.typing

class	ArgumentArityException
class	DefinitionArityException
class	InsufficientTypeInformationException
class	MissingTypeException Exception raised
class	MultiTypeException
class	SubtypeFailureException
class	TypeArityException
class	TypeException
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

Uses of CompilationException in orc.type.inference

Subclasses of CompilationException 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.