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

java.lang.Object
  extended by edu.neu.ccs.demeterf.demfgen.classes.TypeDefParams
Direct Known Subclasses:
DefParams, EmptyDefParams

public abstract class TypeDefParams
extends java.lang.Object

Representation of TypeDefParams


Constructor Summary
TypeDefParams()
          Construct a(n) TypeDefParams Instance
 
Method Summary
 boolean isEmpty()
           
 int length()
           
static TypeDefParams parse(java.io.InputStream inpt)
          Parse an instance of TypeDefParams from the given Stream
static TypeDefParams parse(java.io.Reader inpt)
          Parse an instance of TypeDefParams from the given Reader
static TypeDefParams parse(java.lang.String inpt)
          Parse an instance of TypeDefParams from the given String
 java.lang.String print()
          DGP method from Class Print
 java.lang.String[] toArray()
           
 List<java.lang.String> toList()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TypeDefParams

public TypeDefParams()
Construct a(n) TypeDefParams Instance

Method Detail

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

length

public int length()

isEmpty

public boolean isEmpty()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toList

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

toArray

public java.lang.String[] toArray()

print

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