---

TypeResolver::TypeVariable Class Reference

List of all members.

Private Methods
	TypeVariable ()
	TypeVariable (Local local)
	TypeVariable (ClassHierarchy.TypeNode typeNode)
TypeVariable	ecr ()
TypeVariable	ecrUnion (TypeVariable var)
void	merge (TypeVariable var)
void	removeEcrIndirectRelations ()
void	ecrAddParent (TypeVariable variable)
void	ecrAddChild (TypeVariable variable)
void	ecrCannotBeInt ()
void	ecrCannotBeLong ()
void	ecrCannotBeFloat ()
void	ecrCannotBeDouble ()
void	ecrCannotBeAddress ()
void	ecrCannotBeRef ()
int	getEcrId ()
boolean	isEcrArray ()
int	ecrArrayDepth ()
TypeVariable	getEcrIsArrayOf ()
IntSet	getEcrParentIds ()
TypeVariable[]	getEcrParents ()
TypeVariable[]	getEcrChildren ()
ClassHierarchy TypeNode	getEcrTypeNode ()
boolean	setEcrTypeNode (ClassHierarchy.TypeNode typeNode)
void	unsetEcrTypeNode ()
Private Attributes
int	id
IntSet	parents = new IntSet()
IntSet	children = new IntSet()
ClassHierarchy TypeNode	typeNode
boolean	cannotBeInt
boolean	cannotBeLong
boolean	cannotBeFloat
boolean	cannotBeDouble
boolean	cannotBeAddress
boolean	cannotBeRef
TypeVariable	isArrayOf
IntSet	isElementOf = new IntSet()
int	arrayDepth
TypeVariable	base
int	count
TypeVariable	rep = this
int	rank = 0
BitSet	ancestors = new BitSet()

---

Detailed Description

Represents a type variable. *

Definition at line 142 of file TypeResolver.java.

---

Member Data Documentation

int TypeResolver::TypeVariable::id [private]

Unique id * Definition at line 145 of file TypeResolver.java.

---

The documentation for this class was generated from the following file:

• TypeResolver.java

---