edu.umn.cs.crisys
Class RSM

java.lang.Object
  |
  +--edu.umn.cs.crisys.RSM

Direct Known Subclasses:

ASW

public abstract class RSM

extends java.lang.Object

Title: RSML-e State Machine driver

Description: RSML-e State Machine driver

This is an abstract base class for RSML-e state machine implementations in Java. This class, provides basic type declarations for enumerations, messages and interfaces, declares three abstract protected methods init(), next() and end() that implementations must override in the dervied classes and finally, provides a driver for the state machine in the form of a static main() method so that this class can be executed by the JVM.

Copyright: Copyright (c) 2002 University of Minnesota

Inner Class Summary

static class	RSM.Enum Base class for RSML-e enumeration types.
static class	RSM.ReceiveInterface RSML-e Receive Interfaces.
static class	RSM.SendInterface RSML-e Send Interfaces.

Constructor Summary

protected

RSM() Constructor.

Method Summary

protected abstract void	end() State-machine termination.
protected abstract void	init() State-machine initialization step.
static void	main(java.lang.String[] arg) State-machine execution driver.
protected abstract void	next(java.lang.Object trigger) State-machine next step computation.

Methods inherited from class java.lang.Object

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

Constructor Detail

RSM

protected RSM()

Constructor. Does nothing.

Method Detail

init

protected abstract void init()

State-machine initialization step. Derived classes must provide implementation. The state-machine's interfaces are typically opened in this step.

next

protected abstract void next(java.lang.Object trigger)

State-machine next step computation. Derived classes must provide implementation.

end

protected abstract void end()

State-machine termination. Derived classes must provide implementation. The state-machine's interfaces are typically closed in this step.

main

public static void main(java.lang.String[] arg)

State-machine execution driver. This can be invoked from the command line by directly executing this class.

Parameters:

arg - Name of the Java class implementing the state-machine.