uk.ac.ox.cs.fdr
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
|
AssertionList() |
|
AssertionList(AssertionList o) |
|
AssertionList(long n) |
protected |
AssertionList(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(Assertion value) |
void |
clear() |
void |
delete() |
boolean |
empty() |
protected void |
finalize() |
Assertion |
get(int index) |
protected static long |
getCPtr(AssertionList obj) |
void |
removeRange(int from,
int to) |
Assertion |
set(int index,
Assertion value) |
int |
size() |
add, addAll, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, remove, subList
protected AssertionList(long cPtr, boolean cMemoryOwn)
public AssertionList()
public AssertionList(long n)
public AssertionList(AssertionList o)
protected static long getCPtr(AssertionList obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public Assertion get(int index)
public boolean add(Assertion value)
public boolean empty()
public void clear()
public int size()
public void removeRange(int from, int to)
removeRange
in class java.util.AbstractList<Assertion>