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

java.lang.Object
  edu.neu.ccs.demeterf.views.classes.Quantifier
      edu.neu.ccs.demeterf.views.classes.NumQuant

public class NumQuant
extends Quantifier

Representation of NumQuant

Nested Class Summary

static class

NumQuant.value Field Class for NumQuant.value

Field Summary

int

value

Constructor Summary

NumQuant(int value)
Construct a(n) NumQuant Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this NumQuant?
static NumQuant	parse(java.io.InputStream inpt) Parse an instance of NumQuant from the given Stream
static NumQuant	parse(java.io.Reader inpt) Parse an instance of NumQuant from the given Reader
static NumQuant	parse(java.lang.String inpt) Parse an instance of NumQuant from the given String
java.lang.String	toString() DGP method from Class PrintToString

Methods inherited from class java.lang.Object

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

Field Detail

value

public final int value

Constructor Detail

NumQuant

public NumQuant(int value)

Construct a(n) NumQuant Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this NumQuant?

Overrides:

equals in class java.lang.Object

parse

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

Parse an instance of NumQuant from the given String

Throws:

ParseException

parse

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

Parse an instance of NumQuant from the given Stream

Throws:

ParseException

parse

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

Parse an instance of NumQuant from the given Reader

Throws:

ParseException

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class Quantifier