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

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

public class BehDefCons
extends BehDefList

Representation of BehDefCons


Nested Class Summary
static class BehDefCons.first
          Field Class for BehDefCons.first
static class BehDefCons.rest
          Field Class for BehDefCons.rest
 
Constructor Summary
BehDefCons(BehDef first, BehDefList rest)
          Construct a(n) BehDefCons Instance
 
Method Summary
 boolean equals(java.lang.Object o)
          Is the given object Equal to this BehDefCons?
 BehDef findDef(java.lang.String n)
           
 BehDef getFirst()
          Getter for field BehDefCons.first
 BehDefList getRest()
          Getter for field BehDefCons.rest
 boolean hasDef(java.lang.String n)
           
static BehDefCons parse(java.io.InputStream inpt)
          Parse an instance of BehDefCons from the given Stream
static BehDefCons parse(java.io.Reader inpt)
          Parse an instance of BehDefCons from the given Reader
static BehDefCons parse(java.lang.String inpt)
          Parse an instance of BehDefCons from the given String
 java.lang.String print()
          DGP method from Class Print
 List<BehDef> toList()
           
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BehDefCons

public BehDefCons(BehDef first,
                  BehDefList rest)
Construct a(n) BehDefCons Instance

Method Detail

equals

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

Overrides:
equals in class java.lang.Object

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

findDef

public BehDef findDef(java.lang.String n)
Specified by:
findDef in class BehDefList

hasDef

public boolean hasDef(java.lang.String n)
Specified by:
hasDef in class BehDefList

toList

public List<BehDef> toList()
Specified by:
toList in class BehDefList

print

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

Overrides:
print in class BehDefList

getRest

public BehDefList getRest()
Getter for field BehDefCons.rest


getFirst

public BehDef getFirst()
Getter for field BehDefCons.first