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

Class ToDoList

java.lang.Object

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="ToDoList.h",
            name="ToDoList")
public class ToDoList
extends Object
implements Serializable

todo list

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ToDoList(SaveStackRare r) Default constructor.

Method Summary

Modifier and Type	Method and Description
void	addEntry(DlCompletionTree node, DagTag type, ConceptWDep c) add entry with given NODE and CONCEPT with given OFFSET to the Todo table
void	clear() clear Todo table
ToDoEntry	getNextEntry()
void	initPriorities(String options) init priorities via Options
boolean	isEmpty()
void	restore(int level) restore state to the given level using internal stack
void	restoreState(TODOListSaveState tss) restore Todo table content from given saveState entry
void	save() save current state using internal stack
void	saveState(TODOListSaveState tss) save current Todo table content to given saveState entry
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ToDoList

public ToDoList(SaveStackRare r)

Default constructor.

Parameters:

r - rare stack

Method Detail

saveState

@PortedFrom(file="ToDoList.h",
            name="saveState")
public void saveState(TODOListSaveState tss)

save current Todo table content to given saveState entry

Parameters:

tss - tss

restoreState

@PortedFrom(file="ToDoList.h",
            name="restoreState")
public void restoreState(TODOListSaveState tss)

restore Todo table content from given saveState entry

Parameters:

tss - tss

initPriorities

@Original
public void initPriorities(String options)

init priorities via Options

Parameters:

options - Options

clear

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

clear Todo table

isEmpty

public boolean isEmpty()

Returns:

check if Todo table is empty

addEntry

@PortedFrom(file="ToDoList.h",
            name="addEntry")
public void addEntry(DlCompletionTree node,
                                                                                 DagTag type,
                                                                                 ConceptWDep c)

add entry with given NODE and CONCEPT with given OFFSET to the Todo table

Parameters:

node - node

type - type

c - C

save

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

save current state using internal stack

restore

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

restore state to the given level using internal stack

Parameters:

level - level

getNextEntry

@Nullable
 @PortedFrom(file="ToDoList.h",
            name="getNextEntry")
public ToDoEntry getNextEntry()

Returns:

next entry

toString

public String toString()

Overrides:

toString in class Object