edu.neu.ccs.demeterf.views.classes
Class Quantifier

java.lang.Object
  extended by edu.neu.ccs.demeterf.views.classes.Quantifier
Direct Known Subclasses:
NoQuant, NumQuant, PlusQuant, StarQuant

public abstract class Quantifier
extends java.lang.Object

Representation of Quantifier


Constructor Summary
Quantifier()
          Construct a(n) Quantifier Instance
 
Method Summary
static Quantifier parse(java.io.InputStream inpt)
          Parse an instance of Quantifier from the given Stream
static Quantifier parse(java.io.Reader inpt)
          Parse an instance of Quantifier from the given Reader
static Quantifier parse(java.lang.String inpt)
          Parse an instance of Quantifier from the given String
 java.lang.String toString()
          DGP method from Class PrintToString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Quantifier

public Quantifier()
Construct a(n) Quantifier Instance

Method Detail

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

parse

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

Throws:
ParseException

toString

public java.lang.String toString()
DGP method from Class PrintToString

Overrides:
toString in class java.lang.Object