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

T

t - Variable in class orc.ast.extended.declaration.type.TypeAliasDeclaration

t - Variable in class orc.ast.extended.pattern.TypedPattern

Tag - Class in orc.runtime.sites.core

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

tag - Variable in class orc.runtime.values.TaggedValue

TaggedValue - Class in orc.runtime.values

TaggedValue(Datasite, Object[]) - Constructor for class orc.runtime.values.TaggedValue

TaggedValue - Class in orc.trace.values

TaggedValue(String, Value[]) - Constructor for class orc.trace.values.TaggedValue

tagName - Variable in class orc.runtime.sites.core.Datasite

tagName - Variable in class orc.trace.values.TaggedValue

tail - Variable in class orc.runtime.values.ConsValue

tail - Variable in class orc.trace.values.ConsValue

target - Variable in class orc.ast.extended.Dot

target(Var, Expression) - Method in class orc.ast.extended.pattern.PatternSimplifier

Term - Interface in orc.trace

Terms include Values, Events, and Patterns.

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

Terminate execution.

Terms - Class in orc.trace

text - Variable in class orc.doc.DocCode

thread - Variable in class orc.trace.events.Event

ThreadedObjectProxy - Class in orc.runtime.sites.java

Objects whose methods should always be called in new threads.

ThreadedObjectProxy(Object) - Constructor for class orc.runtime.sites.java.ThreadedObjectProxy

ThreadedPartialSite - Class in orc.runtime.sites

Abstract class for partial sites whose calls may block (the Java thread).

ThreadedPartialSite() - Constructor for class orc.runtime.sites.ThreadedPartialSite

ThreadedSite - Class in orc.runtime.sites

Abstract class for sites whose calls may block (the Java thread).

ThreadedSite() - Constructor for class orc.runtime.sites.ThreadedSite

ThreadSite - Class in orc.lib.util

Wrap a site call in a (pooled) thread.

ThreadSite() - Constructor for class orc.lib.util.ThreadSite

Token - Class in orc.runtime

Representation of an active thread of execution.

TokenError - Exception in orc.error.runtime

A non-recoverable error at a token, which must result in halting the whole engine.

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

TokenError(String, Throwable) - Constructor for exception orc.error.runtime.TokenError

tokenError(TokenException) - Method in class orc.runtime.OrcEngine

A token owned by this engine has encountered an exception.

TokenException - Exception in orc.error.runtime

A localized failure at runtime.

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

TokenException(String, Throwable) - Constructor for exception orc.error.runtime.TokenException

TokenLimitReachedError - Exception in orc.error.runtime

TokenLimitReachedError() - Constructor for exception orc.error.runtime.TokenLimitReachedError

TokenPool - Class in orc.runtime

Implement a token pool to avoid allocating and freeing a lot of tokens.

TokenPool(int) - Constructor for class orc.runtime.TokenPool

Create a new pool with the given bound.

TokenTracer - Interface in orc.trace

Interface for writing traces from a single Orc thread.

TokenTracer.BeforeTrace - Interface in orc.trace

Abstract handle for a before event

TokenTracer.PullTrace - Interface in orc.trace

Abstract handle for a pull event

TokenTracer.StoreTrace - Interface in orc.trace

Abstract handle for a store event

Top - Class in orc.type.ground

The Top type.

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

TOP - Static variable in class orc.type.Type

toString() - Method in class orc.ast.extended.AssertType

toString() - Method in class orc.ast.extended.Atomic

toString() - Method in class orc.ast.extended.Call

toString() - Method in class orc.ast.extended.ConsExpr

toString() - Method in class orc.ast.extended.declaration.ClassDeclaration

toString() - Method in class orc.ast.extended.declaration.defn.DefnClause

toString() - Method in class orc.ast.extended.declaration.defn.DefnType

toString() - Method in class orc.ast.extended.declaration.DefsDeclaration

toString() - Method in class orc.ast.extended.declaration.SiteDeclaration

toString() - Method in class orc.ast.extended.declaration.type.DatatypeDeclaration

toString() - Method in class orc.ast.extended.declaration.type.TypeAliasDeclaration

toString() - Method in class orc.ast.extended.declaration.type.TypeDeclaration

toString() - Method in class orc.ast.extended.declaration.ValDeclaration

toString() - Method in class orc.ast.extended.Declare

toString() - Method in class orc.ast.extended.Dot

toString() - Method in class orc.ast.extended.Field

toString() - Method in class orc.ast.extended.HasType

toString() - Method in class orc.ast.extended.IfThenElse

toString() - Method in class orc.ast.extended.Lambda

toString() - Method in class orc.ast.extended.Let

