|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Contract
Description of the Interface
Method Summary | |
---|---|
void |
addEdge(Edge e,
Vertex start,
Vertex end)
Adds a feature to the Edge attribute of the Contract object |
void |
addVertex(Vertex v)
Adds a feature to the Vertex attribute of the Contract object |
java.lang.Class |
getInterface()
getInterface This returns the marker interface which is associated with the Contract. |
void |
removeEdge(Edge e)
Description of the Method |
void |
removeVertex(Vertex v)
Description of the Method |
void |
setImpl(DirectedGraph impl)
The impl that gets passed in is read-only. |
void |
verify()
verify - This verifies that the graph it is working on complies. |
Method Detail |
---|
void setImpl(DirectedGraph impl)
java.lang.Class getInterface()
void verify() throws GraphException
GraphException
void addEdge(Edge e, Vertex start, Vertex end) throws GraphException
GraphException
void addVertex(Vertex v) throws GraphException
GraphException
void removeEdge(Edge e) throws GraphException
GraphException
void removeVertex(Vertex v) throws GraphException
GraphException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |