Module de.learnlib.oracle.membership

Package de.learnlib.oracle.membership

Class StdInOracle<I>

java.lang.Object

de.learnlib.oracle.membership.StdInOracle<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

BatchProcessor<Query<I,Boolean>>, MembershipOracle<I,Boolean>, QueryAnswerer<I,Boolean>, SingleQueryOracle<I,Boolean>

public class StdInOracle<I>
extends Object
implements SingleQueryOracle<I,Boolean>

An oracle that delegates its queries to an external program via the command-line interface. Acceptance of the queries is determined based on the program's return code where 0 indicates success and any other value indicates failure.

Queries are passed to the program's stdin stream via the queries' Object.toString() method (separated by AutomataLibProperty.WORD_SYMBOL_SEPARATOR). Depending on whether a reset symbol has been specified, this oracle assumes either a stateless (reset == null) or stateful (reset != null) communication.

In a stateless communication, all symbols of a query are passed to the program at once and invocations should be treated independently of each other. In a stateful communication, the program is executed multiple times with a single query symbol each, preceded by a single invocation with only the reset symbol. The exit code of the last invocation determines the query response.

Nested Class Summary

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

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>

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

SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMMLT<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>

Constructor Summary

Constructors

Constructor	Description
StdInOracle(List<String> commandLine)	Constructor.
StdInOracle(List<String> commandLine, @Nullable String reset)	Constructor.

Method Summary

Modifier and Type	Method	Description
Boolean	answerQuery(Word<I> prefix, Word<I> 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.oracle.MembershipOracle

answerQuery, asOracle, processBatch

Methods inherited from interface de.learnlib.oracle.SingleQueryOracle

processQueries, processQuery

Constructor Details

StdInOracle

public StdInOracle(List<String> commandLine)

Constructor. Does not set a reset symbol.

Parameters:

commandLine - the command line, containing the main binary and potential additional arguments

See Also:

• StdInOracle(List, String)

StdInOracle

public StdInOracle(List<String> commandLine,
 @Nullable String reset)

Constructor.

Parameters:

commandLine - the command line, containing the main binary and potential additional arguments

reset - the symbol passed to the program to indicate a reset

Method Details

answerQuery

public Boolean answerQuery(Word<I> prefix,
 Word<I> suffix)

Specified by:

answerQuery in interface MembershipOracle<I,Boolean>

Specified by:

answerQuery in interface QueryAnswerer<I,Boolean>

Specified by:

answerQuery in interface SingleQueryOracle<I,Boolean>