be.ac.umons.jsonlearning

Class JSONMembershipOracle

java.lang.Object

be.ac.umons.jsonlearning.JSONMembershipOracle

All Implemented Interfaces:

de.learnlib.api.oracle.MembershipOracle<JSONSymbol,Boolean>, de.learnlib.api.oracle.MembershipOracle.ROCAMembershipOracle<JSONSymbol>, de.learnlib.api.oracle.parallelism.BatchProcessor<de.learnlib.api.query.Query<JSONSymbol,Boolean>>, de.learnlib.api.oracle.QueryAnswerer<JSONSymbol,Boolean>, de.learnlib.api.oracle.SingleQueryOracle<JSONSymbol,Boolean>, de.learnlib.api.oracle.SingleQueryOracle.SingleQueryOracleROCA<JSONSymbol>

public class JSONMembershipOracle
extends Object
implements de.learnlib.api.oracle.SingleQueryOracle.SingleQueryOracleROCA<JSONSymbol>

Membership oracle for JSON documents. It checks whether a provided document is accepted by the JSON Schema.

Author:

Gaëtan Staquet

Nested Class Summary

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

de.learnlib.api.oracle.SingleQueryOracle.SingleQueryCounterValueOracle<I>, de.learnlib.api.oracle.SingleQueryOracle.SingleQueryOracleDFA<I>, de.learnlib.api.oracle.SingleQueryOracle.SingleQueryOracleMealy<I,O>, de.learnlib.api.oracle.SingleQueryOracle.SingleQueryOracleROCA<I>

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

de.learnlib.api.oracle.MembershipOracle.CounterValueOracle<I>, de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle<I>, de.learnlib.api.oracle.MembershipOracle.MealyMembershipOracle<I,O>, de.learnlib.api.oracle.MembershipOracle.ROCAMembershipOracle<I>

Constructor Summary

Constructors

Constructor and Description
JSONMembershipOracle(be.ac.umons.jsonschematools.JSONSchema schema)

Method Summary

Modifier and Type	Method and Description
Boolean	answerQuery(net.automatalib.words.Word<JSONSymbol> input)
Boolean	answerQuery(net.automatalib.words.Word<JSONSymbol> prefix, net.automatalib.words.Word<JSONSymbol> suffix)

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.api.oracle.SingleQueryOracle

processQueries, processQuery

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

asOracle, processBatch

Constructor Detail

JSONMembershipOracle

public JSONMembershipOracle(be.ac.umons.jsonschematools.JSONSchema schema)

Method Detail

answerQuery

public Boolean answerQuery(net.automatalib.words.Word<JSONSymbol> input)

Specified by:

answerQuery in interface de.learnlib.api.oracle.MembershipOracle<JSONSymbol,Boolean>

Specified by:

answerQuery in interface de.learnlib.api.oracle.QueryAnswerer<JSONSymbol,Boolean>

answerQuery

public Boolean answerQuery(net.automatalib.words.Word<JSONSymbol> prefix,
                           net.automatalib.words.Word<JSONSymbol> suffix)

Specified by:

answerQuery in interface de.learnlib.api.oracle.MembershipOracle<JSONSymbol,Boolean>

Specified by:

answerQuery in interface de.learnlib.api.oracle.QueryAnswerer<JSONSymbol,Boolean>

Specified by:

answerQuery in interface de.learnlib.api.oracle.SingleQueryOracle<JSONSymbol,Boolean>