uk.ac.manchester.cs.jfact.helpers

Class SaveStack<T>

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected LinkedList<T>	list

Constructor Summary

Constructors

Constructor and Description
SaveStack()

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
boolean	isEmpty()
T	pop()
T	pop(int depth) get an object from a fixed depth
void	push(T e)
int	size()
T	top()
T	top(int depth) get an object from a fixed depth

Methods inherited from class java.lang.Object

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

Field Detail

list

@Original
protected LinkedList<T> list

Constructor Detail

SaveStack

public SaveStack()

Method Detail

pop

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

get an object from a fixed depth

top

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

get an object from a fixed depth

top

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

pop

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

push

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

clear

@Original
public void clear()

isEmpty

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

size

@Original
public int size()