public class Constraint extends GTParameter
GTParameter.Evaluator, GTParameter.Scope, GTParameter.TypeInferenceVariable.CircularDependencyError, Variable.VariableScopeNamedObj.ContainedObjectsIteratorSettable.Visibility| Modifier and Type | Field and Description |
|---|---|
VisibleParameterEditorFactory |
editorFactory
The editor factory.
|
_currentExpression, _needsEvaluation, _parserScope, _parseTreeValid, _suppressVariableSubstitution, _valueListeners_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _deferChangeRequests, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKSEXPERT, FULL, NONE, NOT_EDITABLE| Constructor and Description |
|---|
Constraint(NamedObj container,
java.lang.String name)
Constraint a constraint.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
_evaluate(Pattern pattern,
MatchResult matchResult)
Evaluate the current expression to a token with the given pattern and
match result using
GTParameter.Evaluator. |
boolean |
check(Pattern pattern,
MatchResult matchResult)
Check whether this constraint is satisfied with the given match in
matchResult to the given pattern.
|
void |
setContainer(NamedObj container)
Set the container of this constraint.
|
addChoice, clone, exportMoML, getChoices, removeAllChoices, removeChoice_description, _evaluate, _getCurrentExpression, _notifyValueListeners, _parseIfNecessary, _propagate, _propagateToValueListeners, _propagateValue, _setToken, _setTokenAndNotify, addValueListener, attributeChanged, getDeclaredType, getExpression, getFreeIdentifiers, getParserScope, getScope, getScope, getToken, getType, getTypeTerm, getValueAsString, getVariable, getVisibility, invalidate, isKnown, isLazy, isStringMode, isSuppressVariableSubstitution, isTypeAcceptable, removeValueListener, reset, setExpression, setLazy, setName, setParseTreeEvaluator, setStringMode, setSuppressVariableSubstitution, setToken, setToken, setTypeAtLeast, setTypeAtLeast, setTypeAtMost, setTypeEquals, setTypeSameAs, setUnknown, setValueListenerAsWeakDependency, setVisibility, stringRepresentation, toString, typeConstraintList, typeConstraints, validate, valueChangedgetDefaultExpression_checkContainer, _getContainedObject, _propagateExistence, getContainer, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, updateContent_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _containedDecorators, _copyChangeRequestList, _debug, _debug, _debug, _debug, _debug, _executeChangeRequests, _exportMoMLContents, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _notifyHierarchyListenersAfterChange, _notifyHierarchyListenersBeforeChange, _removeAttribute, _splitName, _stripNumericSuffix, _validateSettables, addChangeListener, addDebugListener, addHierarchyListener, attributeDeleted, attributeList, attributeList, attributeTypeChanged, clone, containedObjectsIterator, decorators, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getElementName, getFullName, getModelErrorHandler, getName, getName, getPrototypeList, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, notifyOfNameChange, propagateExistence, propagateValue, propagateValues, removeAttribute, removeChangeListener, removeDebugListener, removeHierarchyListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, uniqueName, validateSettables, workspaceequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetDisplayNamedescription, getContainer, getFullName, getName, getNamepublic VisibleParameterEditorFactory editorFactory
public Constraint(NamedObj container, java.lang.String name) throws IllegalActionException, NameDuplicationException
container - The container of the constraint, which is usually the
pattern of a TransformationRule.name - The name of the constraint.IllegalActionException - If the attribute is not of an
acceptable class for the container, or if the name contains a period.NameDuplicationException - If the name coincides with
an attribute already in the container.public boolean check(Pattern pattern, MatchResult matchResult)
pattern - The pattern.matchResult - The match result.public void setContainer(NamedObj container) throws IllegalActionException, NameDuplicationException
TransformationRule.setContainer in class Variablecontainer - The new container, or null if the current
container of this constraint is to be removed.IllegalActionException - If this attribute is not of the
expected class for the container, or it has no name, or the attribute
and container are not in the same workspace, or the proposed container
would result in recursive containment, or the container is not an
instance of Pattern.NameDuplicationException - If the container already has
an attribute with the name of this attribute.Attribute.getContainer()protected void _evaluate(Pattern pattern, MatchResult matchResult) throws IllegalActionException
GTParameter.Evaluator. If
this variable
was last set directly with a token, then do nothing. In other words,
the expression is evaluated only if the value of the token was most
recently given by an expression. The expression is also evaluated
if any of the variables it refers to have changed since the last
evaluation. If the value of this variable
changes due to this evaluation, then notify all
value dependents and notify the container (if there is one) by
calling its attributeChanged() and attributeTypeChanged() methods,
as appropriate. An exception is thrown
if the expression is illegal, for example if a parse error occurs
or if there is a dependency loop.
If evaluation results in a token that is not of the same type as the current type of the variable, then the type of the variable is changed, unless the new type is incompatible with statically specified types (setTypeEquals() and setTypeAtMost()). If the type is changed, the attributeTypeChanged() method of the container is called. The container can reject the change by throwing an exception.
This method may trigger a model error, which is delegated up the container hierarchy until an error handler is found, and is ignored if no error handler is found. A model error occurs if the expression cannot be parsed or cannot be evaluated.
Part of this method is read-synchronized on the workspace.
_evaluate in class GTParameterpattern - The pattern.matchResult - The match result for the match between the pattern
and a host model.IllegalActionException - If the expression cannot
be parsed or cannot be evaluated, or if a dependency loop is found.