be.ac.umons.jsonlearning.random

Class JSONPartialEquivalenceOracle

java.lang.Object

be.ac.umons.jsonlearning.AbstractJSONConformance<A>

be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance<net.automatalib.automata.fsa.DFA<?,JSONSymbol>>

be.ac.umons.jsonlearning.random.JSONPartialEquivalenceOracle

All Implemented Interfaces:

de.learnlib.api.oracle.EquivalenceOracle<net.automatalib.automata.fsa.DFA<?,JSONSymbol>,JSONSymbol,Boolean>, de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<JSONSymbol>

public class JSONPartialEquivalenceOracle
extends AbstractRandomJSONConformance<net.automatalib.automata.fsa.DFA<?,JSONSymbol>>
implements de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<JSONSymbol>

Partial equivalence oracle for JSON documents. It tests whether the provided ROCA accepts the same sets of JSON documents than the JSON Schema, up to a tree depth that depends on the counter limit.

Author:

Gaëtan Staquet

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.EquivalenceOracle

de.learnlib.api.oracle.EquivalenceOracle.DFAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.MealyEquivalenceOracle<I,O>, de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.ROCAEquivalenceOracle<I>, de.learnlib.api.oracle.EquivalenceOracle.VCAEquivalenceOracle<I>

Field Summary

Fields inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

MAX_NUMBER_SYMBOLS_GIBBERISH

Constructor Summary

Constructors

Constructor and Description
JSONPartialEquivalenceOracle(int numberTests, boolean canGenerateInvalid, int maxProperties, int maxItems, be.ac.umons.jsonschematools.JSONSchema schema, Random random, boolean shuffleKeys, net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Summary

Modifier and Type	Method and Description
@Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean>	findCounterExample(net.automatalib.automata.fsa.DFA<?,JSONSymbol> hypothesis, Collection<? extends JSONSymbol> inputs)
void	setCounterLimit(int counterLimit)

Methods inherited from class be.ac.umons.jsonlearning.random.AbstractRandomJSONConformance

findCounterExample

Methods inherited from class be.ac.umons.jsonlearning.AbstractJSONConformance

canGenerateInvalid, checkDocument, checkWord, generateGibberish, getAlphabet, getMaxItems, getMaxProperties, getRandom, getSchema, numberTests, shouldShuffleKeys

Methods inherited from class java.lang.Object

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

Constructor Detail

JSONPartialEquivalenceOracle

public JSONPartialEquivalenceOracle(int numberTests,
                                    boolean canGenerateInvalid,
                                    int maxProperties,
                                    int maxItems,
                                    be.ac.umons.jsonschematools.JSONSchema schema,
                                    Random random,
                                    boolean shuffleKeys,
                                    net.automatalib.words.Alphabet<JSONSymbol> alphabet)

Method Detail

findCounterExample

public @Nullable de.learnlib.api.query.DefaultQuery<JSONSymbol,Boolean> findCounterExample(net.automatalib.automata.fsa.DFA<?,JSONSymbol> hypothesis,
                                                                                           Collection<? extends JSONSymbol> inputs)

Specified by:

findCounterExample in interface de.learnlib.api.oracle.EquivalenceOracle<net.automatalib.automata.fsa.DFA<?,JSONSymbol>,JSONSymbol,Boolean>

setCounterLimit

public void setCounterLimit(int counterLimit)

Specified by:

setCounterLimit in interface de.learnlib.api.oracle.EquivalenceOracle.RestrictedAutomatonEquivalenceOracle<JSONSymbol>