edu.neu.ccs.demeterf.demfgen.classes
Class NameDef

java.lang.Object
  extended by edu.neu.ccs.demeterf.demfgen.classes.NameDef

public class NameDef
extends java.lang.Object

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

NameDef

public NameDef(ident id,
               Bound bnd)
Construct a(n) NameDef Instance

Method Detail

equals

public boolean equals(java.lang.Object o)
Is the given object Equal to this NameDef?

Overrides:
equals in class java.lang.Object

parse

public static NameDef parse(java.lang.String inpt)
                     throws ParseException
Parse an instance of NameDef from the given String

Throws:
ParseException

parse

public static NameDef parse(java.io.InputStream inpt)
                     throws ParseException
Parse an instance of NameDef from the given Stream

Throws:
ParseException

parse

public static NameDef parse(java.io.Reader inpt)
                     throws ParseException
Parse an instance of NameDef from the given Reader

Throws:
ParseException

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

declString

public java.lang.String declString()

print

public java.lang.String print()
DGP method from Class Print


getBnd

public Bound getBnd()
Getter for field NameDef.bnd


getId

public ident getId()
Getter for field NameDef.id