A B C D E F G H I J K L M N O P R S T U V W X

I

i - Variable in class orc.type.ground.ConstIntType

ic - Variable in class orc.type.TypingContext

id - Variable in class orc.trace.values.ObjectValue

A long is necessary instead of an int because our id space needs to include a unique id for all values ever, not just for all values at a particular point in the program (like an address).

IF - Static variable in class orc.ast.extended.pattern.Pattern

IF - Static variable in class orc.ast.sites.Site

If - Class in orc.runtime.sites.core

If() - Constructor for class orc.runtime.sites.core.If

IfThenElse - Class in orc.ast.extended.expression

"if condition then consequent else alternative" desugars to "(if(c) >> consequent | if(~c) >> alternative) <c< condition"

IfThenElse(Expression, Expression, Expression) - Constructor for class orc.ast.extended.expression.IfThenElse

IfThenElse(Expression, Expression) - Constructor for class orc.ast.extended.expression.IfThenElse

ImmutableContainerType - Class in orc.type.tycon

ImmutableContainerType() - Constructor for class orc.type.tycon.ImmutableContainerType

IncludeDeclaration - Class in orc.ast.extended.declaration

Group together a series of declarations which were included from the same file.

IncludeDeclaration(List<Declaration>, String) - Constructor for class orc.ast.extended.declaration.IncludeDeclaration

indent(Writer, int) - Static method in class orc.trace.Terms

index - Variable in class orc.ast.oil.expression.argument.Variable

index - Variable in class orc.ast.oil.type.TypeVariable

index - Variable in class orc.ast.xml.expression.argument.Variable

index - Variable in class orc.ast.xml.type.TypeVariable

index - Variable in class orc.type.TypeVariable

Inequal - Class in orc.runtime.sites.core

Inequal() - Constructor for class orc.runtime.sites.core.Inequal

InferenceContinuation - Class in orc.type.inference

A continuation to invoke type argument inference during type checking.

InferenceContinuation() - Constructor for class orc.type.inference.InferenceContinuation

InferenceRequest - Exception in orc.type.inference

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

InferenceRequest(ArrowType) - Constructor for exception orc.type.inference.InferenceRequest

inferFrom(ArrowType) - Method in class orc.type.inference.InferenceContinuation

InferredType - Class in orc.ast.oil.type

A syntactic container for a type inferred during typechecking.

InferredType(Type) - Constructor for class orc.ast.oil.type.InferredType

inferredType - Variable in class orc.ast.oil.type.InferredType

inferredTypes(List<Type>) - Static method in class orc.ast.oil.type.Type

inferredVariances - Variable in class orc.type.tycon.PolymorphicAliasedType

inputFromString(String) - Method in class orc.Config

InputStreamEventCursor - Class in orc.trace

InputStreamEventCursor(InputStream) - Constructor for class orc.trace.InputStreamEventCursor

instance(List<Type>) - Method in class orc.type.tycon.PolymorphicAliasedType

instance(List<Type>) - Method in class orc.type.tycon.Tycon

instance() - Method in class orc.type.tycon.Tycon

instance(Type) - Method in class orc.type.tycon.Tycon

instantiate(Config) - Method in class orc.ast.sites.JavaSite

instantiate(Config) - Method in class orc.ast.sites.OrcSite

instantiate(Config) - Method in class orc.ast.sites.Site

InsufficientArgsException - Exception in orc.error.runtime

InsufficientArgsException(String) - Constructor for exception orc.error.runtime.InsufficientArgsException

InsufficientArgsException(String, int, int) - Constructor for exception orc.error.runtime.InsufficientArgsException

InsufficientArgsException(int, int) - Constructor for exception orc.error.runtime.InsufficientArgsException

InsufficientTypeInformationException - Exception in orc.error.compiletime.typing

InsufficientTypeInformationException(String) - Constructor for exception orc.error.compiletime.typing.InsufficientTypeInformationException

