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

java.lang.Object
  edu.neu.ccs.demeterf.demfgen.classes.BehDef

public class BehDef
extends java.lang.Object

Representation of BehDef

Nested Class Summary

static class	BehDef.body Field Class for BehDef.body
static class	BehDef.name Field Class for BehDef.name

Constructor Summary

BehDef(ident name, verbatim body)
Construct a(n) BehDef Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this BehDef?
verbatim	getBody() Getter for field BehDef.body
ident	getName() Getter for field BehDef.name
static BehDef	parse(java.io.InputStream inpt) Parse an instance of BehDef from the given Stream
static BehDef	parse(java.io.Reader inpt) Parse an instance of BehDef from the given Reader
static BehDef	parse(java.lang.String inpt) Parse an instance of BehDef from the given String
java.lang.String	print() DGP method from Class Print

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BehDef

public BehDef(ident name,
              verbatim body)

Construct a(n) BehDef Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this BehDef?

Overrides:

equals in class java.lang.Object

parse

public static BehDef parse(java.lang.String inpt)
                    throws ParseException

Parse an instance of BehDef from the given String

Throws:

ParseException

parse

public static BehDef parse(java.io.InputStream inpt)
                    throws ParseException

Parse an instance of BehDef from the given Stream

Throws:

ParseException

parse

public static BehDef parse(java.io.Reader inpt)
                    throws ParseException

Parse an instance of BehDef from the given Reader

Throws:

ParseException

print

public java.lang.String print()

DGP method from Class Print

getBody

public verbatim getBody()

Getter for field BehDef.body

getName

public ident getName()

Getter for field BehDef.name