orc.type.ground
Class ConstIntType

java.lang.Object
  orc.type.Type
      orc.type.ground.NumberType
          orc.type.ground.IntegerType
              orc.type.ground.ConstIntType

public class ConstIntType
extends IntegerType

Field Summary

java.lang.Integer

i

Fields inherited from class orc.type.Type

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

Constructor Summary

ConstIntType(java.lang.Integer i)

Method Summary

Type	join(Type that)
boolean	subtype(Type that)
java.lang.String	toString()

Methods inherited from class orc.type.ground.IntegerType

call, javaCounterpart

Methods inherited from class orc.type.Type

addConstraints, allFreeVars, assertSubtype, asTycon, call, closed, demote, equal, findVariance, freeVars, fromJavaClass, fromJavaMethod, fromJavaMethods, fromJavaType, fromJavaType, isBot, isTop, 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

i

public java.lang.Integer i

Constructor Detail

ConstIntType

public ConstIntType(java.lang.Integer i)

Method Detail

subtype

public boolean subtype(Type that)
                throws TypeException

Overrides:

subtype in class Type

Throws:

TypeException

join

public Type join(Type that)
          throws TypeException

Overrides:

join in class Type

Throws:

TypeException

toString

public java.lang.String toString()

Overrides:

toString in class IntegerType