public class DelegatingUserLoginLogoutMonitor extends Object implements mt.edu.um.cs.rv.monitors.Monitor
| Constructor and Description |
|---|
DelegatingUserLoginLogoutMonitor(List<UserLoginLogoutMonitor> monitors) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
addUserLoginLogoutMonitor(UserLoginLogoutMonitor monitor) |
String |
getName() |
mt.edu.um.cs.rv.monitors.results.MonitorResult |
handleEvent(mt.edu.um.cs.rv.events.Event event,
mt.edu.um.cs.rv.monitors.state.State s) |
Set<Class<? extends mt.edu.um.cs.rv.events.Event>> |
requiredEvents() |
public DelegatingUserLoginLogoutMonitor(List<UserLoginLogoutMonitor> monitors)
public String getName()
getName in interface mt.edu.um.cs.rv.monitors.Monitorpublic Set<Class<? extends mt.edu.um.cs.rv.events.Event>> requiredEvents()
requiredEvents in interface mt.edu.um.cs.rv.monitors.Monitorpublic boolean addUserLoginLogoutMonitor(UserLoginLogoutMonitor monitor)
public mt.edu.um.cs.rv.monitors.results.MonitorResult handleEvent(mt.edu.um.cs.rv.events.Event event,
mt.edu.um.cs.rv.monitors.state.State s)
handleEvent in interface mt.edu.um.cs.rv.monitors.MonitorCopyright © 2017 Pivotal Software, Inc.. All rights reserved.