InsufficientTypeInformationException(String, SourceLocation) - Constructor for exception orc.error.compiletime.typing.InsufficientTypeInformationException

intArg(int) - Method in class orc.runtime.Args

Helper function for integers

INTEGER - Static variable in class orc.type.Type

IntegerType - Class in orc.type.ground

IntegerType() - Constructor for class orc.type.ground.IntegerType

intersect(Interval<T>) - Method in class orc.lib.state.Interval

intersect(Intervals<T>) - Method in class orc.lib.state.Intervals

intersects(Interval<T>) - Method in class orc.lib.state.Interval

Interval<T extends java.lang.Comparable> - Class in orc.lib.state

Interval(T) - Constructor for class orc.lib.state.Interval

Construct an empty interval.

Interval(T, T) - Constructor for class orc.lib.state.Interval

Construct a non-empty interval.

Intervals<T extends java.lang.Comparable> - Class in orc.lib.state

Intervals() - Constructor for class orc.lib.state.Intervals

Intervals(Interval<T>) - Constructor for class orc.lib.state.Intervals

INVARIANT - Static variable in class orc.type.tycon.Variance

invert() - Method in class orc.type.tycon.Variance

InvokableHandle<M> - Class in orc.runtime.sites.java

Share common functionality of MethodHandle and ConstructorHandle.

InvokableHandle(String, M[]) - Constructor for class orc.runtime.sites.java.InvokableHandle

InvokableHandle.Type - Enum in orc.runtime.sites.java

isAlive() - Method in class orc.runtime.Group

Is this group currently alive?

isBot() - Method in class orc.type.ground.Bot

isBot() - Method in class orc.type.Type

isBound() - Method in class orc.runtime.values.GroupCell

isCanceled() - Method in class orc.progress.NullProgressListener

isCanceled() - Method in interface orc.progress.ProgressListener

isCanceled() - Method in class orc.progress.ProgressMonitorListener

isCanceled() - Method in class orc.progress.SubProgressListener

isCoercableFrom(Class, Object) - Static method in class orc.runtime.sites.java.InvokableHandle

Check whether an Orc object can be coerced to a Java class.

isDead() - Method in class orc.runtime.OrcEngine

isEmpty() - Method in class orc.lib.state.Interval

isEmpty() - Method in class orc.lib.state.Intervals

isEmpty() - Method in class orc.lib.state.Set

isEmpty() - Method in class orc.runtime.values.ConsValue

isEmpty() - Method in class orc.runtime.values.NilValue

ISNONE - Static variable in class orc.ast.sites.Site

IsNone - Class in orc.runtime.sites.core

IsNone() - Constructor for class orc.runtime.sites.core.IsNone

IsolatedGroup - Class in orc.runtime

A token in an isolated group is protected from forced termination.

IsolatedGroup(Group) - Constructor for class orc.runtime.IsolatedGroup

ISSOME - Static variable in class orc.ast.sites.Site

IsSome - Class in orc.runtime.sites.core

IsSome() - Constructor for class orc.runtime.sites.core.IsSome

isStrict() - Method in class orc.ast.extended.declaration.def.AggregateDef

isTailCall - Variable in class orc.ast.oil.expression.Call

isTop() - Method in class orc.type.ground.Top

isTop() - Method in class orc.type.Type

isUnknown() - Method in class orc.error.SourceLocation

items - Variable in class orc.ast.extended.type.TupleType

items - Variable in class orc.ast.oil.type.TupleType

items - Variable in class orc.ast.simple.type.TupleType

items - Variable in class orc.ast.xml.type.TupleType

items() - Method in class orc.env.Env

Return a list of items in the order they were pushed.

items - Variable in class orc.type.structured.TupleType

iterator() - Method in class orc.lib.state.Intervals

iterator() - Method in class orc.lib.state.Set

iterator() - Method in class orc.runtime.Args

iterator() - Method in class orc.runtime.values.ListValue

iterator() - Method in class orc.runtime.values.TupleValue

iterator() - Method in class orc.trace.values.ListValue