be.ac.umons.jsonvalidation.graph

Class ReachabilityRelation<L>

java.lang.Object

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

Type Parameters:

L - Location type

All Implemented Interfaces:

Iterable<be.ac.umons.jsonvalidation.graph.InReachabilityRelation<L>>

public class ReachabilityRelation<L>
extends Object

A relation storing the fact that there is path from a location to another location such that the stack contents is the same at the beginning and at the end.

Author:

Gaëtan Staquet

Constructor Summary

Constructors

Constructor and Description
ReachabilityRelation()

Method Summary

Modifier and Type	Method and Description
boolean	areInRelation(L start, L target) Tests whether the two locations are in relation.
ReachabilityRelation<L>	computePotentialValueReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, boolean computeWitnesses) Computes a subset of this reachability relation such that the witnesses that go from one location to the other by reading a potential value in a JSON document, i.e., what follows a key symbol.
static <L1,L2> ReachabilityRelation<L2>	computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, ReachabilityRelation<L1> previousReachabilityRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, boolean computeWitnesses) Computes the relation for the automaton, using information computed in a previous relation.
static <L> ReachabilityRelation<L>	computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, boolean computeWitnesses) Computes the relation for the automaton
boolean	equals(Object obj)
int	hashCode()
Iterator<C>	iterator()
protected void	set(L start, L target, C cell)
int	size() Returns the size of the relation, i.e., the number of cells in the matrix.
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ReachabilityRelation

public ReachabilityRelation()

Method Detail

computePotentialValueReachabilityRelation

public ReachabilityRelation<L> computePotentialValueReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton,
                                                                         boolean computeWitnesses)

Computes a subset of this reachability relation such that the witnesses that go from one location to the other by reading a potential value in a JSON document, i.e., what follows a key symbol.

Parameters:

automaton - The automaton

computeWitnesses - Whether to compute the witnesses

Returns:

The subset of the relation

computeReachabilityRelation

public static <L> ReachabilityRelation<L> computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton,
                                                                      boolean computeWitnesses)

Computes the relation for the automaton

Type Parameters:

L - Location type

Parameters:

automaton - The automaton

computeWitnesses - Whether to compute the witnesses

Returns:

The relation

computeReachabilityRelation

public static <L1,L2> ReachabilityRelation<L2> computeReachabilityRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis,
                                                                           ReachabilityRelation<L1> previousReachabilityRelation,
                                                                           net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis,
                                                                           boolean computeWitnesses)

Computes the relation for the automaton, using information computed in a previous relation. That is, this function reduces the number of iterations of the algorithm by recycling information from a previous relation.

Type Parameters:

L1 - Location type of the previous relation

L2 - Location type of the new relation

Parameters:

previousHypothesis - The previous automaton

previousReachabilityRelation - The previous relation

currentHypothesis - The current automaton

computeWitnesses - Whether to compute the witnesses

Returns:

The relation

areInRelation

public boolean areInRelation(L start,
                             L target)

Tests whether the two locations are in relation.

Parameters:

start - The first location

target - The second location

Returns:

True if and only if start and target are in relation

set

protected void set(L start,
                   L target,
                   C cell)

size

public int size()

Returns the size of the relation, i.e., the number of cells in the matrix.

Returns:

The size

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

iterator

public Iterator<C> iterator()

Specified by:

iterator in interface Iterable<C>