code.type
Class TypeVariable

java.lang.Object
  code.type.TypeIdentifier
      code.type.TypeVariable

All Implemented Interfaces:

TypeExpression

public class TypeVariable
extends TypeIdentifier

Represents a Type Variable. Every type variable is either associated with a type value or with no value at all (if it remains unbound) If the type variable has a value, then it can only be determined during type checking.

Since:

November 26, 2002

Author:

jimeng

Field Summary

Fields inherited from class code.type.TypeIdentifier

name

Constructor Summary

TypeVariable(int varnum)

TypeVariable(java.lang.String name)

Method Summary

<R,T> R

accept(code.type.visitor.TypeVisitor<R,T> v, T o)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeVariable

TypeVariable(java.lang.String name)

TypeVariable

TypeVariable(int varnum)

Method Detail

accept

public <R,T> R accept(code.type.visitor.TypeVisitor<R,T> v,
                      T o)