uk.ac.manchester.cs.jfact.helpers

Class SaveStack<T>

java.lang.Object

uk.ac.manchester.cs.jfact.helpers.SaveStack<T>

Type Parameters:

T - type

All Implemented Interfaces:

Serializable

@PortedFrom(file="tSaveStack.h",
            name="TSaveStack")
public class SaveStack<T>
extends Object
implements Serializable

save stack

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SaveStack()

Method Summary

Modifier and Type	Method and Description
void	clear() clear the stack
boolean	isEmpty()
T	pop()
T	pop(int depth)
void	push(T e)
T	top(int depth)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SaveStack

public SaveStack()

Method Detail

pop

@PortedFrom(file="tSaveStack.h",
            name="pop")
public T pop(int depth)

Parameters:

depth - depth

Returns:

an object from a fixed depth

top

@PortedFrom(file="tSaveStack.h",
            name="top")
public T top(int depth)

Parameters:

depth - depth

Returns:

an object from a fixed depth

pop

@PortedFrom(file="tSaveStack.h",
            name="pop")
public T pop()

Returns:

pop stack

push

@PortedFrom(file="tSaveStack.h",
            name="push")
public void push(T e)

Parameters:

e - e

clear

@Original
public void clear()

clear the stack

isEmpty

@PortedFrom(file="tSaveStack.h",
            name="empty")
public boolean isEmpty()

Returns:

true if is empty