de.learnlib.api.query

Class AbstractQuery<I,D>

java.lang.Object

de.learnlib.api.query.Query<I,D>

de.learnlib.api.query.AbstractQuery<I,D>

Direct Known Subclasses:

DefaultQuery

@ParametersAreNonnullByDefault
public abstract class AbstractQuery<I,D>
extends Query<I,D>

Field Summary

Fields

Modifier and Type	Field and Description
protected net.automatalib.words.Word<I>	prefix
protected net.automatalib.words.Word<I>	suffix

Constructor Summary

Constructors

Constructor and Description
AbstractQuery(Query<I,?> query)
AbstractQuery(net.automatalib.words.Word<I> queryWord)
AbstractQuery(net.automatalib.words.Word<I> prefix, net.automatalib.words.Word<I> suffix)

Method Summary

Modifier and Type	Method and Description
net.automatalib.words.Word<I>	getPrefix() Returns the prefix part of this query.
net.automatalib.words.Word<I>	getSuffix() Returns the suffix part of this query.
String	toStringWithAnswer(D answer) Returns the string representation of this query, including a possible answer.

Methods inherited from class de.learnlib.api.query.Query

answer, equals, getInput, hashCode, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

prefix

protected final net.automatalib.words.Word<I> prefix

suffix

protected final net.automatalib.words.Word<I> suffix

Constructor Detail

AbstractQuery

public AbstractQuery(net.automatalib.words.Word<I> queryWord)

AbstractQuery

public AbstractQuery(net.automatalib.words.Word<I> prefix,
                     net.automatalib.words.Word<I> suffix)

AbstractQuery

public AbstractQuery(Query<I,?> query)

Method Detail

getPrefix

@Nonnull
public net.automatalib.words.Word<I> getPrefix()

Description copied from class: Query

Returns the prefix part of this query. The prefix of a query is responsible for transferring the system into a certain state, but (apart from that) does not directly influence the output.

Specified by:

getPrefix in class Query<I,D>

Returns:

the prefix of this query

getSuffix

@Nonnull
public net.automatalib.words.Word<I> getSuffix()

Description copied from class: Query

Returns the suffix part of this query. The suffix of a query is the experiment performed on the system when in the state it was transferred into by the prefix, and thus directly influences the output.

Specified by:

getSuffix in class Query<I,D>

Returns:

the suffix of this query

toStringWithAnswer

public String toStringWithAnswer(D answer)

Returns the string representation of this query, including a possible answer. This method should be used by classes extending AbstractQuery for their toString method to ensure output consistency.

Returns:

A string of the form "Query[<prefix>|<suffix> / <answer>]". If the query has not been answered yet, <answer> will be null.