public static final class Java.ReferenceType extends Java.Type
| Modifier and Type | Field and Description |
|---|---|
java.lang.String[] |
identifiers |
NOWHERE| Constructor and Description |
|---|
ReferenceType(Location location,
java.lang.String[] identifiers) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(Visitor.AtomVisitor visitor) |
void |
accept(Visitor.TypeVisitor visitor) |
java.lang.String |
toString() |
getEnclosingScope, setEnclosingScope, toTypetoLvalue, toLvalueOrCompileException, toRvalue, toRvalueOrCompileException, toTypeOrCompileExceptiongetLocation, throwCompileExceptionpublic ReferenceType(Location location, java.lang.String[] identifiers)
public void accept(Visitor.AtomVisitor visitor)
public void accept(Visitor.TypeVisitor visitor)