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.

Version:

%I%, %G%

Author:

Glendon Holst

Method Summary

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

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.