|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.neu.ccs.demeterf.demfgen.classes.NameDef
public class NameDef
Representation of NameDef
Nested Class Summary | |
---|---|
static class |
NameDef.bnd
Field Class for NameDef.bnd |
static class |
NameDef.id
Field Class for NameDef.id |
Constructor Summary | |
---|---|
NameDef(ident id,
Bound bnd)
Construct a(n) NameDef Instance |
Method Summary | |
---|---|
java.lang.String |
declString()
|
boolean |
equals(java.lang.Object o)
Is the given object Equal to this NameDef? |
Bound |
getBnd()
Getter for field NameDef.bnd |
ident |
getId()
Getter for field NameDef.id |
static NameDef |
parse(java.io.InputStream inpt)
Parse an instance of NameDef from the given Stream |
static NameDef |
parse(java.io.Reader inpt)
Parse an instance of NameDef from the given Reader |
static NameDef |
parse(java.lang.String inpt)
Parse an instance of NameDef from the given String |
java.lang.String |
print()
DGP method from Class Print |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public NameDef(ident id, Bound bnd)
Method Detail |
---|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public static NameDef parse(java.lang.String inpt) throws ParseException
ParseException
public static NameDef parse(java.io.InputStream inpt) throws ParseException
ParseException
public static NameDef parse(java.io.Reader inpt) throws ParseException
ParseException
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String declString()
public java.lang.String print()
public Bound getBnd()
public ident getId()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |