|
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.RDTreeValue
Field Summary | |
int |
action
|
javax.swing.tree.DefaultMutableTreeNode |
holder
|
boolean |
outOfDate
|
java.lang.String |
outputText
|
RoutineDecl |
rd
|
(package private) java.lang.String |
sig
|
int |
status
|
Constructor Summary | |
GUI.RDTreeValue(RoutineDecl rd)
|
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(RoutineDecl rd)
|
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 |
java.lang.String sig
public RoutineDecl rd
public int status
public boolean outOfDate
public java.lang.String outputText
public javax.swing.tree.DefaultMutableTreeNode holder
public int action
Constructor Detail |
public GUI.RDTreeValue(RoutineDecl rd)
Method Detail |
public static javax.swing.tree.DefaultMutableTreeNode makeNode(RoutineDecl rd)
public java.lang.String type()
type
in class GUI.EscTreeValue
public java.lang.String toString()
public java.lang.String getFilename()
getFilename
in class GUI.EscTreeValue
public int getLine()
getLine
in class GUI.EscTreeValue
public void clearCheck()
clearCheck
in class GUI.EscTreeValue
public java.lang.String combinedString()
combinedString
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 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 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 |