orc.type
Class DotType

java.lang.Object
  orc.type.Type
      orc.type.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

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

Constructor Summary

DotType()

DotType(Type defaultType)

Method Summary

void	addField(java.lang.String key, Type T)
Type	call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)
Type	call(java.util.List<Type> args)
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.Type

addConstraints, assertSubtype, closed, demote, equal, findVariance, freeVars, isBot, isTop, join, makeCallableInstance, meet, promote, 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 void addField(java.lang.String key,
                     Type T)

call

public Type call(Env<Type> ctx,
                 Env<Type> typectx,
                 java.util.List<Arg> args,
                 java.util.List<Type> typeActuals)
          throws TypeException

Overrides:

call in class Type

Throws:

TypeException

subtype

public boolean subtype(Type that)

Overrides:

subtype in class Type

call

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

Overrides:

call in class Type

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class Type