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

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

public class BehDefCons
extends BehDefList

Nested Class Summary

static class	BehDefCons.first
static class	BehDefCons.rest

Field Summary

BehDef	first
BehDefList	rest

Constructor Summary

BehDefCons(BehDef first, BehDefList rest)

Method Summary

boolean	equals(java.lang.Object o)
BehDef	findDef(java.lang.String n)
boolean	hasDef(java.lang.String n)
static BehDefCons	parse(java.io.InputStream inpt)
static BehDefCons	parse(java.io.Reader inpt)
static BehDefCons	parse(java.lang.String inpt)
java.lang.String	print()
List<BehDef>	toList()

Methods inherited from class java.lang.Object

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

Field Detail

first

public final BehDef first

rest

public final BehDefList rest

Constructor Detail

BehDefCons

public BehDefCons(BehDef first,
                  BehDefList rest)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

parse

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

Throws:

ParseException

parse

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

Throws:

ParseException

parse

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

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()

Overrides:

print in class BehDefList