orc.type.structured
Class DotType

java.lang.Object
  orc.type.Type
      orc.type.structured.DotType

Direct Known Subclasses:

CounterType, SemaphoreType

public class DotType
extends Type

Composite type for sites which can receive messages (using the . notation) A DotType is created with an optional default type (to be used when the site is called with something other than a message), and then type entries for each understood message are added using addField.

Author:

dkitchin

Field Summary

static Type

NODEFAULT

Fields inherited from class orc.type.Type

BOOLEAN, BOT, INTEGER, LET, NUMBER, SIGNAL, STRING, TOP

Constructor Summary

DotType()

DotType(Type defaultType)

Method Summary

DotType	addField(java.lang.String key, Type T)
Type	call(java.util.List<Type> args)
Type	call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
java.util.Set<java.lang.Integer>	freeVars()
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, closed, demote, equal, findVariance, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, isTop, javaCounterpart, join, makeJavaCtx, makeJavaCtx, marshal, meet, promote, resolveSites, shiftFreeVars, subst, substAll, supertype, unwrapAs, variances

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NODEFAULT

public static final Type NODEFAULT

Constructor Detail

DotType

public DotType()

DotType

public DotType(Type defaultType)

Method Detail

addField

public DotType addField(java.lang.String key,
                        Type T)

call

public Type call(TypingContext ctx,
                 java.util.List<Argument> args,
                 java.util.List<Type> typeActuals)
          throws TypeException

Overrides:

call in class Type

Throws:

TypeException

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

call

public Type call(java.util.List<Type> args)
          throws TypeException

Overrides:

call in class Type

Throws:

TypeException

freeVars

public java.util.Set<java.lang.Integer> freeVars()

Overrides:

freeVars in class Type

toString

public java.lang.String toString()

Overrides:

toString in class Type