|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jDebugProvedGoalStack.jDebugGoalItem
public class jDebugProvedGoalStack.jDebugGoalItem
Field Summary | |
---|---|
protected jGoal |
goal
|
protected jGoal |
next
|
protected java.util.Vector |
sub_goals
|
Constructor Summary | |
---|---|
jDebugProvedGoalStack.jDebugGoalItem(jGoal g)
|
Method Summary | |
---|---|
jGoal |
getGoal()
|
jGoal |
getNextGoal()
|
java.util.Vector |
getSubGoals()
|
void |
setNextGoal(jGoal n)
|
void |
setSubGoals(java.util.Vector v)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected jGoal goal
protected jGoal next
protected java.util.Vector sub_goals
Constructor Detail |
---|
public jDebugProvedGoalStack.jDebugGoalItem(jGoal g)
Method Detail |
---|
public void setSubGoals(java.util.Vector v)
public java.util.Vector getSubGoals()
public jGoal getGoal()
public void setNextGoal(jGoal n)
public jGoal getNextGoal()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |