edu.neu.ccs.demeterf.inline.classes
Class EnvEntry

java.lang.Object
  edu.neu.ccs.demeterf.inline.classes.EnvEntry

public class EnvEntry
extends java.lang.Object

Representation of EnvEntry

Nested Class Summary

static class	EnvEntry.choices Field Class for EnvEntry.choices
static class	EnvEntry.ret Field Class for EnvEntry.ret
static class	EnvEntry.type Field Class for EnvEntry.type

Constructor Summary

EnvEntry(TypeUse type, TypeUse ret, List<Meth> choices)
Construct a(n) EnvEntry Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this EnvEntry?
List<Meth>	getChoices() Getter for field EnvEntry.choices
TypeUse	getRet() Getter for field EnvEntry.ret
TypeUse	getType() Getter for field EnvEntry.type
java.lang.String	toString() DGP method from Class PrintToString

Methods inherited from class java.lang.Object

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

Constructor Detail

EnvEntry

public EnvEntry(TypeUse type,
                TypeUse ret,
                List<Meth> choices)

Construct a(n) EnvEntry Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this EnvEntry?

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class java.lang.Object

getChoices

public List<Meth> getChoices()

Getter for field EnvEntry.choices

getRet

public TypeUse getRet()

Getter for field EnvEntry.ret

getType

public TypeUse getType()

Getter for field EnvEntry.type