uk.ac.manchester.cs.jfact.kernel

Class NamedEntryCollection<T extends NamedEntry>

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection<T>

public class NamedEntryCollection<T extends NamedEntry>
extends Object

class for collect TNamedEntry'es together. Template parameter should be inherited from TNamedEntry. Implemented as vector of T*, with Base[i].getId() == i.

Constructor Summary

Constructors

Constructor and Description
NamedEntryCollection(String name, NameCreator<T> creator, JFactReasonerConfiguration options) c'tor: clear 0-th element

Method Summary

Methods

Modifier and Type	Method and Description
T	get(String name) get entry by NAME from the collection; it if necessary
List<T>	getList()
boolean	isLocked() check if collection is locked
boolean	isRegistered(String name) check if entry with a NAME is registered in given collection
T	registerElem(T p) new element in a collection; return this element
void	registerNew(T p) abstract method for additional tuning of newly created element
boolean	remove(T p) remove given entry from the collection; @return true iff it was NOT the last entry.
boolean	setLocked(boolean val) set LOCKED value to a VAL; @return old value of LOCKED
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedEntryCollection

public NamedEntryCollection(String name,
                    NameCreator<T> creator,
                    JFactReasonerConfiguration options)

c'tor: clear 0-th element

Method Detail

registerNew

public void registerNew(T p)

abstract method for additional tuning of newly created element

registerElem

public T registerElem(T p)

new element in a collection; return this element

isLocked

public boolean isLocked()

check if collection is locked

setLocked

public boolean setLocked(boolean val)

set LOCKED value to a VAL; @return old value of LOCKED

isRegistered

public boolean isRegistered(String name)

check if entry with a NAME is registered in given collection

get

public T get(String name)

get entry by NAME from the collection; it if necessary

remove

public boolean remove(T p)

remove given entry from the collection; @return true iff it was NOT the last entry.

getList

public List<T> getList()

size

public int size()