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, toType
toLvalue, toLvalueOrCompileException, toRvalue, toRvalueOrCompileException, toTypeOrCompileException
getLocation, throwCompileException
public ReferenceType(Location location, java.lang.String[] identifiers)
public void accept(Visitor.AtomVisitor visitor)
public void accept(Visitor.TypeVisitor visitor)