|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object vishnu.model.transactions.deadlock.WaitsForGraph
public class WaitsForGraph
Esta implementacion de la interfaz Graph arma el grafo de dependencias entre las transacciones activas del motor.
Constructor Summary | |
---|---|
WaitsForGraph(java.util.Collection<Transaction> ts)
|
Method Summary | |
---|---|
void |
add(Transaction node)
Agrega un nodo al grafo. |
void |
addEdge(Transaction origin,
Transaction end)
Agrega un eje al grafo entre los nodos especificados. |
void |
clear()
Borra el grafo. |
boolean |
contains(Transaction node)
Indica si el grafo contiene el nodo especificado. |
boolean |
containsEdge(Transaction origin,
Transaction end)
Indica si el grafo contiene un eje entre los nodos especificados. |
java.util.List<Transaction> |
neighbors(Transaction node)
La lista de nodos con ejes incidentes que parten del nodo especificado |
java.util.List<Transaction> |
nodes()
La lista de nodos del grafo. |
void |
remove(Transaction node)
Saca un nodo del grafo. |
void |
removeEdge(Transaction origin,
Transaction end)
Elimina un eje al grafo entre los nodos especificados. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public WaitsForGraph(java.util.Collection<Transaction> ts)
Method Detail |
---|
public void add(Transaction node)
Graph
add
in interface Graph<Transaction>
node
- - el nuevo nodo del grafo.public void remove(Transaction node)
Graph
remove
in interface Graph<Transaction>
node
- - el nodo a eliminar del grafo.public boolean contains(Transaction node)
Graph
contains
in interface Graph<Transaction>
node
- - el nodo.
public void addEdge(Transaction origin, Transaction end)
Graph
addEdge
in interface Graph<Transaction>
origin
- - el nodo de salida del eje.end
- - eń nodo de llegada del eje.public void removeEdge(Transaction origin, Transaction end)
Graph
removeEdge
in interface Graph<Transaction>
origin
- - el nodo de salida del eje.end
- - eń nodo de llegada del eje.public boolean containsEdge(Transaction origin, Transaction end)
Graph
containsEdge
in interface Graph<Transaction>
origin
- - el nodo de salida del eje.end
- - eń nodo de llegada del eje.
public java.util.List<Transaction> nodes()
Graph
nodes
in interface Graph<Transaction>
public java.util.List<Transaction> neighbors(Transaction node)
Graph
neighbors
in interface Graph<Transaction>
node
- - el nodo.
public void clear()
Graph
clear
in interface Graph<Transaction>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |