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

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

public class ViewDef
extends java.lang.Object

Representation of ViewDef

Nested Class Summary

static class	ViewDef.children Field Class for ViewDef.children
static class	ViewDef.name Field Class for ViewDef.name
static class	ViewDef.params Field Class for ViewDef.params

Field Summary

List<ViewUse>	children
ident	name
TypeDefParams	params

Constructor Summary

ViewDef(ident name, TypeDefParams params, List<ViewUse> children)
Construct a(n) ViewDef Instance

Method Summary

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

name

public final ident name

params

public final TypeDefParams params

children

public final List<ViewUse> children

Constructor Detail

ViewDef

public ViewDef(ident name,
               TypeDefParams params,
               List<ViewUse> children)

Construct a(n) ViewDef Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this ViewDef?

Overrides:

equals in class java.lang.Object

parse

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

Parse an instance of ViewDef from the given String

Throws:

ParseException

parse

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

Parse an instance of ViewDef from the given Stream

Throws:

ParseException

parse

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

Parse an instance of ViewDef from the given Reader

Throws:

ParseException

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class java.lang.Object