public interface Trace
extends org.eclipse.emf.ecore.EObject
The following features are supported:
TracePackage.getTrace()
Modifier and Type | Method and Description |
---|---|
Automaton |
getAutomaton()
Returns the value of the 'Automaton' reference.
|
EventPattern |
getEventPattern()
Returns the value of the 'Event Pattern' reference.
|
void |
setAutomaton(Automaton value)
Sets the value of the '
Automaton ' reference. |
void |
setEventPattern(EventPattern value)
Sets the value of the '
Event Pattern ' reference. |
EventPattern getEventPattern()
If the meaning of the 'Event Pattern' reference isn't clear, there really should be more of a description here...
setEventPattern(EventPattern)
,
TracePackage.getTrace_EventPattern()
void setEventPattern(EventPattern value)
Event Pattern
' reference.
value
- the new value of the 'Event Pattern' reference.getEventPattern()
Automaton getAutomaton()
If the meaning of the 'Automaton' reference isn't clear, there really should be more of a description here...
setAutomaton(Automaton)
,
TracePackage.getTrace_Automaton()
void setAutomaton(Automaton value)
Automaton
' reference.
value
- the new value of the 'Automaton' reference.getAutomaton()