Uses of Class
be.ac.umons.jsonvalidation.PairSourceToReached

Packages that use PairSourceToReached

Package	Description
be.ac.umons.jsonvalidation	Implementation of a validation algorithm for JSON documents relying on a learned 1-SEVPA.
be.ac.umons.jsonvalidation.graph	Implementations of reachability relation and key graph for a VPA accepting JSON documents.

Uses of PairSourceToReached in be.ac.umons.jsonvalidation

Methods in be.ac.umons.jsonvalidation that return PairSourceToReached

Modifier and Type	Method and Description
static <L> PairSourceToReached<L>	PairSourceToReached.of(L sourceLocation, L reachedLocation)
PairSourceToReached<L>	PairSourceToReached.transitionToReached(L reachedLocation) Creates a new pair with the current source location, and the new reached location.

Methods in be.ac.umons.jsonvalidation that return types with arguments of type PairSourceToReached

Modifier and Type	Method and Description
static <L> Set<PairSourceToReached<L>>	PairSourceToReached.getIdentityPairs(Collection<L> locations)
Set<PairSourceToReached<L>>	ValidationState.getSourceToReachedLocations()

Constructor parameters in be.ac.umons.jsonvalidation with type arguments of type PairSourceToReached

Constructor and Description
ValidationState(Set<PairSourceToReached<L>> sourceToReachedLocations, be.ac.umons.jsonvalidation.ValidationStackContents<L> stack)

Uses of PairSourceToReached in be.ac.umons.jsonvalidation.graph

Methods in be.ac.umons.jsonvalidation.graph that return PairSourceToReached

Modifier and Type	Method and Description
PairSourceToReached<L>	NodeInGraph.getPairLocations()