ManagedLongEventHandler.java

package javax.safetycritical;

import javax.realtime.BoundAsyncLongEventHandler;
import javax.realtime.PriorityParameters;
import javax.realtime.ReleaseParameters;

public abstract class ManagedLongEventHandler extends BoundAsyncLongEventHandler 
	implements ManagedSchedulable {

	PriorityParameters priority;
	ReleaseParameters release;
	
	String name;
	
	StorageParameters storage;
	Mission mission = null;
	
	ManagedMemory privateMemory;
	/**
	 * Process for use by scheduler
	 */
	ScjProcess process;
	
	// used in JML spec. methods
	boolean isRegistered;
	boolean isInMissionScope;
	
	public void run() {
		// TODO Auto-generated method stub

	}

	public void register() {
		// TODO Auto-generated method stub
		

		this.isRegistered = true;
		this.isInMissionScope = true;
	}

	public void cleanUp() {
		// TODO Auto-generated method stub

	}

	public void signalTermination() {
		// TODO Auto-generated method stub

	}
	
	void setCurrentMemory(ManagedMemory current) {
		this.privateMemory = current;
	}
	
	ManagedMemory getCurrentMemory() {
		return privateMemory; 
	}
}