Uses of Interface
orc.error.Located

Packages that use Located

orc.ast.extended	Desugared AST which is very close to the source form.
orc.ast.extended.declaration
orc.ast.extended.declaration.defn
orc.ast.extended.declaration.type
orc.ast.extended.pattern
orc.ast.oil	Internal representation of OIL, the Orc Intermediate Language.
orc.ast.simple.arg
orc.error	Orc-specific throwables.
orc.error.compiletime
orc.error.compiletime.typing
orc.error.runtime
orc.runtime	Runtime for Orc interpreter.
orc.trace	Generate and query Orc trace files.
orc.trace.events	Events which may appear in a trace file.
orc.type

Uses of Located in orc.ast.extended

Classes in orc.ast.extended that implement Located

class	AssertType
class	Atomic
class	Call
class	ConsExpr
class	Declare A declaration together with its scope in the AST.
class	Dot A dot expression (e.g "C.put(4)").
class	Expression Base class for the extended abstract syntax tree.
class	Field
class	HasType
class	IfThenElse "if condition then consequent else alternative" desugars to "(if(c) >> consequent | if(~c) >> alternative) <c< condition"
class	Isolated The "isolated" keyword.
class	Lambda
class	Let
class	ListExpr
class	Literal
class	Name
class	NilExpr
class	Parallel
class	Semi
class	Sequential
class	Silent
class	Where

Uses of Located in orc.ast.extended.declaration

Classes in orc.ast.extended.declaration that implement Located

class	ClassDeclaration Declaration of a class proxy.
class	Declaration A unit of syntax that encapsulates some declaration.
class	DefsDeclaration A group of defined expressions, together as a declaration.
class	SiteDeclaration Declaration of a site.
class	ValDeclaration

Uses of Located in orc.ast.extended.declaration.defn

Classes in orc.ast.extended.declaration.defn that implement Located

class	Defn
class	DefnClause A unit of syntax that encapsulates an expression definition.
class	DefnType

Uses of Located in orc.ast.extended.declaration.type

Classes in orc.ast.extended.declaration.type that implement Located

class	DatatypeDeclaration Declaration of a variant type.
class	TypeAliasDeclaration Creating a new alias for an existing type.
class	TypeDeclaration Declaration of an external type.

Uses of Located in orc.ast.extended.pattern

Classes in orc.ast.extended.pattern that implement Located

class	AsPattern
class	CallPattern
class	ConsPattern
class	ListPattern
class	LiteralPattern
class	NilPattern
class	Pattern Base interface for the abstract syntax of patterns.
class	TuplePattern
class	TypedPattern A pattern with a type ascription.
class	VariablePattern
class	WildcardPattern

Uses of Located in orc.ast.oil

Classes in orc.ast.oil that implement Located

class	Def A unit of syntax that encapsulates an expression definition.
class	WithLocation Annotate an expression with a source location.

Uses of Located in orc.ast.simple.arg

Classes in orc.ast.simple.arg that implement Located

class	Argument An AST class (distinct from Expression) which contains arguments to calls.
class	Constant Program constants, which occur in argument position.
class	NamedVar Named (implicitly, free) variables.
class	Site Site values, which occur in argument position.
class	Var Bound variables.

Uses of Located in orc.error

Subinterfaces of Located in orc.error

interface

Locatable Interface representing entities whose source location can be assigned, not just observed.

Uses of Located in orc.error.compiletime

Classes in orc.error.compiletime that implement Located

class	CompilationException Exceptions generated during Orc compilation from source to portable compiled representations.
class	NonlinearPatternException
class	ParsingException Problem parsing the text of an Orc program.
class	PatternException
class	UnboundVariableException

Uses of Located in orc.error.compiletime.typing

Classes in orc.error.compiletime.typing that implement Located

class	ArgumentArityException
class	DefinitionArityException
class	InsufficientTypeInformationException
class	MissingTypeException Exception raised
class	SubtypeFailureException
class	TypeArityException
class	TypeException
class	UnboundTypeException
class	UncallableTypeException Exception raised when the typechecker finds an uncallable value in call position.
class	UnspecifiedArgTypesException
class	UnspecifiedReturnTypeException

Uses of Located in orc.error.runtime

Classes in orc.error.runtime that implement Located

class	ArgumentTypeMismatchException
class	ArityMismatchException
class	CapabilityException
class	InsufficientArgsException
class	JavaException A container for Java-level exceptions raised by code implementing sites.
class	MessageNotUnderstoodException
class	MethodTypeMismatchException
class	NontransactionalSiteException
class	RuntimeTypeException Superclass of all runtime type exceptions, including arity mismatches, argument type mismatches, and attempts to call uncallable values.
class	SiteException Any exception occurring in a well-formed, well-typed site call.
class	SiteResolutionException Indicate a problem with site resolution.
class	StackLimitReachedError
class	TokenError A non-recoverable error at a token, which must result in halting the whole engine.
class	TokenException A localized failure at runtime.
class	TokenLimitReachedError
class	UncallableValueException Exception raised when an uncallable value occurs in call position.

Uses of Located in orc.runtime

Classes in orc.runtime that implement Located

class

Token Representation of an active thread of execution.

Uses of Located in orc.trace

Classes in orc.trace that implement Located

protected class	DerivedTracer.DerivedTokenTracer
class	TokenTracer Interface for writing traces from a single Orc thread.

Uses of Located in orc.trace.events

Classes in orc.trace.events that implement Located

class	BlockEvent Thread is blocked waiting for a Future.
class	ChokeEvent Thread on right-hand side of a where clause was terminated.
class	DieEvent Always the last event in a thread.
class	ErrorEvent A fatal error in a thread.
class	Event Base class for trace events.
class	ForkEvent Spawning a new thread.
class	FreeEvent Dummy event used to free a handle to an event.
class	PrintEvent Printing to stdout.
class	PublishEvent A top-level publication in a thread.
class	PullEvent This is just a way to uniquely identify a pull.
class	ReceiveEvent Return from a site call.
class	RootEvent The root event is like a ForkEvent but it is its own thread.
class	SendEvent
class	StoreEvent Store a value to a future.
class	UnblockEvent Resume after a BlockEvent.

Uses of Located in orc.type

Classes in orc.type that implement Located

class

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