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

Nested Class Summary

static class	BehDef.body
static class	BehDef.name

Field Summary

verbatim	body
ident	name

Constructor Summary

BehDef(ident name, verbatim body)

Method Summary

boolean	equals(java.lang.Object o)
static BehDef	parse(java.io.InputStream inpt)
static BehDef	parse(java.io.Reader inpt)
static BehDef	parse(java.lang.String inpt)
java.lang.String	print()

Methods inherited from class java.lang.Object

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

Field Detail

name

public final ident name

body

public final verbatim body

Constructor Detail

BehDef

public BehDef(ident name,
              verbatim body)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

parse

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

Throws:

ParseException

parse

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

Throws:

ParseException

parse

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

Throws:

ParseException

print

public java.lang.String print()