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

Packages that use KeyGraph

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 KeyGraph in be.ac.umons.jsonvalidation

Constructors in be.ac.umons.jsonvalidation with parameters of type KeyGraph

Constructor and Description
ValidationByAutomaton(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, KeyGraph<L> graph)

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

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

Modifier and Type	Method and Description
static <L> KeyGraph<L>	KeyGraph.graphFor(net.automatalib.automata.vpda.OneSEVPA<L,JSONSymbol> automaton, boolean checkGraph) Constructs the key graph for the provided automaton.

Methods in be.ac.umons.jsonvalidation.graph with parameters of type KeyGraph

Modifier and Type	Method and Description
static <L> void	KeyGraphToDot.write(KeyGraph<L> graph, Appendable output) Describes the provided key graph using DOT file format.