orc.type.ground
Class StringType

java.lang.Object
  orc.type.Type
      orc.type.ground.StringType

public class StringType
extends Type

Field Summary

Fields inherited from class orc.type.Type

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

Constructor Summary

StringType()

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

StringType

public StringType()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class Type

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

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 Type