toString() - Method in class orc.ast.extended.ListExpr

toString() - Method in class orc.ast.extended.Literal

toString() - Method in class orc.ast.extended.Name

toString() - Method in class orc.ast.extended.NilExpr

toString() - Method in class orc.ast.extended.Parallel

toString() - Method in class orc.ast.extended.pattern.AsPattern

toString() - Method in class orc.ast.extended.pattern.CallPattern

toString() - Method in class orc.ast.extended.pattern.ConsPattern

toString() - Method in class orc.ast.extended.pattern.ListPattern

toString() - Method in class orc.ast.extended.pattern.LiteralPattern

toString() - Method in class orc.ast.extended.pattern.NilPattern

toString() - Method in class orc.ast.extended.pattern.PublishPattern

toString() - Method in class orc.ast.extended.pattern.TuplePattern

toString() - Method in class orc.ast.extended.pattern.TypedPattern

toString() - Method in class orc.ast.extended.pattern.VariablePattern

toString() - Method in class orc.ast.extended.pattern.WildcardPattern

toString() - Method in class orc.ast.extended.Semi

toString() - Method in class orc.ast.extended.Sequential

toString() - Method in class orc.ast.extended.Silent

toString() - Method in class orc.ast.extended.Where

toString() - Method in class orc.ast.oil.arg.Constant

toString() - Method in class orc.ast.oil.arg.Field

toString() - Method in class orc.ast.oil.arg.Site

toString() - Method in class orc.ast.oil.arg.Var

toString() - Method in class orc.ast.oil.Atomic

toString() - Method in class orc.ast.oil.Bar

toString() - Method in class orc.ast.oil.Call

toString() - Method in class orc.ast.oil.Def

toString() - Method in class orc.ast.oil.Defs

toString() - Method in class orc.ast.oil.Pull

toString() - Method in class orc.ast.oil.Push

toString() - Method in class orc.ast.oil.Semi

toString() - Method in class orc.ast.oil.Silent

toString() - Method in class orc.ast.oil.WithLocation

toString() - Method in class orc.ast.simple.arg.Constant

toString() - Method in class orc.ast.simple.arg.Field

toString() - Method in class orc.ast.simple.arg.NamedVar

toString() - Method in class orc.ast.simple.type.ArrowType

toString() - Method in class orc.ast.simple.type.Blank

toString() - Method in class orc.ast.simple.type.ClassType

toString() - Method in class orc.ast.simple.type.Constructor

toString() - Method in class orc.ast.simple.type.NamedType

toString() - Method in class orc.ast.simple.type.SiteType

toString() - Method in class orc.ast.simple.type.TupleType

toString() - Method in class orc.ast.simple.type.TypeInstance

toString() - Method in class orc.ast.sites.JavaSite

toString() - Method in class orc.ast.sites.OrcSite

toString() - Method in exception orc.error.runtime.JavaException

toString() - Method in exception orc.error.runtime.TokenException

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

toString() - Method in class orc.lib.state.Buffer.BufferInstance

toString() - Method in class orc.lib.state.Ref.RefInstance

toString() - Method in class orc.lib.state.types.ArrayType

toString() - Method in class orc.lib.state.types.BoundedBufferType

toString() - Method in class orc.lib.state.types.BufferType

toString() - Method in class orc.lib.state.types.CellType

toString() - Method in class orc.lib.state.types.CounterType

toString() - Method in class orc.lib.state.types.RefType

toString() - Method in class orc.lib.state.types.SemaphoreType

toString() - Method in class orc.lib.state.types.SyncChannelType

toString() - Method in class orc.runtime.nodes.Call

toString() - Method in class orc.runtime.nodes.Let

toString() - Method in class orc.runtime.nodes.Node

toString() - Method in class orc.runtime.sites.core.Datasite

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

toString() - Method in class orc.runtime.values.Field

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

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

toString() - Method in class orc.runtime.values.TaggedValue

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

toString() - Method in class orc.trace.events.Event

Return a human-readable short label for the event.

toString() - Method in class orc.trace.handles.Handle

toString() - Method in class orc.trace.values.AbstractValue

toString() - Method in class orc.type.ArrowType

toString() - Method in class orc.type.Constraint

toString() - Method in class orc.type.Datatype

toString() - Method in class orc.type.EllipsisArrowType

toString() - Method in class orc.type.ground.BooleanType

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

toString() - Method in class orc.type.ground.ConstIntType

toString() - Method in class orc.type.ground.IntegerType

toString() - Method in class orc.type.ground.LetType

toString() - Method in class orc.type.ground.Message

toString() - Method in class orc.type.ground.NumberType

