|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.neu.ccs.demeterf.views.classes.Quantifier
public abstract class Quantifier
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 |
---|
public Quantifier()
Method Detail |
---|
public static Quantifier parse(java.lang.String inpt) throws ParseException
ParseException
public static Quantifier parse(java.io.InputStream inpt) throws ParseException
ParseException
public static Quantifier parse(java.io.Reader inpt) throws ParseException
ParseException
public java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |