Class ExternalHaltingConditionFactory

java.lang.Object

fr.inria.rules.integraal.component_builder.externalHaltingConditions.ExternalHaltingConditionFactory

public class ExternalHaltingConditionFactory
extends Object

Factory for creating ExternalHaltingConditions

Constructor Summary

Constructors

Constructor	Description
ExternalHaltingConditionFactory()	Creates the external halting condition factory utility.

Method Summary

Modifier and Type	Method	Description
static ExternalHaltingCondition	getRank(Object rank)	Creates a rank-based external halting condition.
static ExternalHaltingCondition	getTimeout(Object timeout)	Creates a timeout-based external halting condition.

Methods inherited from class Object

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

Constructor Details

ExternalHaltingConditionFactory

public ExternalHaltingConditionFactory()

Creates the external halting condition factory utility.

Method Details

getTimeout

public static ExternalHaltingCondition getTimeout(Object timeout)

Creates a timeout-based external halting condition.

Parameters:

timeout - the timeout value to enforce

Returns:

an object with given timeout

getRank

public static ExternalHaltingCondition getRank(Object rank)

Creates a rank-based external halting condition.

Parameters:

rank - the maximum rank to enforce

Returns:

an object with given rank