toString() - Method in class orc.type.ground.StringType

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

toString() - Method in class orc.type.ListType

toString() - Method in class orc.type.OptionType

toString() - Method in class orc.type.TupleType

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

toString() - Method in class orc.type.TypeApplication

toString() - Method in class orc.type.TypeVariable

TraceableValue - Interface in orc.trace.values

Mark a runtime object which may be traced (serialized in a trace file).

tracer - Variable in class orc.trace.DerivedTracer.DerivedTokenTracer

Tracer - Interface in orc.trace

Interface for tracing an Orc execution.

Transaction - Class in orc.runtime.transaction

A transaction (a dynamic instance of an atomic section).

Transaction(Token, Node, GroupCell) - Constructor for class orc.runtime.transaction.Transaction

TransRegion - Class in orc.runtime.transaction

This region encloses the tokens of a running transaction.

TransRegion(Region, Transaction) - Constructor for class orc.runtime.transaction.TransRegion

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

trycons(Argument) - Static method in class orc.ast.extended.pattern.Pattern

Constructs an expression which will try to deconstruct an argument as if it were a list.

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

TryCons - Class in orc.runtime.sites.core

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

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

trynil(Argument) - Static method in class orc.ast.extended.pattern.Pattern

Constructs an expression which tests whether the argument s can be treated as an empty list (nil).

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

TryNil - Class in orc.runtime.sites.core

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

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

trysize(Argument, int) - Static method in class orc.ast.extended.pattern.Pattern

Construct an expression to determine whether the argument s may be viewed as a tuple of size n.

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

TuplePattern - Class in orc.ast.extended.pattern

TuplePattern(List<Pattern>) - Constructor for class orc.ast.extended.pattern.TuplePattern

TuplePattern() - Constructor for class orc.ast.extended.pattern.TuplePattern

TupleType - Class in orc.ast.simple.type

A syntactic type tuple: (T,...,T)

TupleType(List<Type>) - Constructor for class orc.ast.simple.type.TupleType

TupleType - Class in orc.type

TupleType(List<Type>) - Constructor for class orc.type.TupleType

TupleType(Type, Type) - Constructor for class orc.type.TupleType

TupleValue - Class in orc.runtime.values

A tuple value container

TupleValue(List<Object>) - Constructor for class orc.runtime.values.TupleValue

TupleValue(Object...) - Constructor for class orc.runtime.values.TupleValue

TupleValue - Class in orc.trace.values

TupleValue(Value[]) - Constructor for class orc.trace.values.TupleValue

Tycon - Class in orc.type

Root class for all type constructors.

Tycon() - Constructor for class orc.type.Tycon

type - Variable in class orc.ast.extended.AssertType

type - Variable in class orc.ast.extended.HasType

type(Env<Type>) - Method in class orc.ast.oil.Def

type - Variable in class orc.ast.oil.HasType

type - Variable in class orc.ast.oil.TypeDecl

type - Variable in class orc.ast.simple.HasType

Type - Class in orc.ast.simple.type

Abstract superclass of all syntactic types.

Type() - Constructor for class orc.ast.simple.type.Type

type - Variable in class orc.ast.simple.TypeDecl

type() - Method in class orc.ast.sites.Site

type - Variable in class orc.doc.DocType

type() - Method in class orc.lib.bool.BoolBinopSite

type() - Method in class orc.lib.comp.ComparisonSite

type() - Method in class orc.lib.math.Add

type() - Method in class orc.lib.math.Ceil

type() - Method in class orc.lib.math.Div

type() - Method in class orc.lib.math.Exponent

type() - Method in class orc.lib.math.Floor

type() - Method in class orc.lib.math.Mod

type() - Method in class orc.lib.math.Mult

type() - Method in class orc.lib.math.Sub

type() - Method in class orc.lib.math.UMinus

type() - Method in class orc.lib.state.BoundedBuffer

type() - Method in class orc.lib.state.Buffer

type() - Method in class orc.lib.state.Cell

type() - Method in class orc.lib.state.Counter

type() - Method in class orc.lib.state.Ref

type() - Method in class orc.lib.state.Semaphore

type() - Method in class orc.lib.state.SyncChannel

type() - Method in class orc.lib.str.Cat

type() - Method in class orc.lib.str.Print

type() - Method in class orc.lib.str.Println

type() - Method in class orc.lib.str.Read

type() - Method in class orc.lib.time.Clock

type() - Method in class orc.lib.time.Ltimer

type() - Method in class orc.lib.time.PopLtimer

type() - Method in class orc.lib.time.PushLtimer

type() - Method in class orc.lib.time.Rtimer

type() - Method in class orc.lib.util.Apply

