|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectescjava.gui.GUI.EscTreeValue
escjava.gui.GUI.TDTreeValue
Field Summary | |
int |
action
|
javax.swing.tree.DefaultMutableTreeNode |
holder
|
InitialState |
initState
|
boolean |
outOfDate
|
java.lang.String |
outputText
|
FindContributors |
scope
|
TypeSig |
sig
|
int |
status
|
TypeDecl |
td
|
Constructor Summary | |
GUI.TDTreeValue(TypeDecl td)
|
Method Summary | |
int |
actualAction(int action)
|
void |
clearCheck()
|
java.lang.String |
combinedString()
|
java.lang.String |
getFilename()
|
int |
getLine()
|
GUI.EscTreeValue |
getParent()
|
java.lang.String |
getStatusText()
|
java.lang.String |
infoString()
|
static javax.swing.tree.DefaultMutableTreeNode |
makeNode(TypeDecl td)
|
void |
process(int action)
|
void |
processHelper(int action)
|
void |
processThis(int action)
|
int |
processThisAction(int action)
|
void |
propagateStatus(int s)
|
void |
setOutOfDate()
|
static void |
setOutOfDate(javax.swing.tree.DefaultMutableTreeNode h)
|
void |
setStatus(int status,
java.lang.String outputText)
|
void |
showOutput(boolean showEmpty)
|
java.lang.String |
toString()
|
java.lang.String |
type()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public TypeDecl td
public TypeSig sig
public InitialState initState
public FindContributors scope
public int status
public boolean outOfDate
public java.lang.String outputText
public javax.swing.tree.DefaultMutableTreeNode holder
public int action
Constructor Detail |
public GUI.TDTreeValue(TypeDecl td)
Method Detail |
public static javax.swing.tree.DefaultMutableTreeNode makeNode(TypeDecl td)
public java.lang.String type()
type
in class GUI.EscTreeValue
public java.lang.String toString()
public void clearCheck()
clearCheck
in class GUI.EscTreeValue
public int actualAction(int action)
actualAction
in class GUI.EscTreeValue
public int processThisAction(int action)
processThisAction
in class GUI.EscTreeValue
public java.lang.String getFilename()
getFilename
in class GUI.EscTreeValue
public int getLine()
getLine
in class GUI.EscTreeValue
public void setOutOfDate()
public static void setOutOfDate(javax.swing.tree.DefaultMutableTreeNode h)
public java.lang.String getStatusText()
public java.lang.String infoString()
public GUI.EscTreeValue getParent()
public void setStatus(int status, java.lang.String outputText)
public void showOutput(boolean showEmpty)
public java.lang.String combinedString()
public void process(int action)
public void processHelper(int action)
public void processThis(int action)
public void propagateStatus(int s)
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |