|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.multijava.mjc.CUniverseTypeAnnotation
This class represents a universe annotation for a type.
| Field Summary | |
private byte |
byteConstant
The byte representation of the Universe. |
| Constructor Summary | |
CUniverseTypeAnnotation(byte byteConstant)
Creates a new universe type annotation from a given byte. |
|
| Method Summary | |
CUniverse |
getBaseUniverse()
Return the universe of the base type (if this is an array). |
CUniverse |
getUniverse()
Return the universe represented by this annotation. |
boolean |
isArrayType()
Return whether this is an array annotation. |
String |
toString()
Return a string representation of the annotation. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
private byte byteConstant
| Constructor Detail |
public CUniverseTypeAnnotation(byte byteConstant)
byteConstant - a byte constant representing a universe annotation| Method Detail |
public boolean isArrayType()
public CUniverse getUniverse()
public CUniverse getBaseUniverse()
public String toString()
toString in class Object
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||