be.ac.umons.jsonvalidation.graph

Class NodeInGraph<L>

java.lang.Object

be.ac.umons.jsonvalidation.graph.NodeInGraph<L>

Type Parameters:

L - Location type

public class NodeInGraph<L>
extends Object

A node in a KeyGraph. It is labeled by a triplet from the reachability relation. For each location p in the VPA, it has a boolean indicating whether the target state of the triplet can read a return symbol and pop the stack symbol corresponding to p.

Author:

Gaëtan Staquet

Constructor Summary

Constructors

Constructor and Description
NodeInGraph(L startLocation, L targetLocation, JSONSymbol symbol, net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, L binLocation)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
PairSourceToReached<L>	getPairLocations()
L	getStartLocation()
JSONSymbol	getSymbol()
L	getTargetLocation()
int	hashCode()
boolean	isAcceptingForLocation(int locationId)
boolean	isOnPathToAcceptingForLocation(int locationId)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeInGraph

public NodeInGraph(L startLocation,
                   L targetLocation,
                   JSONSymbol symbol,
                   net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton,
                   L binLocation)

Method Detail

getSymbol

public JSONSymbol getSymbol()

getStartLocation

public L getStartLocation()

getTargetLocation

public L getTargetLocation()

getPairLocations

public PairSourceToReached<L> getPairLocations()

isAcceptingForLocation

public boolean isAcceptingForLocation(int locationId)

isOnPathToAcceptingForLocation

public boolean isOnPathToAcceptingForLocation(int locationId)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object