A B C E F G H I J K M N O P R S T U V W

A

AbstractJSONConformance<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>> - Class in be.ac.umons.jsonlearning

Base class for equivalence checks based on conformance testing of JSON documents.

AbstractJSONConformance(int, boolean, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.AbstractJSONConformance

AbstractJSONEquivalenceOracle<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>> - Class in be.ac.umons.jsonlearning.random

Base class for (full) equivalence queries using a random JSON documents generator.

AbstractJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>, Collection<JSONObject>) - Constructor for class be.ac.umons.jsonlearning.random.AbstractJSONEquivalenceOracle

AbstractRandomJSONConformance<A extends net.automatalib.ts.acceptors.DeterministicAcceptorTS<?,JSONSymbol>> - Class in be.ac.umons.jsonlearning.random

Base class for (partial) equivalence queries using a random generator.

AbstractRandomJSONConformance(int, boolean, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance

accepts(List<JSONSymbol>) - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

accepts(Word<JSONSymbol>) - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

answerQuery(Word<JSONSymbol>, Word<JSONSymbol>) - Method in class be.ac.umons.jsonlearning.JSONCounterValueOracle

answerQuery(Word<JSONSymbol>) - Method in class be.ac.umons.jsonlearning.JSONMembershipOracle

answerQuery(Word<JSONSymbol>, Word<JSONSymbol>) - Method in class be.ac.umons.jsonlearning.JSONMembershipOracle

B

be.ac.umons.jsonlearning - package be.ac.umons.jsonlearning

Oracles for learning an automaton from a JSON document.

be.ac.umons.jsonlearning.exploration - package be.ac.umons.jsonlearning.exploration

Equivalence oracles for JSON documents based on an exhaustive JSON documents generator.

be.ac.umons.jsonlearning.random - package be.ac.umons.jsonlearning.random

Equivalence oracles for JSON documents based on a random JSON documents generator.

be.ac.umons.jsonvalidation - package be.ac.umons.jsonvalidation

Implementation of a validation algorithm for JSON documents relying on a learned 1-SEVPA.

be.ac.umons.jsonvalidation.graph - package be.ac.umons.jsonvalidation.graph

Implementations of reachability relation and key graph for a VPA accepting JSON documents.

C

callToReturn() - Method in class be.ac.umons.jsonvalidation.JSONSymbol

If the current symbol is a call, returns the corresponding return symbol.

canGenerateInvalid() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

checkDocument(A, JSONObject) - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

checkWord(A, Word<JSONSymbol>) - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

closingBracketSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

closingCurlyBraceSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

commaSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

compareTo(JSONSymbol) - Method in class be.ac.umons.jsonvalidation.JSONSymbol

computePotentialValueReachabilityRelation(OneSEVPA<L, JSONSymbol>, boolean) - Method in class be.ac.umons.jsonvalidation.graph.ReachabilityRelation

Computes a subset of this reachability relation such that the witnesses that go from one location to the other by reading a potential value in a JSON document, i.e., what follows a key symbol.

computeReachabilityRelation(OneSEVPA<L, JSONSymbol>, boolean) - Static method in class be.ac.umons.jsonvalidation.graph.ReachabilityRelation

Computes the relation for the automaton

computeReachabilityRelation(OneSEVPA<L1, JSONSymbol>, ReachabilityRelation<L1>, OneSEVPA<L2, JSONSymbol>, boolean) - Static method in class be.ac.umons.jsonvalidation.graph.ReachabilityRelation

Computes the relation for the automaton, using information computed in a previous relation.

computeRelation(OneSEVPA<L1, JSONSymbol>, OnAcceptingPathRelation<L1>, OneSEVPA<L2, JSONSymbol>, ReachabilityRelation<L2>, boolean) - Static method in class be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

Computes the relation, using the previously computed relation.

computeRelation(OneSEVPA<L, JSONSymbol>, ReachabilityRelation<L>, boolean) - Static method in class be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

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

counterexample - Variable in class be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

counterexampleAndRelationFromKeyGraph(OneSEVPA<L, JSONSymbol>) - Method in interface be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

Constructs the key graph for the hypothesis and, if it is invalid, provides a counterexample.

counterexampleAndRelationFromKeyGraph(OneSEVPA<L1, JSONSymbol>, ReachabilityRelation<L1>, OnAcceptingPathRelation<L1>, OneSEVPA<L2, JSONSymbol>) - Method in interface be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

Constructs the key graph for the hypothesis by reusing information computed at the previous equivalence query and, if it is invalid, provides a counterexample.

counterexampleByLoopingOverInitial(OneSEVPA<L, JSONSymbol>, Random) - Method in interface be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

If there is a loop over the initial location reading an internal symbol, we can construct a counterexample by concatenating the symbol with a word that is accepted by the hypothesis.

counterexampleFromKeyGraph(OneSEVPA<L, JSONSymbol>) - Method in interface be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle

Constructs the key graph for the hypothesis and, if it is invalid, provides a counterexample.

CounterexampleWithRelations(DefaultQuery<JSONSymbol, Boolean>, ReachabilityRelation<L>, OnAcceptingPathRelation<L>) - Constructor for class be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

countUnmatched(String) - Static method in class be.ac.umons.jsonlearning.Utils

Counts the number of unmatched { and [ in a String.

E

enumSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

equals(Object) - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

equals(Object) - Method in class be.ac.umons.jsonvalidation.JSONSymbol

equals(Object) - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

escapeSymbolsForJSON(String) - Static method in class be.ac.umons.jsonlearning.Utils

We escape the "\S", "\E", "\I", and "\D" symbols in the document (to avoid errors from JSONObject).

F

falseSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

findCounterExample(OneSEVPA<?, JSONSymbol>, Collection<? extends JSONSymbol>) - Method in class be.ac.umons.jsonlearning.exploration.VPDAJSONEquivalenceOracle

findCounterExample(A) - Method in class be.ac.umons.jsonlearning.random.AbstractJSONEquivalenceOracle

findCounterExample(A, int) - Method in class be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance

findCounterExample(DFA<?, JSONSymbol>, Collection<? extends JSONSymbol>) - Method in class be.ac.umons.jsonlearning.random.JSONPartialEquivalenceOracle

findCounterExample(ROCAFromDescription<?, JSONSymbol>, Collection<? extends JSONSymbol>) - Method in class be.ac.umons.jsonlearning.random.ROCAJSONEquivalenceOracle

findCounterExample(VCAFromDescription<?, JSONSymbol>, Collection<? extends JSONSymbol>) - Method in class be.ac.umons.jsonlearning.random.VCAJSONEquivalenceOracle

findCounterExample(OneSEVPA<?, JSONSymbol>, Collection<? extends JSONSymbol>) - Method in class be.ac.umons.jsonlearning.random.VPDAJSONEquivalenceOracle

fromJSONDocumentToJSONSymbolWord(JSONObject) - Static method in class be.ac.umons.jsonvalidation.WordConversion

fromJSONDocumentToJSONSymbolWord(JSONObject, boolean, Random) - Static method in class be.ac.umons.jsonvalidation.WordConversion

fromJSONSymbolWordToString(Word<JSONSymbol>) - Static method in class be.ac.umons.jsonvalidation.WordConversion

G

generateGibberish() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getAlphabet() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getIdentityPairs(Collection<L>) - Static method in class be.ac.umons.jsonvalidation.PairSourceToReached

getInitialState() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getLocationsReadingKey(JSONSymbol) - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

Gets all the locations for which there exists an internal transition reading the given key.

getLocationsWithReturnTransitionOnUnmarkedPathsWithAllKeysSeen(Set<JSONSymbol>, Collection<L>, Collection<NodeInGraph<L>>) - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

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.

getMaximalTimePathsKeyGraph() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getMaximalTimeSuccessorArray() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getMaximalTimeSuccessorObject() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getMaxItems() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getMaxProperties() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getNodesForKey(JSONSymbol) - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

Gets all the nodes that can read the given key.

getNumberOfTimesPathsKeyGraphComputed() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getNumberOfTimesSuccessorArray() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getNumberOfTimesSuccessorObject() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getPairLocations() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

getRandom() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getReachedLocation() - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

getReachedLocations() - Method in class be.ac.umons.jsonvalidation.ValidationState

getSchema() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

getSourceLocation() - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

getSourceToReachedLocations() - Method in class be.ac.umons.jsonvalidation.ValidationState

getStack() - Method in class be.ac.umons.jsonvalidation.ValidationState

getStartLocation() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

getState(Iterable<JSONSymbol>) - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getSuccessor(ValidationState<L>, JSONSymbol, JSONSymbol) - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getSymbol() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

getTargetLocation() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

getTotalTimePathsKeyGraph() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getTotalTimeSuccessorArray() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getTotalTimeSuccessorObject() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

getWitnessFromIntermediate(L) - Method in class be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

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

getWitnessInvalid() - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

If the graph is invalid, provides a witness.

getWitnessToIntermediate(L) - Method in class be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

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

graphFor(OneSEVPA<L, JSONSymbol>, boolean) - Static method in class be.ac.umons.jsonvalidation.graph.KeyGraph

Constructs the key graph for the provided automaton.

H

hashCode() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

hashCode() - Method in class be.ac.umons.jsonvalidation.JSONSymbol

hashCode() - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

I

identifyBinLocation(OneSEVPA<L, JSONSymbol>) - Method in class be.ac.umons.jsonvalidation.graph.OnAcceptingPathRelation

Identifies the bin location in the automaton

integerSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

isAccepting(ValidationState<L>) - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

isAcceptingForLocation(int) - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

isOnPathToAcceptingForLocation(int) - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

isValid() - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

Whether the graph does not contain a path where the same key is seen multiple times.

IVPDAJSONEquivalenceOracle - Interface in be.ac.umons.jsonlearning

The common interface for equivalence oracles for VPDAs.

IVPDAJSONEquivalenceOracle.CounterexampleWithRelations<L> - Class in be.ac.umons.jsonlearning

The ReachabilityRelation and OnAcceptingPathRelation computed to construct a key graph, and a counterexample.

J

JSONCounterValueOracle - Class in be.ac.umons.jsonlearning

Counter value oracle for JSON documents.

JSONCounterValueOracle() - Constructor for class be.ac.umons.jsonlearning.JSONCounterValueOracle

JSONMembershipOracle - Class in be.ac.umons.jsonlearning

Membership oracle for JSON documents.

JSONMembershipOracle(JSONSchema) - Constructor for class be.ac.umons.jsonlearning.JSONMembershipOracle

JSONPartialEquivalenceOracle - Class in be.ac.umons.jsonlearning.exploration

Partial equivalence oracle for JSON documents.

JSONPartialEquivalenceOracle(int, boolean, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.exploration.JSONPartialEquivalenceOracle

JSONPartialEquivalenceOracle - Class in be.ac.umons.jsonlearning.random

Partial equivalence oracle for JSON documents.

JSONPartialEquivalenceOracle(int, boolean, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.random.JSONPartialEquivalenceOracle

JSONSymbol - Class in be.ac.umons.jsonvalidation

An abstracted symbol used in JSON documents learning and validation.

K

KeyGraph<L> - Class in be.ac.umons.jsonvalidation.graph

A key graph is a directed graph constructed from ReachabilityRelation for a 1-SEVPA recognizing JSON documents.

KeyGraph(OneSEVPA<L, JSONSymbol>, ReachabilityRelation<L>, OnAcceptingPathRelation<L>, boolean) - Constructor for class be.ac.umons.jsonvalidation.graph.KeyGraph

Constructs the key graph using the VPA, its ReachabilityRelation, and its OnAcceptingPathRelation.

KeyGraphToDot - Class in be.ac.umons.jsonvalidation.graph

Implements utilities to write a KeyGraph as the contents of a DOT file.

KeyGraphToDot() - Constructor for class be.ac.umons.jsonvalidation.graph.KeyGraphToDot

M

MAX_NUMBER_SYMBOLS_GIBBERISH - Static variable in class be.ac.umons.jsonlearning.AbstractJSONConformance

N

NodeInGraph<L> - Class in be.ac.umons.jsonvalidation.graph

A node in a KeyGraph.

NodeInGraph(L, L, JSONSymbol, OneSEVPA<L, JSONSymbol>, L) - Constructor for class be.ac.umons.jsonvalidation.graph.NodeInGraph

nullSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

numberSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

numberTests() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

O

of(L, L) - Static method in class be.ac.umons.jsonvalidation.PairSourceToReached

onAcceptingPathRelation - Variable in class be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

OnAcceptingPathRelation<L> - Class in be.ac.umons.jsonvalidation.graph

Stores the locations that are on an accepting location.

openingBracketSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

openingCurlyBraceSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

P

PairSourceToReached<L> - Class in be.ac.umons.jsonvalidation

A pair of two locations such that it is possible to go from the first to the second.

primitiveValuesAlphabet - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

Contains the symbols for enum, false, integer, null, number, string, and true.

R

reachabilityRelation - Variable in class be.ac.umons.jsonlearning.IVPDAJSONEquivalenceOracle.CounterexampleWithRelations

ReachabilityRelation<L> - Class in be.ac.umons.jsonvalidation.graph

A relation storing the fact that there is path from a location to another location such that the stack contents is the same at the beginning and at the end.

ReachabilityRelation() - Constructor for class be.ac.umons.jsonvalidation.graph.ReachabilityRelation

resetTimeAndNumber() - Method in class be.ac.umons.jsonvalidation.ValidationByAutomaton

ROCAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.exploration

Specialization of AbstractExplorationJSONConformance for ROCAs.

ROCAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.exploration.ROCAJSONEquivalenceOracle

ROCAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.random

Specialization of AbstractJSONEquivalenceOracle for VPDAs.

ROCAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>, Collection<JSONObject>) - Constructor for class be.ac.umons.jsonlearning.random.ROCAJSONEquivalenceOracle

S

setCounterLimit(int) - Method in class be.ac.umons.jsonlearning.exploration.JSONPartialEquivalenceOracle

setCounterLimit(int) - Method in class be.ac.umons.jsonlearning.random.JSONPartialEquivalenceOracle

shouldShuffleKeys() - Method in class be.ac.umons.jsonlearning.AbstractJSONConformance

size() - Method in class be.ac.umons.jsonvalidation.graph.KeyGraph

The size of the key graph, i.e., the number of vertices.

stringSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

T

toString() - Method in class be.ac.umons.jsonvalidation.graph.NodeInGraph

toString() - Method in class be.ac.umons.jsonvalidation.JSONSymbol

toString() - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

toSymbol(String) - Static method in class be.ac.umons.jsonvalidation.JSONSymbol

toSymbol(Character) - Static method in class be.ac.umons.jsonvalidation.JSONSymbol

toWord(String...) - Static method in class be.ac.umons.jsonvalidation.JSONSymbol

transitionToReached(L) - Method in class be.ac.umons.jsonvalidation.PairSourceToReached

Creates a new pair with the current source location, and the new reached location.

trueSymbol - Static variable in class be.ac.umons.jsonvalidation.JSONSymbol

U

Utils - Class in be.ac.umons.jsonlearning

Utility functions for oracles.

V

ValidationByAutomaton<L> - Class in be.ac.umons.jsonvalidation

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

ValidationByAutomaton(OneSEVPA<L, JSONSymbol>) - Constructor for class be.ac.umons.jsonvalidation.ValidationByAutomaton

ValidationByAutomaton(OneSEVPA<L, JSONSymbol>, KeyGraph<L>) - Constructor for class be.ac.umons.jsonvalidation.ValidationByAutomaton

ValidationState<L> - Class in be.ac.umons.jsonvalidation

The current state in an execution of ValidationByAutomaton.

ValidationState(Set<PairSourceToReached<L>>, ValidationStackContents<L>) - Constructor for class be.ac.umons.jsonvalidation.ValidationState

validWord(String) - Static method in class be.ac.umons.jsonlearning.Utils

Tests whether the provided string encodes a valid JSON document.

VCAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.exploration

Specialization of AbstractExplorationJSONConformanceVisiblyAlphabet for VCAs.

VCAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, VPDAlphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.exploration.VCAJSONEquivalenceOracle

VCAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.random

Specialization of AbstractJSONEquivalenceOracle for VPDAs.

VCAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>, Collection<JSONObject>) - Constructor for class be.ac.umons.jsonlearning.random.VCAJSONEquivalenceOracle

VPDAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.exploration

Specialization of AbstractExplorationJSONConformanceVisiblyAlphabet for VPDAs.

VPDAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, VPDAlphabet<JSONSymbol>) - Constructor for class be.ac.umons.jsonlearning.exploration.VPDAJSONEquivalenceOracle

VPDAJSONEquivalenceOracle - Class in be.ac.umons.jsonlearning.random

Specialization of AbstractJSONEquivalenceOracle for VPDAs.

VPDAJSONEquivalenceOracle(int, boolean, int, int, int, JSONSchema, Random, boolean, Alphabet<JSONSymbol>, Collection<JSONObject>) - Constructor for class be.ac.umons.jsonlearning.random.VPDAJSONEquivalenceOracle

W

WordConversion - Class in be.ac.umons.jsonvalidation

Utility functions to convert a word of JSON symbols to a regular string, and vice-versa.

WordConversion() - Constructor for class be.ac.umons.jsonvalidation.WordConversion

wordToString(Word<Character>) - Static method in class be.ac.umons.jsonlearning.Utils

Converts an Automatalib's Word into a Java String.

write(KeyGraph<L>, Appendable) - Static method in class be.ac.umons.jsonvalidation.graph.KeyGraphToDot

Describes the provided key graph using DOT file format.

A B C E F G H I J K M N O P R S T U V W