ptolemy.actor.gt.ingredients.criteria

Class GuardCriterion

java.lang.Object

ptolemy.actor.gt.GTIngredient

ptolemy.actor.gt.ingredients.criteria.Criterion

ptolemy.actor.gt.ingredients.criteria.GuardCriterion

public class GuardCriterion
extends Criterion

A criterion to constrain a guard of a transition in an FSM or a Ptera controller.

Since:

Ptolemy II 8.0

Version:

$Id: GuardCriterion.java 70402 2014-10-23 00:52:20Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Yellow (tfeng)

Nested Class Summary

Nested classes/interfaces inherited from class ptolemy.actor.gt.GTIngredient

GTIngredient.FieldIterator

Field Summary

Fields inherited from class ptolemy.actor.gt.GTIngredient

FIELD_SEPARATOR

Constructor Summary

Constructors

Constructor and Description
GuardCriterion(GTIngredientList owner) Construct a criterion within the given list as its owner.
GuardCriterion(GTIngredientList owner, java.lang.String values) Construct a criterion within the given list as its owner and initialize all the elements with the given values, which are a string encoding of those elements.

Method Summary

Modifier and Type	Method and Description
GTIngredientElement[]	getElements() Get the array of elements defined in this GTIngredient.
java.lang.Object	getValue(int index) Get the value of the index-th elements.
java.lang.String	getValues() Get a string that describes the values of all the elements.
boolean	isApplicable(NamedObj object) Check whether this GTIngredient is applicable to the object.
boolean	match(NamedObj object) Return whether this criterion can check the given object.
void	setValue(int index, java.lang.Object value) Set the value of the index-th element.
void	setValues(java.lang.String values) Set the values of all the elements with a string that describes them.
void	validate() Validate the enablements and values of all the elements.

Methods inherited from class ptolemy.actor.gt.ingredients.criteria.Criterion

canCheck

Methods inherited from class ptolemy.actor.gt.GTIngredient

_decodeBooleanField, _decodeStringField, _encodeBooleanField, _encodeStringField, _escapeElementString, _findMatchingParen, _findSeparator, _unescapeElementString, disableAll, enableAll, getOwner, isEnabled, setEnabled, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

GuardCriterion

public GuardCriterion(GTIngredientList owner)

Construct a criterion within the given list as its owner. All elements are enabled and are initialized to empty at the beginning.

Parameters:

owner - The list as the owner of the constructed GTIngredientList.

GuardCriterion

public GuardCriterion(GTIngredientList owner,
                      java.lang.String values)

Construct a criterion within the given list as its owner and initialize all the elements with the given values, which are a string encoding of those elements. All elements are enabled at the beginning.

Parameters:

owner - The list as the owner of the constructed GTIngredientList.

values - The string encoding of the values of the elements.

Method Detail

getElements

public GTIngredientElement[] getElements()

Get the array of elements defined in this GTIngredient.

Specified by:

getElements in class GTIngredient

Returns:

The array of elements.

getValue

public java.lang.Object getValue(int index)

Get the value of the index-th elements.

Specified by:

getValue in class GTIngredient

Parameters:

index - The index.

Returns:

The value.

See Also:

setValue(int, Object)

getValues

public java.lang.String getValues()

Get a string that describes the values of all the elements.

Specified by:

getValues in class GTIngredient

Returns:

A string that describes the values of all the elements.

See Also:

setValues(String)

isApplicable

public boolean isApplicable(NamedObj object)

Check whether this GTIngredient is applicable to the object.

Overrides:

isApplicable in class GTIngredient

Parameters:

object - The object.

Returns:

true if this GTIngredient is applicable; false otherwise.

match

public boolean match(NamedObj object)

Return whether this criterion can check the given object.

Specified by:

match in class Criterion

Parameters:

object - The object.

Returns:

true if the object can be checked.

setValue

public void setValue(int index,
                     java.lang.Object value)

Set the value of the index-th element.

Specified by:

setValue in class GTIngredient

Parameters:

index - The index.

value - The value.

See Also:

getValue(int)

setValues

public void setValues(java.lang.String values)

Set the values of all the elements with a string that describes them.

Specified by:

setValues in class GTIngredient

Parameters:

values - A string that describes the new values of all the elements.

See Also:

getValues()

validate

public void validate()
              throws ValidationException

Validate the enablements and values of all the elements.

Specified by:

validate in class GTIngredient

Throws:

ValidationException - If some elements are invalid.