public interface ServiceContext
| Modifier and Type | Method and Description |
|---|---|
long |
currentIndex()
Returns the current state machine index.
|
OperationType |
currentOperation()
Returns the current operation type.
|
Session |
currentSession()
Returns the current session.
|
LogicalClock |
logicalClock()
Returns the state machine's logical clock.
|
<C extends ServiceConfig> |
serviceConfig()
Returns the service configuration.
|
PrimitiveId |
serviceId()
Returns the state machine identifier.
|
String |
serviceName()
Returns the state machine name.
|
PrimitiveType |
serviceType()
Returns the state machine type.
|
WallClock |
wallClock()
Returns the state machine's wall clock.
|
PrimitiveId serviceId()
String serviceName()
PrimitiveType serviceType()
<C extends ServiceConfig> C serviceConfig()
C - the configuration typelong currentIndex()
The state index is indicative of the index of the current operation being applied to the server state machine. If a query is being applied, the index of the last command applied will be used.
Session currentSession()
OperationType currentOperation()
LogicalClock logicalClock()
WallClock wallClock()
Copyright © 2013–2018. All rights reserved.