ubc.cs.JLog.Foundation
Interface iDebugGoalStack

All Superinterfaces:
iGoalStack
All Known Implementing Classes:
jDebugGoalStack, jDebugProvedGoalStack

public interface iDebugGoalStack
extends iGoalStack

iDebugGoalStack is the debugging goal stack interface. It extends iGoalStack, providing an efficient way to access the stack goals.

Author:
Glendon Holst

Method Summary
 java.util.Vector getStackCopy()
          Provides a vectorized duplicate of the goal stack.
 
Methods inherited from interface ubc.cs.JLog.Foundation.iGoalStack
cut, empty, peek, peekn, pop, push
 

Method Detail

getStackCopy

java.util.Vector getStackCopy()
Provides a vectorized duplicate of the goal stack.

Returns:
Vector of jGoals where the zero index element in the vector is the stack bottom, and the element with the largest index is the stack top.