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

java.lang.Object
  edu.neu.ccs.demeterf.views.classes.ViewUse

public class ViewUse
extends java.lang.Object

Representation of ViewUse

Nested Class Summary

static class	ViewUse.quant Field Class for ViewUse.quant
static class	ViewUse.type Field Class for ViewUse.type

Field Summary

Quantifier	quant
TypeUse	type

Constructor Summary

ViewUse(TypeUse type, Quantifier quant)
Construct a(n) ViewUse Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this ViewUse?
static ViewUse	parse(java.io.InputStream inpt) Parse an instance of ViewUse from the given Stream
static ViewUse	parse(java.io.Reader inpt) Parse an instance of ViewUse from the given Reader
static ViewUse	parse(java.lang.String inpt) Parse an instance of ViewUse 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

type

public final TypeUse type

quant

public final Quantifier quant

Constructor Detail

ViewUse

public ViewUse(TypeUse type,
               Quantifier quant)

Construct a(n) ViewUse Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this ViewUse?

Overrides:

equals in class java.lang.Object

parse

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

Parse an instance of ViewUse from the given String

Throws:

ParseException

parse

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

Parse an instance of ViewUse from the given Stream

Throws:

ParseException

parse

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

Parse an instance of ViewUse from the given Reader

Throws:

ParseException

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class java.lang.Object