be.ac.umons.jsonlearning

Class JSONCounterValueOracle

java.lang.Object

be.ac.umons.jsonlearning.JSONCounterValueOracle

All Implemented Interfaces:

de.learnlib.api.oracle.MembershipOracle<JSONSymbol,Integer>, de.learnlib.api.oracle.MembershipOracle.CounterValueOracle<JSONSymbol>, de.learnlib.api.oracle.parallelism.BatchProcessor<de.learnlib.api.query.Query<JSONSymbol,Integer>>, de.learnlib.api.oracle.QueryAnswerer<JSONSymbol,Integer>, de.learnlib.api.oracle.SingleQueryOracle<JSONSymbol,Integer>, de.learnlib.api.oracle.SingleQueryOracle.SingleQueryCounterValueOracle<JSONSymbol>

public class JSONCounterValueOracle
extends Object
implements de.learnlib.api.oracle.SingleQueryOracle.SingleQueryCounterValueOracle<JSONSymbol>

Counter value oracle for JSON documents. It counts the number of unmatched { and [.

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
JSONCounterValueOracle()

Method Summary

Modifier and Type	Method and Description
Integer	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

answerQuery, asOracle, processBatch

Constructor Detail

JSONCounterValueOracle

public JSONCounterValueOracle()

Method Detail

answerQuery

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

Specified by:

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

Specified by:

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

Specified by:

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