| Modifier and Type | Method and Description |
|---|---|
EventMetadata |
Recoverable.getCorruptEvent() |
EventMetadata |
Recoverable.getRecoverEvent() |
EventMetadata |
Recoverable.getRedoEvent() |
| Modifier and Type | Interface and Description |
|---|---|
interface |
EventMetaBuilder |
| Modifier and Type | Method and Description |
|---|---|
void |
StateMetaBuilder.addPossibleReachingEvent(EventMetadata event) |
| Modifier and Type | Class and Description |
|---|---|
class |
EventMetaBuilderImpl |
| Modifier and Type | Method and Description |
|---|---|
protected EventMetadata |
EventMetaBuilderImpl.findSuper(Class<?> metaClass) |
EventMetadata[] |
StateMachineMetaBuilderImpl.getAllEvents() |
EventMetadata |
StateMetaBuilderImpl.getCorruptEvent() |
EventMetadata |
StateMachineMetaBuilderImpl.getCorruptEvent() |
EventMetadata |
StateMachineMetaBuilderImpl.getDeclaredEvent(Object eventKey) |
EventMetadata[] |
StateMachineMetaBuilderImpl.getDeclaredEventSet() |
EventMetadata |
StateMetaBuilderImpl.getEvent(Object eventKey) |
EventMetadata |
StateMachineMetaBuilderImpl.getEvent(Object eventKey) |
EventMetadata[] |
StateMetaBuilderImpl.getPossibleLeavingEvents() |
EventMetadata[] |
StateMetaBuilderImpl.getPossibleReachingEvents() |
EventMetadata |
StateMetaBuilderImpl.getRecoverEvent() |
EventMetadata |
StateMachineMetaBuilderImpl.getRecoverEvent() |
EventMetadata |
StateMetaBuilderImpl.getRedoEvent() |
EventMetadata |
StateMachineMetaBuilderImpl.getRedoEvent() |
EventMetadata |
StateMachineMetaBuilderImpl.getStateSynchronizationEvent() |
| Modifier and Type | Method and Description |
|---|---|
void |
StateMetaBuilderImpl.addPossibleReachingEvent(EventMetadata event) |
| Constructor and Description |
|---|
EventObjectBuilderImpl(StateMachineObjectBuilder<?> parent,
Method eventMethod,
EventMetadata template) |
| Constructor and Description |
|---|
CoverageVerifier(StateMachineObjectBuilderImpl<?> stateMachineObjectBuilderImpl,
EventMetadata eventMetadata,
VerificationFailureSet failureSet) |
EventMethodScanner(EventMetadata event) |
| Modifier and Type | Method and Description |
|---|---|
EventMetadata |
FunctionMetadata.getEvent() |
| Constructor and Description |
|---|
FunctionMetadata(StateMetaBuilderImpl parent,
EventMetadata event,
LinkedList<StateMetadata> nextStates) |
| Modifier and Type | Method and Description |
|---|---|
EventMetadata[] |
StateMachineMetadata.getAllEvents() |
EventMetadata |
StateMachineMetadata.getDeclaredEvent(Object eventKey) |
EventMetadata[] |
StateMachineMetadata.getDeclaredEventSet() |
EventMetadata |
StateMetadata.getEvent(Object eventKey) |
EventMetadata |
StateMachineMetadata.getEvent(Object eventKey) |
EventMetadata[] |
StateMetadata.getPossibleLeavingEvents() |
EventMetadata[] |
StateMetadata.getPossibleReachingEvents() |
EventMetadata |
StateMachineMetadata.getStateSynchronizationEvent() |
Copyright © 2015. All Rights Reserved.