type() - Method in class orc.lib.util.JavaArray

type() - Method in class orc.lib.util.Prompt

type() - Method in class orc.lib.util.Random

type() - Method in class orc.lib.util.URandom

type() - Method in class orc.lib.util.UUID

type() - Method in class orc.runtime.sites.core.Cons

type() - Method in class orc.runtime.sites.core.Datatype

type() - Method in class orc.runtime.sites.core.Equal

type() - Method in class orc.runtime.sites.core.Error

type() - Method in class orc.runtime.sites.core.If

type() - Method in class orc.runtime.sites.core.Inequal

type() - Method in class orc.runtime.sites.core.IsNone

type() - Method in class orc.runtime.sites.core.IsSome

type() - Method in class orc.runtime.sites.core.Let

type() - Method in class orc.runtime.sites.core.Nil

type() - Method in class orc.runtime.sites.core.None

type() - Method in class orc.runtime.sites.core.Not

type() - Method in class orc.runtime.sites.core.Some

type() - Method in class orc.runtime.sites.core.TryCons

type() - Method in class orc.runtime.sites.core.TryNil

type() - Method in class orc.runtime.sites.Site

Type - Class in orc.type

Abstract superclass of all types for the Orc typechecker.

Type() - Constructor for class orc.type.Type

type - Variable in class orc.type.TypeApplication

TypeAliasDeclaration - Class in orc.ast.extended.declaration.type

Creating a new alias for an existing type.

TypeAliasDeclaration(String, Type, List<VariantTypeFormal>) - Constructor for class orc.ast.extended.declaration.type.TypeAliasDeclaration

TypeApplication - Class in orc.type

A type application, e.g.

TypeApplication(Type, List<Type>) - Constructor for class orc.type.TypeApplication

typeArgs - Variable in class orc.ast.extended.Call

typeArgs - Variable in class orc.ast.oil.Call

typeArgs - Variable in class orc.ast.simple.Call

typeArity - Variable in class orc.ast.oil.Def

typeArity - Variable in class orc.type.ArrowType

TypeArityException - Exception in orc.error.compiletime.typing

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

TypeArityException(int, int) - Constructor for exception orc.error.compiletime.typing.TypeArityException

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Atomic

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Bar

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Call

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Defs

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Expr

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Pull

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Push

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Semi

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.Silent

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.TypeDecl

typecheck(Type, Env<Type>, Env<Type>) - Method in class orc.ast.oil.WithLocation

typeCheckingMode() - Method in class orc.Config

TypeDecl - Class in orc.ast.oil

Bind a type in the given scope.

TypeDecl(Type, Expr) - Constructor for class orc.ast.oil.TypeDecl

TypeDecl - Class in orc.ast.simple

A syntactic type declaration.

TypeDecl(Type, String, Expression) - Constructor for class orc.ast.simple.TypeDecl

TypeDeclaration - Class in orc.ast.extended.declaration.type

Declaration of an external type.

TypeDeclaration(String, String, List<VariantTypeFormal>) - Constructor for class orc.ast.extended.declaration.type.TypeDeclaration

TypedPattern - Class in orc.ast.extended.pattern

A pattern with a type ascription.

TypedPattern(Pattern, Type) - Constructor for class orc.ast.extended.pattern.TypedPattern

TypeException - Exception in orc.error.compiletime.typing

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

TypeException(Throwable) - Constructor for exception orc.error.compiletime.typing.TypeException

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

TypeInstance - Class in orc.ast.simple.type

A type instantiation with explicit type parameters: T[T,..,T]

TypeInstance(String, List<Type>) - Constructor for class orc.ast.simple.type.TypeInstance

typename - Variable in class orc.ast.extended.declaration.type.DatatypeDeclaration

typename - Variable in class orc.ast.extended.declaration.type.TypeAliasDeclaration

typename - Variable in class orc.ast.simple.type.Datatype

typeParams - Variable in class orc.ast.extended.declaration.defn.AggregateDefn

typeParams - Variable in class orc.ast.extended.declaration.defn.DefnType

typeParams - Variable in class orc.ast.simple.Definition

typeParams - Variable in class orc.ast.simple.type.ArrowType

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.arg.Constant

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.arg.Field

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.arg.Site

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.arg.Var

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Atomic

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Bar

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Call

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Defs

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Expr

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.HasType

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Pull

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Push

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Semi

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.Silent

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.TypeDecl

typesynth(Env<Type>, Env<Type>) - Method in class orc.ast.oil.WithLocation

TypeVariable - Class in orc.type

A bound type variable.

TypeVariable(int) - Constructor for class orc.type.TypeVariable