E
- element typepublic interface Chain<E>
extends java.util.Collection<E>, java.io.Serializable
Modifier and Type | Method and Description |
---|---|
void |
addFirst(E u)
Adds the given object at the beginning of the Chain.
|
void |
addLast(E u)
Adds the given object at the end of the Chain.
|
boolean |
follows(E someObject,
E someReferenceObject)
Returns true if object
someObject follows object someReferenceObject in the Chain. |
java.util.Collection<E> |
getElementsUnsorted()
Gets all elements in the chain.
|
E |
getFirst()
Returns the first object in this Chain.
|
E |
getLast()
Returns the last object in this Chain.
|
long |
getModificationCount()
Returns the number of times this chain has been modified.
|
E |
getPredOf(E point)
Returns the object immediately preceding
point . |
E |
getSuccOf(E point)
Returns the object immediately following
point . |
void |
insertAfter(Chain<E> toInsert,
E point)
Inserts
toInsert in the Chain after point . |
void |
insertAfter(E toInsert,
E point)
Inserts
toInsert in the Chain after point . |
void |
insertAfter(java.util.List<E> toInsert,
E point)
Inserts
toInsert in the Chain after point . |
void |
insertBefore(Chain<E> toInsert,
E point)
Inserts
toInsert in the Chain before point . |
void |
insertBefore(E toInsert,
E point)
Inserts
toInsert in the Chain before point . |
void |
insertBefore(java.util.List<E> toInsert,
E point)
Inserts
toInsert in the Chain before point . |
void |
insertOnEdge(Chain<E> toInsert,
E point_src,
E point_tgt)
Inserts instrumentation in a manner such that the resulting control flow
graph (CFG) of the program will contain
toInsert on an edge
that is defined by point_source and point_target . |
void |
insertOnEdge(E toInsert,
E point_src,
E point_tgt)
Inserts instrumentation in a manner such that the resulting control flow
graph (CFG) of the program will contain
toInsert on an edge
that is defined by point_source and point_target . |
void |
insertOnEdge(java.util.List<E> toInsert,
E point_src,
E point_tgt)
Inserts instrumentation in a manner such that the resulting control flow
graph (CFG) of the program will contain
toInsert on an edge
that is defined by point_source and point_target . |
java.util.Iterator<E> |
iterator()
Returns an iterator over this Chain.
|
java.util.Iterator<E> |
iterator(E u)
Returns an iterator over this Chain, starting at the given object.
|
java.util.Iterator<E> |
iterator(E head,
E tail)
Returns an iterator over this Chain, starting at head and reaching tail (inclusive).
|
boolean |
remove(java.lang.Object u)
Removes the given object from this Chain.
|
void |
removeFirst()
Removes the first object contained in this Chain.
|
void |
removeLast()
Removes the last object contained in this Chain.
|
int |
size()
Returns the size of this Chain.
|
java.util.Iterator<E> |
snapshotIterator()
Returns an iterator over a copy of this chain.
|
void |
swapWith(E out,
E in)
Replaces
out in the Chain by in . |
void insertBefore(java.util.List<E> toInsert, E point)
toInsert
in the Chain before point
.void insertAfter(java.util.List<E> toInsert, E point)
toInsert
in the Chain after point
.void insertBefore(Chain<E> toInsert, E point)
toInsert
in the Chain before point
.
(It would probably be better to make Chain implement List)void insertAfter(Chain<E> toInsert, E point)
toInsert
in the Chain after point
.
(It would probably be better to make Chain implement List)void insertOnEdge(E toInsert, E point_src, E point_tgt)
toInsert
on an edge
that is defined by point_source
and point_target
.toInsert
- the instrumentation to be added in the Chainpoint_src
- the source point of an edge in CFGpoint_tgt
- the target point of an edgevoid insertOnEdge(java.util.List<E> toInsert, E point_src, E point_tgt)
toInsert
on an edge
that is defined by point_source
and point_target
.toInsert
- instrumentation to be added in the Chainpoint_src
- the source point of an edge in CFGpoint_tgt
- the target point of an edgevoid insertOnEdge(Chain<E> toInsert, E point_src, E point_tgt)
toInsert
on an edge
that is defined by point_source
and point_target
.toInsert
- instrumentation to be added in the Chainpoint_src
- the source point of an edge in CFGpoint_tgt
- the target point of an edgeboolean remove(java.lang.Object u)
Object
to be compatible
with the Collection
interface.remove
in interface java.util.Collection<E>
void addFirst(E u)
void addLast(E u)
void removeFirst()
void removeLast()
boolean follows(E someObject, E someReferenceObject)
someObject
follows object someReferenceObject
in the Chain.E getFirst()
E getLast()
java.util.Iterator<E> snapshotIterator()
java.util.Iterator<E> iterator()
java.util.Iterator<E> iterator(E u)
java.util.Iterator<E> iterator(E head, E tail)
int size()
size
in interface java.util.Collection<E>
long getModificationCount()
java.util.Collection<E> getElementsUnsorted()