uk.ac.manchester.cs.jfact.kernel.todolist

Class ArrayQueue

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue

All Implemented Interfaces:

Serializable

public class ArrayQueue
extends Object
implements Serializable

class to represent single queue

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ArrayQueue()

Method Summary

Modifier and Type	Method and Description
void	add(DlCompletionTree node, ConceptWDep offset) add entry to a queue
void	clear() clear queue
ToDoEntry	get()
int	getsPointer()
int	getWaitSize()
boolean	isEmpty()
void	restore(int[][] tss, int pos) restore queue content from the given entry
void	restore(int sp, int ep)
void	save(int[][] tss, int pos) save queue content to the given entry
void	setsPointer(int sPointer)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayQueue

public ArrayQueue()

Method Detail

add

public void add(DlCompletionTree node,
                ConceptWDep offset)

add entry to a queue

Parameters:

node - node

offset - offset

clear

@PortedFrom(file="ToDoList.h",
            name="clear")
public void clear()

clear queue

isEmpty

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

Returns:

check if queue empty

get

public ToDoEntry get()

Returns:

next entry from the queue; works for non-empty queues

save

@PortedFrom(file="ToDoList.h",
            name="save")
public void save(int[][] tss,
                                                                         int pos)

save queue content to the given entry

Parameters:

tss - tss

pos - pos

restore

@PortedFrom(file="ToDoList.h",
            name="restore")
public void restore(int[][] tss,
                                                                               int pos)

restore queue content from the given entry

Parameters:

tss - tss

pos - pos

restore

@PortedFrom(file="ToDoList.h",
            name="restore")
public void restore(int sp,
                                                                               int ep)

Parameters:

sp - sp

ep - ep

toString

public String toString()

Overrides:

toString in class Object

getsPointer

public int getsPointer()

Returns:

s pointer

setsPointer

public void setsPointer(int sPointer)

Parameters:

sPointer - sPointer

getWaitSize

public int getWaitSize()

Returns:

wait size