JDMHostNamepublic class JDMHostName extends Host
Fields Summary |
---|
protected StringBuffer | name |
Constructors Summary |
---|
JDMHostName(int id)
super(id);
| JDMHostName(Parser p, int id)
super(p, id);
|
Methods Summary |
---|
protected PrincipalImpl | createAssociatedPrincipal()
return new PrincipalImpl(name.toString());
| protected java.lang.String | getHname()
return name.toString();
| public static Node | jjtCreate(int id)
return new JDMHostName(id);
| public static Node | jjtCreate(Parser p, int id)
return new JDMHostName(p, id);
|
|