be.ac.umons.jsonvalidation

Class ValidationByAutomaton<L>

java.lang.Object

be.ac.umons.jsonvalidation.ValidationByAutomaton<L>

public class ValidationByAutomaton<L>
extends Object

An automaton-like object that checks whether a JSON document satisfies a JSON schema using an automaton, no matter the key-value pairs order.

It is constructed from a visibly pushdown automaton (VPA). Such an automaton can be constructed by hand or learned through an active learning algorithm (see the learning module in the repository).

A JSON document is accepted if there is a path from the initial location with empty stack to an accepting location with empty stack.

Due to the permutations, it is not possible in general to know the exact current locations in the VPA. Therefore, the permutation automaton performs a kind of subset construction. This means that the permutation automaton is deterministic, i.e., it is never required to backtrack while reading a document.

Author:

Gaëtan Staquet

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	accepts(List<JSONSymbol> input)
boolean	accepts(net.automatalib.words.Word<JSONSymbol> input)
ValidationState<L>	getInitialState()
long	getMaximalTimePathsKeyGraph()
long	getMaximalTimeSuccessorArray()
long	getMaximalTimeSuccessorObject()
long	getNumberOfTimesPathsKeyGraphComputed()
long	getNumberOfTimesSuccessorArray()
long	getNumberOfTimesSuccessorObject()
ValidationState<L>	getState(Iterable<JSONSymbol> input)
ValidationState<L>	getSuccessor(ValidationState<L> state, JSONSymbol currentSymbol, JSONSymbol nextSymbol)
long	getTotalTimePathsKeyGraph()
long	getTotalTimeSuccessorArray()
long	getTotalTimeSuccessorObject()
boolean	isAccepting(ValidationState<L> state)
void	resetTimeAndNumber()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValidationByAutomaton

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

ValidationByAutomaton

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

Method Detail

getInitialState

public ValidationState<L> getInitialState()

isAccepting

public boolean isAccepting(ValidationState<L> state)

getMaximalTimePathsKeyGraph

public long getMaximalTimePathsKeyGraph()

getNumberOfTimesPathsKeyGraphComputed

public long getNumberOfTimesPathsKeyGraphComputed()

getTotalTimePathsKeyGraph

public long getTotalTimePathsKeyGraph()

getMaximalTimeSuccessorObject

public long getMaximalTimeSuccessorObject()

getNumberOfTimesSuccessorObject

public long getNumberOfTimesSuccessorObject()

getTotalTimeSuccessorObject

public long getTotalTimeSuccessorObject()

getMaximalTimeSuccessorArray

public long getMaximalTimeSuccessorArray()

getNumberOfTimesSuccessorArray

public long getNumberOfTimesSuccessorArray()

getTotalTimeSuccessorArray

public long getTotalTimeSuccessorArray()

resetTimeAndNumber

public void resetTimeAndNumber()

accepts

public boolean accepts(List<JSONSymbol> input)

accepts

public boolean accepts(net.automatalib.words.Word<JSONSymbol> input)

getState

public ValidationState<L> getState(Iterable<JSONSymbol> input)

getSuccessor

public ValidationState<L> getSuccessor(ValidationState<L> state,
                                       JSONSymbol currentSymbol,
                                       JSONSymbol nextSymbol)