Interface Rule
- All Superinterfaces:
org.eclipse.emf.ecore.EObject
,NamedElement
,org.eclipse.emf.common.notify.Notifier
- All Known Implementing Classes:
RuleImpl
- See Also:
-
Method Summary
Modifier and TypeMethodDescriptionvoid
apply
(StackFrame frame) Applies this rule for the created traces.boolean
applyFirst
(StackFrame frame) Applies and post-applies this rule for the first recorded match.applyFor
(StackFrame frame, TraceLink trace) Applies this rule for the giventrace
.applyOne
(StackFrame frame, Map<String, Object> valuesMap) Applies this rule totrace
void
Clears the values of all registered fields within this rule.void
compileIterables
(ExecEnv env) Compiles the model element iterables for this rule.void
compileState
(ExecEnv env) Compiles the internal state of this rule for optimised matching.boolean
completeTraceFor
(StackFrame frame, TraceLink trace) Completestrace
for this rule by creating the output elements.void
createTraces
(StackFrame frame) Creates trace elements for the recorded matches for this rule.void
createUniqueMapping
(TraceLink trace) Creates a unique trace mapping entry for the source values intrace
, if applicable.findInputElement
(String name) Finds theInputRuleElement
with the given name within the rule inheritance hierarchy depth-first.findStaticField
(Object context, String name) Returns the transitive closure of super-rules, root rule first (LazySet
's have a fixed iteration order).Returns the value of the 'Applier' containment reference.org.eclipse.emf.common.util.EList<Rule>
Returns the value of the 'ESub Rules' reference list.org.eclipse.emf.common.util.EList<Rule>
Returns the value of the 'ESuper Rules' reference list.org.eclipse.emf.common.util.EList<Field>
Returns the value of the 'Fields' containment reference list.org.eclipse.emf.common.util.EList<InputRuleElement>
Returns the value of the 'Input Elements' containment reference list.Returns the value of the 'Matcher' containment reference.getMode()
Returns the value of the 'Mode' attribute.Returns the value of the 'Module' container reference.org.eclipse.emf.common.util.EList<OutputRuleElement>
Returns the value of the 'Output Elements' containment reference list.Returns the value of the 'Post Apply' containment reference.org.eclipse.emf.common.util.EList<String>
Returns the value of the 'Super Rules' attribute list.getUniqueTrace
(StackFrame frame, Object[] values) Returns the unique rule application trace forvalues
, if applicable.boolean
Returnstrue
iff this rule has any registered fields with the givenname
.boolean
hasStaticField
(String name) Returnstrue
iff this rule has any registered static fields with the givenname
.boolean
Returns the value of the 'Abstract' attribute.boolean
Returns the value of the 'Default' attribute.boolean
Returns the value of the 'Distinct Elements' attribute.boolean
isLeaf()
Returns the value of the 'Leaf' attribute.boolean
isUnique()
Returns the value of the 'Unique' attribute.boolean
Returns the value of the 'With Leaves' attribute.matchManual
(StackFrame frame, Object[] values) Matches this rule manually, if applicable.boolean
matchOne
(StackFrame frame, Map<String, Object> valuesMap) Matches rule forvaluesMap
.boolean
matchOneOnly
(StackFrame frame, Map<String, Object> valuesMap) Matches this rule only (without super-rules) forvaluesMap
.boolean[]
matchRecursive
(StackFrame frame) Matches this rule for the automatic recursive stage, if applicable.boolean
matchSingle
(StackFrame frame) Matches this rule for the automatic single stage, if applicable.void
postApply
(StackFrame frame) Runs post-applier for this rule for the created traces.postApplyFor
(StackFrame frame, TraceLink trace) Post-applies this rule for the giventrace
.void
registerField
(Field field) void
Resets the internal state of this rule.void
setAbstract
(boolean value) Sets the value of the 'Abstract
' attribute.void
setApplier
(CodeBlock value) Sets the value of the 'Applier
' containment reference.void
setDefault
(boolean value) Sets the value of the 'Default
' attribute.void
setDistinctElements
(boolean value) Sets the value of the 'Distinct Elements
' attribute.void
setMatcher
(CodeBlock value) Sets the value of the 'Matcher
' containment reference.void
Sets the value of the 'Mode
' attribute.void
Sets the value of the 'Module
' container reference.void
setPostApply
(CodeBlock value) Sets the value of the 'Post Apply
' containment reference.void
setUnique
(boolean value) Sets the value of the 'Unique
' attribute.Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
Methods inherited from interface org.eclipse.m2m.atl.emftvm.NamedElement
getName, setName
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
-
Method Details
-
getModule
Module getModule()Returns the value of the 'Module' container reference. It is bidirectional and its opposite is 'Rules
'.If the meaning of the 'Module' container reference isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Module' container reference.
- See Also:
-
setModule
Sets the value of the 'Module
' container reference.- Parameters:
value
- the new value of the 'Module' container reference.- See Also:
-
getMode
RuleMode getMode()Returns the value of the 'Mode' attribute. The literals are from the enumerationRuleMode
.If the meaning of the 'Mode' attribute isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Mode' attribute.
- See Also:
-
setMode
Sets the value of the 'Mode
' attribute. -
getInputElements
org.eclipse.emf.common.util.EList<InputRuleElement> getInputElements()Returns the value of the 'Input Elements' containment reference list. The list contents are of typeInputRuleElement
. It is bidirectional and its opposite is 'Input For
'.If the meaning of the 'Input Elements' containment reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Input Elements' containment reference list.
- See Also:
-
getOutputElements
org.eclipse.emf.common.util.EList<OutputRuleElement> getOutputElements()Returns the value of the 'Output Elements' containment reference list. The list contents are of typeOutputRuleElement
. It is bidirectional and its opposite is 'Output For
'.If the meaning of the 'Output Elements' containment reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Output Elements' containment reference list.
- See Also:
-
getESuperRules
org.eclipse.emf.common.util.EList<Rule> getESuperRules()Returns the value of the 'ESuper Rules' reference list. The list contents are of typeRule
. It is bidirectional and its opposite is 'ESub Rules
'.If the meaning of the 'ESuper Rules' reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'ESuper Rules' reference list.
- See Also:
-
getESubRules
org.eclipse.emf.common.util.EList<Rule> getESubRules()Returns the value of the 'ESub Rules' reference list. The list contents are of typeRule
. It is bidirectional and its opposite is 'ESuper Rules
'.If the meaning of the 'ESub Rules' reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'ESub Rules' reference list.
- See Also:
-
getMatcher
CodeBlock getMatcher()Returns the value of the 'Matcher' containment reference. It is bidirectional and its opposite is 'Matcher For
'.If the meaning of the 'Matcher' containment reference isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Matcher' containment reference.
- See Also:
-
setMatcher
Sets the value of the 'Matcher
' containment reference.- Parameters:
value
- the new value of the 'Matcher' containment reference.- See Also:
-
getApplier
CodeBlock getApplier()Returns the value of the 'Applier' containment reference. It is bidirectional and its opposite is 'Applier For
'.If the meaning of the 'Applier' containment reference isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Applier' containment reference.
- See Also:
-
setApplier
Sets the value of the 'Applier
' containment reference.- Parameters:
value
- the new value of the 'Applier' containment reference.- See Also:
-
getPostApply
CodeBlock getPostApply()Returns the value of the 'Post Apply' containment reference. It is bidirectional and its opposite is 'Post Apply For
'.If the meaning of the 'Post Apply' containment reference isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Post Apply' containment reference.
- See Also:
-
setPostApply
Sets the value of the 'Post Apply
' containment reference.- Parameters:
value
- the new value of the 'Post Apply' containment reference.- See Also:
-
getSuperRules
org.eclipse.emf.common.util.EList<String> getSuperRules()Returns the value of the 'Super Rules' attribute list. The list contents are of typeString
.If the meaning of the 'Super Rules' reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Super Rules' attribute list.
- See Also:
-
isAbstract
boolean isAbstract()Returns the value of the 'Abstract' attribute.If the meaning of the 'Abstract' attribute isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Abstract' attribute.
- See Also:
-
setAbstract
void setAbstract(boolean value) Sets the value of the 'Abstract
' attribute.- Parameters:
value
- the new value of the 'Abstract' attribute.- See Also:
-
getFields
org.eclipse.emf.common.util.EList<Field> getFields()Returns the value of the 'Fields' containment reference list. The list contents are of typeField
. It is bidirectional and its opposite is 'Rule
'.If the meaning of the 'Fields' containment reference list isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Fields' containment reference list.
- See Also:
-
isDefault
boolean isDefault()Returns the value of the 'Default' attribute.If the meaning of the 'Default' attribute isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Default' attribute.
- See Also:
-
setDefault
void setDefault(boolean value) Sets the value of the 'Default
' attribute.- Parameters:
value
- the new value of the 'Default' attribute.- See Also:
-
isDistinctElements
boolean isDistinctElements()Returns the value of the 'Distinct Elements' attribute.If the meaning of the 'Distinct Elements' attribute isn't clear, there really should be more of a description here...
- Returns:
- the value of the 'Distinct Elements' attribute.
- See Also:
-
setDistinctElements
void setDistinctElements(boolean value) Sets the value of the 'Distinct Elements
' attribute.- Parameters:
value
- the new value of the 'Distinct Elements' attribute.- See Also:
-
isUnique
boolean isUnique()Returns the value of the 'Unique' attribute.A unique rule matches at most once against a unique (list of) source value(s). Traces created by a unique rule can also be efficiently lookup up, because each (list of) source value(s) maps to at most one (list of) target value(s).
- Returns:
- the value of the 'Unique' attribute.
- See Also:
-
setUnique
void setUnique(boolean value) Sets the value of the 'Unique
' attribute.- Parameters:
value
- the new value of the 'Unique' attribute.- See Also:
-
isLeaf
boolean isLeaf()Returns the value of the 'Leaf' attribute.A rule is a leaf rule when it is not abstract, and it has no leaf sub-rules. Call
#compileState()
before calling this method.- Returns:
- the value of the 'Leaf' attribute.
- See Also:
-
isWithLeaves
boolean isWithLeaves()Returns the value of the 'With Leaves' attribute.A rule is with leaves if it has leaf sub-rules. Call
#compileState()
before calling this method.- Returns:
- the value of the 'With Leaves' attribute.
- See Also:
-
findField
- Parameters:
context
- the context type of the fieldname
- the operation name- Returns:
- the
Field
with the given properties, ornull
if none registered
-
hasField
Returnstrue
iff this rule has any registered fields with the givenname
.- Parameters:
name
- the field name- Returns:
true
iff this rule has any registered fields with the givenname
-
findStaticField
- Parameters:
context
- the context type of the fieldname
- the operation name- Returns:
- the static
Field
with the given properties, ornull
if none registered
-
hasStaticField
Returnstrue
iff this rule has any registered static fields with the givenname
.- Parameters:
name
- the field name- Returns:
true
iff this rule has any registered static fields with the givenname
-
registerField
- Parameters:
field
- theField
to register
-
matchSingle
Matches this rule for the automatic single stage, if applicable. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the matcher- Returns:
true
iff the rule has any matches
-
matchRecursive
Matches this rule for the automatic recursive stage, if applicable. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the matcher- Returns:
- [
true
iff the rule has any matches,true
iff there was a guaranteed final match]
-
matchManual
Matches this rule manually, if applicable. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the matchervalues
- the values to match against- Returns:
- the rule application result, or
null
if the rule did not match - Throws:
VMException
- if this is not aRuleMode.MANUAL
rule
-
matchOne
Matches rule forvaluesMap
. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the matchervaluesMap
- the values to match against- Returns:
true
iff the rule matches
-
matchOneOnly
Matches this rule only (without super-rules) forvaluesMap
. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the matchervaluesMap
- the values to match against- Returns:
true
iff the rule matches
-
createTraces
Creates trace elements for the recorded matches for this rule. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame context- Throws:
VMException
- if no matches are recorded for this rule
-
completeTraceFor
Completestrace
for this rule by creating the output elements. Will create default/unique trace iff mapsTo information exists. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame contexttrace
- the trace to complete- Returns:
true
iff default/unique mappings were defined for the complete list of source elements
-
apply
Applies this rule for the created traces. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the applier- Throws:
VMException
- if no traces exist for this rule
-
postApply
Runs post-applier for this rule for the created traces. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the post-applier- Throws:
VMException
- if no traces exist for this rule
-
applyFirst
Applies and post-applies this rule for the first recorded match. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame in which to execute the applier and post-applier- Returns:
true
iff this rule was applied- Throws:
VMException
- if no matches are recorded for this rule
-
applyOne
Applies this rule totrace
- Parameters:
frame
- the stack frame in which to execute the applier and post-applyvaluesMap
- the source and target values to which to apply the rule- Returns:
- the rule application result
-
applyFor
Applies this rule for the giventrace
. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame contexttrace
- the trace link to apply the rule for- Returns:
- the application result
-
postApplyFor
Post-applies this rule for the giventrace
. Call#compileState()
before calling this method.- Parameters:
frame
- the stack frame contexttrace
- the trace link to post-apply the rule for- Returns:
- the post-application result
-
getAllESuperRules
Returns the transitive closure of super-rules, root rule first (LazySet
's have a fixed iteration order). Call#compileState()
before calling this method.- Returns:
- the transitive closure of super-rules.
-
createUniqueMapping
Creates a unique trace mapping entry for the source values intrace
, if applicable.- Parameters:
trace
- the trace element with source values
-
compileState
Compiles the internal state of this rule for optimised matching. Call this method whenever any properties of this rule or any sub-rules have changed.- Parameters:
env
- the execution environment context
-
resetState
void resetState()Resets the internal state of this rule. Call this method before callingcompileState(ExecEnv)
on all rules. -
compileIterables
Compiles the model element iterables for this rule. Call this method whenever any input or in/out model has changed.- Parameters:
env
- the execution environment context
-
clearFields
void clearFields()Clears the values of all registered fields within this rule. -
findInputElement
Finds theInputRuleElement
with the given name within the rule inheritance hierarchy depth-first.- Parameters:
name
- the input element name- Returns:
- the
InputRuleElement
with the given name ornull
-
getUniqueTrace
Returns the unique rule application trace forvalues
, if applicable.- Parameters:
frame
- the stack frame contextvalues
- the source values for the trace- Returns:
- the unique rule application trace, or
null
-