public class Name
extends jif.parse.Name
Modifier and Type | Field and Description |
---|---|
java.net.URI |
ns |
CodebaseTypeSystem |
ts |
Constructor and Description |
---|
Name(Grm parser,
Position pos,
Amb prefix,
Id name) |
Name(Grm parser,
Position pos,
Amb prefix,
java.lang.String name) |
Name(Grm parser,
Position pos,
Id name) |
Name(Grm parser,
Position pos,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
PackageNode |
toPackage() |
QualifierNode |
toQualifier() |
TypeNode |
toType() |
public final CodebaseTypeSystem ts
public final java.net.URI ns
public Name(Grm parser, Position pos, Id name) throws java.lang.Exception
java.lang.Exception
public Name(Grm parser, Position pos, java.lang.String name) throws java.lang.Exception
java.lang.Exception
public Name(Grm parser, Position pos, Amb prefix, Id name) throws java.lang.Exception
java.lang.Exception
public Name(Grm parser, Position pos, Amb prefix, java.lang.String name) throws java.lang.Exception
java.lang.Exception