Package org.mpi_sws.jmc.strategies.trust

Class BackwardRevisitView

java.lang.Object

org.mpi_sws.jmc.strategies.trust.BackwardRevisitView

public class BackwardRevisitView
extends Object

Represents a restricted view of the execution graph. Some nodes are removed and some relations are updated.

Constructor Summary

Constructors

Constructor	Description
BackwardRevisitView(ExecutionGraph graph, ExecutionGraphNode read, ExecutionGraphNode write)	Creates a new backward revisit view.

Method Summary

Modifier and Type	Method	Description
Event	additionalEvent()
ExecutionGraphNode	getRead()
ExecutionGraph	getRestrictedGraph()	Gets the restricted graph.
ExecutionGraphNode	getWrite()
boolean	isMaximalExtension()	Checks if the restricted view is a maximal extension
void	removeNode(Event.Key key)	Just marks the node as removed, does not update the graph

Methods inherited from class java.lang.Object

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

Constructor Details

BackwardRevisitView

public BackwardRevisitView(ExecutionGraph graph,
 ExecutionGraphNode read,
 ExecutionGraphNode write)

Creates a new backward revisit view.

Parameters:

graph - The execution graph.

read - The read event.

write - The write event.

Method Details

getWrite

public ExecutionGraphNode getWrite()

getRead

public ExecutionGraphNode getRead()

removeNode

public void removeNode(Event.Key key)

Just marks the node as removed, does not update the graph

isMaximalExtension

public boolean isMaximalExtension()

Checks if the restricted view is a maximal extension

Meta: Breaks the separation of concerns. Is part of the core logic of the Trust algorithm

getRestrictedGraph

public ExecutionGraph getRestrictedGraph()

Gets the restricted graph.

Returns:

The restricted graph

additionalEvent

public Event additionalEvent()