orc.lib.state.types
Class SemaphoreType

java.lang.Object
  orc.type.Type
      orc.type.structured.DotType
          orc.lib.state.types.SemaphoreType

public class SemaphoreType
extends DotType

Field Summary

Fields inherited from class orc.type.structured.DotType

NODEFAULT

Fields inherited from class orc.type.Type

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

Constructor Summary

SemaphoreType()

Method Summary

java.lang.String

toString()

Methods inherited from class orc.type.structured.DotType

addField, call, call, freeVars, subtype

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

Constructor Detail

SemaphoreType

public SemaphoreType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class DotType