public abstract class TokenLeavesTimedZoneProcessor extends java.lang.Object implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<TokenLeavesTimedZoneMatch>
Constructor and Description |
---|
TokenLeavesTimedZoneProcessor() |
Modifier and Type | Method and Description |
---|---|
abstract void |
process(EventToken pEventToken,
State pState,
TimedZone pTimedZone,
TrapState pTrapState)
Defines the action that is to be executed on each match.
|
void |
process(TokenLeavesTimedZoneMatch match) |
public abstract void process(EventToken pEventToken, State pState, TimedZone pTimedZone, TrapState pTrapState)
pEventToken
- the value of pattern parameter eventToken in the currently processed matchpState
- the value of pattern parameter state in the currently processed matchpTimedZone
- the value of pattern parameter timedZone in the currently processed matchpTrapState
- the value of pattern parameter trapState in the currently processed matchpublic void process(TokenLeavesTimedZoneMatch match)
process
in interface org.eclipse.viatra.query.runtime.api.IMatchProcessor<TokenLeavesTimedZoneMatch>