Uses of Class
be.ac.umons.jsonvalidation.graph.NodeInGraph

Packages that use NodeInGraph

Package	Description
be.ac.umons.jsonvalidation.graph	Implementations of reachability relation and key graph for a VPA accepting JSON documents.

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

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

Modifier and Type	Method and Description
List<NodeInGraph<L>>	KeyGraph.getNodesForKey(JSONSymbol key) Gets all the nodes that can read the given key.

Method parameters in be.ac.umons.jsonvalidation.graph with type arguments of type NodeInGraph

Modifier and Type

Method and Description

Set<L>

KeyGraph.getLocationsWithReturnTransitionOnUnmarkedPathsWithAllKeysSeen(Set<JSONSymbol> seenKeys, Collection<L> locationsBeforeCall, Collection<NodeInGraph<L>> rejectedNodes) Gets all the locations in the VPA such that it is possible to read a closing curly brace and there is a path in the graph such that none of its node is marked as rejected and all the keys seen while processing the input are exactly seen on the path.