Class DefaultQueryRewritingOutputIfTimeoutFunction

java.lang.Object

fr.inria.rules.integraal.component_builder.evaluators.query_rewriting.auxiliary.DefaultQueryRewritingOutputIfTimeoutFunction

All Implemented Interfaces:

BiFunction<RewritingInput, String, RewritingOutput>

public class DefaultQueryRewritingOutputIfTimeoutFunction
extends Object
implements BiFunction<RewritingInput, String, RewritingOutput>

Creates a query rewriting output where the timeout is indicated

Constructor Summary

Constructors

Constructor	Description
DefaultQueryRewritingOutputIfTimeoutFunction()	Creates the default timeout output mapper for query rewriting.

Method Summary

Modifier and Type	Method	Description
RewritingOutput	apply(RewritingInput t, String u)

Methods inherited from class Object

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

Methods inherited from interface BiFunction

andThen

Constructor Details

DefaultQueryRewritingOutputIfTimeoutFunction

public DefaultQueryRewritingOutputIfTimeoutFunction()

Creates the default timeout output mapper for query rewriting.

Method Details

apply

public RewritingOutput apply(RewritingInput t,
 String u)

Specified by:

apply in interface BiFunction<RewritingInput, String, RewritingOutput>