orc.type.ground
Class IntegerType

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

Direct Known Subclasses:

ConstIntType

public class IntegerType
extends NumberType

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

IntegerType()

Method Summary

Type	call(TypingContext ctx, java.util.List<Argument> args, java.util.List<Type> typeActuals)
java.lang.Class	javaCounterpart() Determine whether this type has a counterpart as a non-generic class in the Java class hierarchy.
java.lang.String	toString()

Methods inherited from class orc.type.Type

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerType

public IntegerType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class NumberType

call

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

Overrides:

call in class NumberType

Throws:

TypeException

javaCounterpart

public java.lang.Class javaCounterpart()

Description copied from class: Type

Determine whether this type has a counterpart as a non-generic class in the Java class hierarchy. If not, return null. This is not a true inverse of fromJavaClass, though it behaves like one in most cases.

Overrides:

javaCounterpart in class NumberType