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

java.lang.Object
  edu.neu.ccs.demeterf.demfgen.classes.NameList
      edu.neu.ccs.demeterf.demfgen.classes.NameCons

All Implemented Interfaces:

ConsList

public class NameCons
extends NameList
implements ConsList

Representation of NameCons

Nested Class Summary

static class	NameCons.first Field Class for NameCons.first
static class	NameCons.rest Field Class for NameCons.rest

Constructor Summary

NameCons(NameDef first, NameList rest)
Construct a(n) NameCons Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this NameCons?
NameDef	getFirst() Getter for field NameCons.first
NameList	getRest() Getter for field NameCons.rest
int	length()
static NameCons	parse(java.io.InputStream inpt) Parse an instance of NameCons from the given Stream
static NameCons	parse(java.io.Reader inpt) Parse an instance of NameCons from the given Reader
static NameCons	parse(java.lang.String inpt) Parse an instance of NameCons from the given String
java.lang.String	print() DGP method from Class Print
List<java.lang.String>	toList()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NameCons

public NameCons(NameDef first,
                NameList rest)

Construct a(n) NameCons Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this NameCons?

Overrides:

equals in class java.lang.Object

parse

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

Parse an instance of NameCons from the given String

Throws:

ParseException

parse

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

Parse an instance of NameCons from the given Stream

Throws:

ParseException

parse

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

Parse an instance of NameCons from the given Reader

Throws:

ParseException

length

public int length()

Overrides:

length in class NameList

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toList

public List<java.lang.String> toList()

Overrides:

toList in class NameList

print

public java.lang.String print()

DGP method from Class Print

Overrides:

print in class NameList

getRest

public NameList getRest()

Getter for field NameCons.rest

getFirst

public NameDef getFirst()

Getter for field NameCons.first