| Package | Description |
|---|---|
| mt.edu.um.cs.rv.monitors | |
| mt.edu.um.cs.rv.monitors.results |
| Modifier and Type | Method and Description |
|---|---|
MonitorResult |
Monitor.handleEvent(Event e,
S s) |
MonitorResult |
StatefulMonitor.handleEvent(Event e,
State parentState) |
| Modifier and Type | Class and Description |
|---|---|
class |
MonitorResultList
Created by dwardu on 12/03/2017.
|
| Modifier and Type | Method and Description |
|---|---|
static MonitorResult<?> |
MonitorResult.error() |
static <P extends Serializable> |
MonitorResult.error(P payload) |
static <P extends Serializable> |
MonitorResult.error(P payload,
Throwable throwable) |
static MonitorResult<?> |
MonitorResult.failure() |
static <P extends Serializable> |
MonitorResult.failure(P payload) |
static <P extends Serializable> |
MonitorResult.failure(P payload,
Throwable throwable) |
static MonitorResult<?> |
MonitorResult.ok() |
static <P extends Serializable> |
MonitorResult.ok(P payload) |
| Modifier and Type | Method and Description |
|---|---|
void |
MonitorResultList.addMonitorResult(MonitorResult<?> monitorResult) |
Copyright © 2017 Pivotal Software, Inc.. All rights reserved.