Package org.qdl_lang.workspace

Class InterruptUtil

java.lang.Object

org.qdl_lang.workspace.InterruptUtil

public class InterruptUtil
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InterruptUtil.SIThread

Constructor Summary

Constructors

Constructor	Description
InterruptUtil()

Method Summary

Modifier and Type	Method	Description
static void	createInterrupt(InterruptException ie, SIInterrupts siInterrupts)	For setting up the SIEntry and adding it to the set of siEntries.
static void	printSetupMessage(WorkspaceCommands workspaceCommands, InterruptException ie)
static void	printUpdateMessage(WorkspaceCommands workspaceCommands, SIEntry sie)
static void	updateSIE(InterruptException ix, SIEntry sie)	After the resume command, this updates the entry with the next InterruptException's state.

Methods inherited from class java.lang.Object

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

Constructor Detail

InterruptUtil

public InterruptUtil()

Method Detail

createInterrupt

public static void createInterrupt(InterruptException ie,
                                   SIInterrupts siInterrupts)

For setting up the SIEntry and adding it to the set of siEntries. This is the first stop in getting the SI (state indicator) working. Both the WorkspaceCommands.SIEntries and SIEntry are updated, and information can be gotten from the InterruptException.

Parameters:

ie -

siInterrupts - set of interrupts user specified initially

updateSIE

public static void updateSIE(InterruptException ix,
                             SIEntry sie)

After the resume command, this updates the entry with the next InterruptException's state. Print out the update message if needed.

Parameters:

ix -

sie -

printUpdateMessage

public static void printUpdateMessage(WorkspaceCommands workspaceCommands,
                                      SIEntry sie)

printSetupMessage

public static void printSetupMessage(WorkspaceCommands workspaceCommands,
                                     InterruptException ie)