public interface TestVisitor
Test
,
TestWalker
Modifier and Type | Method and Description |
---|---|
void |
onEvent(Event event)
Indicates that a walker has encountered the specified event.
|
void |
onEventListBegin(EventList eventList)
Indicates that a walker has started walking across the specified event list.
|
void |
onEventListEnd(EventList eventList)
Indicates that walker has finished walking across the specified event list.
|
void |
onSequenceBegin(Sequence sequence)
Indicates that a walker has started walking across the specified sequence.
|
void |
onSequenceEnd(Sequence sequence)
Indicates that a walker has finished walking across the specified sequence.
|
void |
onTestBegin(Test test)
Indicates that a walker has started walking across the specified test.
|
void |
onTestEnd(Test test)
Indicates that a walker has finished walking across the specified test.
|
void |
onTransactionBegin(Transaction transaction)
Indicates that a walker has started walking across the specified transaction.
|
void |
onTransactionEnd(Transaction transaction)
Indicates that a walker has finished walking across the specified transaction.
|
void |
onVariable(java.lang.String name,
ru.ispras.fortress.expression.Node value)
Indicates that a walker has encountered the specified variable.
|
void |
onVectorBegin(Vector vector)
Indicates that a walker has started walking across the specified vector.
|
void |
onVectorEnd(Vector vector)
Indicates that a walker has finished walking across the specified vector.
|
void onTestBegin(Test test)
test
- the visited testvoid onTestEnd(Test test)
test
- the visited testvoid onSequenceBegin(Sequence sequence)
sequence
- the visited sequencevoid onSequenceEnd(Sequence sequence)
sequence
- the visited sequencevoid onVectorBegin(Vector vector)
vector
- the visited vectorvoid onVectorEnd(Vector vector)
vector
- the visited vectorvoid onTransactionBegin(Transaction transaction)
transaction
- the visited transactionvoid onTransactionEnd(Transaction transaction)
transaction
- the visited transactionvoid onEventListBegin(EventList eventList)
eventList
- the visited eventListvoid onEventListEnd(EventList eventList)
eventList
- the visited eventListvoid onEvent(Event event)
event
- the encountered eventvoid onVariable(java.lang.String name, ru.ispras.fortress.expression.Node value)
name
- a name of the encountered signalvalue
- a value of the encountered signal