edu.umn.cs.crisys
Class ASW

java.lang.Object
  |
  +--edu.umn.cs.crisys.RSM
        |
        +--edu.umn.cs.crisys.ASW
Direct Known Subclasses:
AltitudeSwitch

public abstract class ASW
extends RSM

Title: Altitude Switch

Description: The skeleton ASW System for CSCI 5802.

This is an abstract class that defines types, messages and interfaces corresponding to the RSML-e specification of the Altitude Switch. Further it also instantiates the interfaces and provides init() and end() methods that respectively open and close these interfaces.

A concrete implemetation of the Altitude Switch may derive from this class, and override the init(), next() and end() methods. Such classes could in turn call super.init() and super.end() methods to open and close the communication interface channels in one go. A typical implementation, would have its own private data members to store state information and encode the initial conditions, transitions and shutdown operations (if any), in the those three methods.

Copyright: Copyright (c) 2002

Company: University of Minnesota


Inner Class Summary
protected static class ASW.AltitudeMessage
          Structure of Altitude message received by the ASW.
static class ASW.AltitudeQualityType
          Enumeration type for Altitude Quality.
static class ASW.ASW_Constants
          Constants used in the ASW specification.
protected static class ASW.DOICommandMessage
          Structue of DOI Command messages sent out by ASW.
protected static class ASW.DOIStatusMessage
          Structure of DOI Status message received as input by the ASW.
static class ASW.DOIStatusType
          Enumeration type for DOI Status.
protected static class ASW.EmptyMessage
          Empty message - no fields.
protected static class ASW.FaultMessage
          Structure of Fault message sent out by ASW when a failure is detected.
protected static class ASW.InhibitMessage
          Structure of Inhibit message received as input by the ASW.
static class ASW.InhibitType
          Enumeration type for Inhibit signal.
 
Inner classes inherited from class edu.umn.cs.crisys.RSM
RSM.Enum, RSM.ReceiveInterface, RSM.SendInterface
 
Field Summary
protected  RSM.ReceiveInterface AltitudeMessageInterface
          This is the object that represents the Altitude message interface.
protected  RSM.SendInterface DOICommandInterface
          This is the object that represents the DOI Command interface.
protected  RSM.ReceiveInterface DOIStatusMessageInterface
          This is the object that represents the DOI Status interface.
protected  RSM.SendInterface FaultDetectionInterface
          This is the object that represents the DOI Command interface.
protected  RSM.ReceiveInterface InhibitMessageInterface
          This is the object that represents the Inhibit Message interface.
protected  RSM.ReceiveInterface ResetMessageInterface
          This is the object that represents the Reset Message interface.
 
Constructor Summary
ASW()
           
 
Method Summary
protected  void end()
          closes all the ASW communication interfaces.
protected  void init()
          opens up all the ASW interfaces for communication.
 
Methods inherited from class edu.umn.cs.crisys.RSM
main, next
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

AltitudeMessageInterface

protected RSM.ReceiveInterface AltitudeMessageInterface
This is the object that represents the Altitude message interface. Derived classes of ASW should access this object's myMessage field to extract the Altitude Message.

DOIStatusMessageInterface

protected RSM.ReceiveInterface DOIStatusMessageInterface
This is the object that represents the DOI Status interface. Derived classes of ASW should access this object's myMessage field to extract the DOI Status Message.

InhibitMessageInterface

protected RSM.ReceiveInterface InhibitMessageInterface
This is the object that represents the Inhibit Message interface. Derived classes of ASW should access this object's myMessage field to extract the Inhibit message.

ResetMessageInterface

protected RSM.ReceiveInterface ResetMessageInterface
This is the object that represents the Reset Message interface. Reset message is an empty message. Whenever, this interface triggers the next state computation, it shall be assumed that a Reset message just arrived.

DOICommandInterface

protected RSM.SendInterface DOICommandInterface
This is the object that represents the DOI Command interface. Derived classes should fill in its myMessage field with command data and call the send() method on this interface, whenever a command is to be sent to the DOI.

FaultDetectionInterface

protected RSM.SendInterface FaultDetectionInterface
This is the object that represents the DOI Command interface. Derived classes should fill in its myMessage field with fault flag and call the send() method on this interface, whenever a fault is to be indicated.
Constructor Detail

ASW

public ASW()
Method Detail

init

protected void init()
opens up all the ASW interfaces for communication. Derived classes may override this method to add other stat-machine initialization code and also call this as super.init() to open the interfaces.
Overrides:
init in class RSM

end

protected void end()
closes all the ASW communication interfaces. Derived classes may override this method to add any further state machine clean-up operations and also call this as super.end() to close all the interfaces.
Overrides:
end in class RSM