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

java.lang.Object
  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