org.apache.commons.graph.contract
Class AcyclicContract

java.lang.Object
  org.apache.commons.graph.contract.AcyclicContract

All Implemented Interfaces:

Contract

public class AcyclicContract

extends java.lang.Object

implements Contract

Description of the Class

Nested Class Summary

class

AcyclicContract.CycleDetector Description of the Class

Field Summary

private DDirectedGraph

graph

Constructor Summary

AcyclicContract()
Constructor for the AcyclicContract object

Method Summary

void	addEdge(Edge e, Vertex start, Vertex end) Adds a feature to the Edge attribute of the AcyclicContract object
void	addVertex(Vertex v) Adds a feature to the Vertex attribute of the AcyclicContract object
java.lang.Class	getInterface() Gets the interface attribute of the AcyclicContract object
void	removeEdge(Edge e) Description of the Method
void	removeVertex(Vertex v) Description of the Method
void	setImpl(DirectedGraph graph) Sets the impl attribute of the AcyclicContract object
void	verify() Description of the Method

Methods inherited from class java.lang.Object

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

Field Detail

graph

private DDirectedGraph graph

Constructor Detail

AcyclicContract

public AcyclicContract()

Constructor for the AcyclicContract object

Method Detail

setImpl

public void setImpl(DirectedGraph graph)

Sets the impl attribute of the AcyclicContract object

Specified by:

setImpl in interface Contract

getInterface

public java.lang.Class getInterface()

Gets the interface attribute of the AcyclicContract object

Specified by:

getInterface in interface Contract

verify

public void verify()
            throws CycleException

Description of the Method

Specified by:

verify in interface Contract

Throws:

CycleException

addVertex

public void addVertex(Vertex v)

Adds a feature to the Vertex attribute of the AcyclicContract object

Specified by:

addVertex in interface Contract

addEdge

public void addEdge(Edge e,
                    Vertex start,
                    Vertex end)
             throws GraphException

Adds a feature to the Edge attribute of the AcyclicContract object

Specified by:

addEdge in interface Contract

Throws:

GraphException

removeVertex

public void removeVertex(Vertex v)

Description of the Method

Specified by:

removeVertex in interface Contract

removeEdge

public void removeEdge(Edge e)

Description of the Method

Specified by:

removeEdge in interface Contract