Class InputInterpreter

java.lang.Object

tools.utils.InputInterpreter

public class InputInterpreter
extends Object

Can convert BRunner inputs to the format desired by a specific reasoner.

Constructor Summary

Constructors

Constructor	Description
InputInterpreter()

Method Summary

Modifier and Type	Method	Description
static void	checkServiceKeyAndValue(ITask task)	sanity check for the task
static fr.inria.rules.integraal.component_builder.externalHaltingConditions.ExternalAlgorithmHaltingConditions	getExperimentTimeoutConditionsFor(ITask task)
static <T extends Enum<T>> T	getServiceTypeFor(ITask task, Class<T> enumClass)
static fr.inria.rules.integraal.component_builder.api.scenario.IInputDataScenario	translateInputDataScenarioFor(ITask task)	Translation of BRunner inputs.

Methods inherited from class Object

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

Constructor Details

InputInterpreter

public InputInterpreter()

Method Details

translateInputDataScenarioFor

public static fr.inria.rules.integraal.component_builder.api.scenario.IInputDataScenario translateInputDataScenarioFor(ITask task)

Translation of BRunner inputs. Default choice is to make InteGraal objects.

Parameters:

task -

Returns:

the input kb scenario converted into the corresponding InteGraal object

getExperimentTimeoutConditionsFor

public static fr.inria.rules.integraal.component_builder.externalHaltingConditions.ExternalAlgorithmHaltingConditions getExperimentTimeoutConditionsFor(ITask task)

getServiceTypeFor

public static <T extends Enum<T>> T getServiceTypeFor(ITask task,
 Class<T> enumClass)

checkServiceKeyAndValue

public static void checkServiceKeyAndValue(ITask task)

sanity check for the task

Parameters:

task -