|
JIVE Platform Release 0.3.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ContourModel
A contour model is a representation of program execution state.
Nested Class Summary | |
---|---|
static interface |
ContourModel.Exporter
An exporter for a contour model. |
static interface |
ContourModel.Importer
A builder interface for a contour model. |
static interface |
ContourModel.Listener
Listener interface for contour model changes. |
static interface |
ContourModel.Visitor
A visitor interface for the contour model. |
Method Summary | |
---|---|
void |
addListener(ContourModel.Listener listener)
Register a listener. |
boolean |
contains(Contour contour)
Check if the contour model contains a specific contour. |
boolean |
contains(ContourID id)
Check if the contour model contains a specific contour by ID. |
int |
countChildren(Contour parent)
Count the number of children of a specific contour. |
int |
countChildren(ContourID parent)
Count the number of children of a specific contour. |
void |
export(ContourModel.Exporter exporter)
Export this contour model (a snapshot of program execution) to a reverse-builder. |
List<Contour> |
getChildren(Contour parent)
Get the children of a specific contour. |
List<ContourID> |
getChildren(ContourID parentID)
Get the children of a specific contour. |
List<ContourID> |
getChildren(ContourID parentID,
List<ContourID> result)
Get the children of a specific contour. |
List<Contour> |
getChildren(Contour parent,
List<Contour> result)
Get the children of a specific contour. |
Contour |
getContour(ContourID id)
Get the contour associated with a specific contour ID. |
ReentrantLock |
getModelLock()
Get the lock object for synchronized reading and writing to the model. |
Contour |
getParent(Contour contour)
Get the parent (enclosing contour) of a specific contour. |
ContourID |
getParent(ContourID id)
Get the parent (enclosing contour) of a specific contour, by its id. |
List<Contour> |
getRoots()
Get the root contours. |
List<Contour> |
getRoots(List<Contour> result)
Get the root contours. |
void |
removeListener(ContourModel.Listener listener)
Unregister a listener |
int |
size()
Count the number of contours in this model. |
void |
visitBreadthFirst(ContourModel.Visitor visitor)
Process a visitor in breadth-first order. |
void |
visitDepthFirst(ContourModel.Visitor visitor)
Process a visitor in depth-first order. |
Methods inherited from interface java.lang.Iterable |
---|
iterator |
Method Detail |
---|
void visitDepthFirst(ContourModel.Visitor visitor)
visitor
- a visitorvoid visitBreadthFirst(ContourModel.Visitor visitor)
visitor
- a visitorvoid export(ContourModel.Exporter exporter)
exporter
- an exporter; a reverse-builderReentrantLock getModelLock()
boolean contains(Contour contour)
contour
-
boolean contains(ContourID id)
id
- the ID of the contour
Contour getContour(ContourID id)
id
- a contour identifier
ContourID getParent(ContourID id)
id
- the contour identifier for a contour
getParent(Contour)
,
getContour(ContourID)
Contour getParent(Contour contour)
contour
- the query contour
getParent(ContourID)
int countChildren(ContourID parent)
parent
- a parent contour
int countChildren(Contour parent)
parent
- a parent contour
List<ContourID> getChildren(ContourID parentID)
parentID
- the contour whose children are sought
List<ContourID> getChildren(ContourID parentID, List<ContourID> result)
parentID
- the contour whose children are soughtresult
- the list into which the result is put (may be null)
List<Contour> getChildren(Contour parent)
parent
- the contour whose children are sought
List<Contour> getChildren(Contour parent, List<Contour> result)
parent
- the contour whose children are soughtresult
- the list into which the result is put (may be null)
List<Contour> getRoots()
List<Contour> getRoots(List<Contour> result)
result
- the list into which the result is put (may be null)
int size()
void addListener(ContourModel.Listener listener)
listener
- void removeListener(ContourModel.Listener listener)
listener
-
|
JIVE Platform Release 0.3.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |