boomerang.results

Class AbstractBoomerangResults.Context

java.lang.Object

boomerang.results.AbstractBoomerangResults.Context

Enclosing class:

AbstractBoomerangResults<W extends wpds.impl.Weight>

public static class AbstractBoomerangResults.Context
extends Object

Constructor Summary

Constructors

Constructor and Description
Context(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node, ForwardQuery forwardQuery)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
wpds.impl.PAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>>	getClosingContext()
wpds.impl.PAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>>	getOpeningContext()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

Context

public Context(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> node,
               ForwardQuery forwardQuery)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getOpeningContext

public wpds.impl.PAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> getOpeningContext()

getClosingContext

public wpds.impl.PAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> getClosingContext()