|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jDebugProvedGoalStack
public class jDebugProvedGoalStack
Nested Class Summary | |
---|---|
class |
jDebugProvedGoalStack.jDebugGoalItem
|
Field Summary | |
---|---|
protected java.util.Stack |
stack
|
Constructor Summary | |
---|---|
jDebugProvedGoalStack()
|
Method Summary | |
---|---|
jGoal |
cut(jGoal item)
Removes all goals above the specified item . |
boolean |
empty()
Determines if the stack does not contain goals. |
jDebugProvedGoalStack.jDebugGoalItem |
getDebugItem(jGoal item)
|
java.util.Vector |
getProvedDebugItems(jGoal next)
|
java.util.Vector |
getStackCopy()
Provides a vectorized duplicate of the goal stack. |
jGoal |
peek()
Returns the top goal of the stack, without removing that goal. |
jDebugProvedGoalStack.jDebugGoalItem |
peekDebugItem()
|
jGoal |
peekn(int n)
Returns the nth goal on the stack, without removing that goal. |
jGoal |
pop()
Returns and removes the top goal of the stack. |
jDebugProvedGoalStack.jDebugGoalItem |
popDebugItem()
|
jGoal |
push(jGoal item)
Places the provided goal item as the top element of the stack. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.util.Stack stack
Constructor Detail |
---|
public jDebugProvedGoalStack()
Method Detail |
---|
public boolean empty()
iGoalStack
empty
in interface iGoalStack
true
if the stack is empty,
false
otherwise.public jGoal pop()
iGoalStack
pop
in interface iGoalStack
jGoal
of the stack.public jGoal peek()
iGoalStack
peek
in interface iGoalStack
jGoal
of the stack.public jGoal peekn(int n)
iGoalStack
peekn
in interface iGoalStack
jGoal
of the stack.public jGoal push(jGoal item)
iGoalStack
item
as the top element of the stack.
push
in interface iGoalStack
item
- the goal to add to the stack top.
jGoal
of the stack, which is the
provided item
.public jGoal cut(jGoal item)
iGoalStack
item
. item
becomes the top goal.
cut
in interface iGoalStack
item
- the goal to truncate the stack at. item
becomes
the stack top. item
must be in this stack
instance.
jGoal
of the stack, which is the
provided item
.public jDebugProvedGoalStack.jDebugGoalItem peekDebugItem()
public jDebugProvedGoalStack.jDebugGoalItem popDebugItem()
public jDebugProvedGoalStack.jDebugGoalItem getDebugItem(jGoal item)
public java.util.Vector getProvedDebugItems(jGoal next)
public java.util.Vector getStackCopy()
iDebugGoalStack
getStackCopy
in interface iDebugGoalStack
Vector
of jGoal
s where the zero index
element in the vector is the stack bottom, and the element with
the largest index is the stack top.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |