be.ac.umons.jsonvalidation.graph

Class OnAcceptingPathRelation<L>

java.lang.Object

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

Type Parameters:

L - Location type

All Implemented Interfaces:

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

public class OnAcceptingPathRelation<L>
extends Object

Stores the locations that are on an accepting location. A location is on an accepting location is it is on path from the initial configuration to an accepting configuration. In the paper, this relation is called Z_A.

Author:

Gaëtan Staquet

Method Summary

Modifier and Type	Method and Description
boolean	areInRelation(L start, L target) Tests whether the two locations are in relation.
static <L1,L2> OnAcceptingPathRelation<L2>	computeRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis, OnAcceptingPathRelation<L1> previousRelation, net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis, ReachabilityRelation<L2> reachabilityRelation, boolean computeWitnesses) Computes the relation, using the previously computed relation.
static <L> OnAcceptingPathRelation<L>	computeRelation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, ReachabilityRelation<L> reachabilityRelation, boolean computeWitnesses) Computes the relation from the provided automaton, and its reachability relation.
boolean	equals(Object obj)
net.automatalib.words.Word<JSONSymbol>	getWitnessFromIntermediate(L intermediate) Gets the witness from the provided intermediate location to an accepting location, if it belongs to the relation.
net.automatalib.words.Word<JSONSymbol>	getWitnessToIntermediate(L intermediate) Gets the witness from the initial location to the provided intermediate location, if it belongs to the relation.
int	hashCode()
L	identifyBinLocation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton) Identifies the bin location in the automaton
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

Method Detail

getWitnessToIntermediate

@Nullable
public net.automatalib.words.Word<JSONSymbol> getWitnessToIntermediate(L intermediate)

Gets the witness from the initial location to the provided intermediate location, if it belongs to the relation.

Parameters:

intermediate - The intermediate location

Returns:

The witness, if it exists

getWitnessFromIntermediate

@Nullable
public net.automatalib.words.Word<JSONSymbol> getWitnessFromIntermediate(L intermediate)

Gets the witness from the provided intermediate location to an accepting location, if it belongs to the relation.

Parameters:

intermediate - The intermediate location

Returns:

The witness, if it exists

identifyBinLocation

public L identifyBinLocation(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton)

Identifies the bin location in the automaton

Parameters:

automaton - The automaton

Returns:

The bin location

computeRelation

public static <L1,L2> OnAcceptingPathRelation<L2> computeRelation(net.automatalib.automata.vpda.OneSEVPA<L1,JSONSymbol> previousHypothesis,
                                                                  OnAcceptingPathRelation<L1> previousRelation,
                                                                  net.automatalib.automata.vpda.OneSEVPA<L2,JSONSymbol> currentHypothesis,
                                                                  ReachabilityRelation<L2> reachabilityRelation,
                                                                  boolean computeWitnesses)

Computes the relation, using the previously computed 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 current relation

Parameters:

previousHypothesis - The previous hypothesis

previousRelation - The previous relation

currentHypothesis - The current hypothesis

reachabilityRelation - The reachability relation

computeWitnesses - Whether to compute the witnesses

Returns:

The relation

computeRelation

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

Computes the relation from the provided automaton, and its reachability relation.

Type Parameters:

L - Location type

Parameters:

automaton - The automaton

reachabilityRelation - The reachability relation

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>