javax.safetycritical

Class HandlerSet

java.lang.Object

javax.safetycritical.HandlerSet

@SCJAllowed(value=INFRASTRUCTURE)
 class HandlerSet
extends java.lang.Object

This collection class of handlers is created in mission memory and used by the mission.

Version:

1.2; - December 2013

Author:

Anders P. Ravn, Aalborg University, apr@cs.aau.dk,
Hans Søndergaard, VIA University College, Denmark, hso@viauc.dk

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ManagedEventHandler[]	eventHandlers
(package private) int	handlerCount Handler count for the mission.
(package private) int	noOfHandlers
(package private) ScjProcess[]	scjProcesses

Constructor Summary

Constructors

Constructor and Description
HandlerSet()

Method Summary

Methods

Modifier and Type	Method and Description
(package private) void	addHandler(ManagedEventHandler eh)
(package private) boolean	contains(ManagedEventHandler eh)
(package private) int	indexOf(ManagedEventHandler eh)
(package private) void	removeAperiodicHandlers()
(package private) void	removeHandler(ManagedEventHandler eh)
(package private) void	terminateHandlers()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

eventHandlers

ManagedEventHandler[] eventHandlers

noOfHandlers

int noOfHandlers

scjProcesses

ScjProcess[] scjProcesses

handlerCount

int handlerCount

Handler count for the mission. Only one mission at a time; no sub-mission The handlerCount is incremented by addHandler, and is decremented by PriorityScheduler when handler is terminated. Mission.runCleanup is waiting until handlerCount == 0

Constructor Detail

HandlerSet

HandlerSet()

Method Detail

addHandler

void addHandler(ManagedEventHandler eh)

contains

boolean contains(ManagedEventHandler eh)

terminateHandlers

void terminateHandlers()

removeHandler

void removeHandler(ManagedEventHandler eh)

removeAperiodicHandlers

void removeAperiodicHandlers()

indexOf

int indexOf(ManagedEventHandler eh)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object