A C D E F G H I L M N O P R S T U V

R

recordTransformationApplied(AppliedTransformation) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder
Indicate that the given transformation has been applied.
RecursionIssue - Class in edu.williams.cs.ljil.finitizer.issues
Describes an occurrence of recursion in a Little-JIL process that must be resolved before FSP can be used
RecursionIssue(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.issues.RecursionIssue
Create an issue to record an instance of recursion and the actions that can be taken to remove the recursion.
recursionPath(StepRef) - Static method in class edu.williams.cs.ljil.finitizer.ProcessAnalysis
 
refresh() - Method in class edu.williams.cs.ljil.finitizer.ui.DiagramEditPane
Redraws the pane with the diagram inside forcing everything to be laid out again.
refreshDiagramViewsForStep(AbstractStep) - Method in class edu.williams.cs.ljil.finitizer.ui.ProcessViewPane
Refresh Diagram for the given step
registerPendingTransformation(PendingTransformation) - Method in class edu.williams.cs.ljil.finitizer.FSPBuilder
Indicate that the given transformation is pending
remove(DiagramEditingView) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPNullHandlerView
This is such a hack!.
removeDiagramChangeListener(ActionableStateListener) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper
Removes a listener for changes to a diagram
removeNullHandler(NullStep, HandlerBinding) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper
Removes a null handler from a diagram.
removeStateListener(ActionableStateListener) - Method in class edu.williams.cs.ljil.finitizer.Actionable
 
removeSubtree(AbstractStep, AbstractBinding) - Static method in class edu.williams.cs.ljil.helpers.DiagramHelper
Removes a subtree from a diagram
removeTreeModelListener(TreeModelListener) - Method in class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel
Removes a listener previously added with addTreeModelListener.
reportException(String, String, Exception) - Method in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI
Display a warning box to report an exception to the user.
resActions - Variable in class edu.williams.cs.ljil.finitizer.issues.RecursionIssue
The actions that have been taken to eliminate recursion
ResolutionAction - Class in edu.williams.cs.ljil.finitizer.actions
 
ResolutionAction() - Constructor for class edu.williams.cs.ljil.finitizer.actions.ResolutionAction
 
ResolutionTreeModel - Class in edu.williams.cs.ljil.finitizer.ui
Model for the JTree representing ResolutionActions.
ResolutionTreeModel(Actionable) - Constructor for class edu.williams.cs.ljil.finitizer.ui.ResolutionTreeModel
Construct a model for an issue.
resolvedIcon - Static variable in class edu.williams.cs.ljil.finitizer.ui.IssuesListPane
The icon to display for resolved issues.
ResourceAcquireFail - Class in edu.williams.cs.ljil.finitizer.actions.recursion
 
ResourceAcquireFail(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.actions.recursion.ResourceAcquireFail
 
ResourceIdentifyFail - Class in edu.williams.cs.ljil.finitizer.actions.recursion
 
ResourceIdentifyFail(FSPBuilder, StepRef) - Constructor for class edu.williams.cs.ljil.finitizer.actions.recursion.ResourceIdentifyFail
 
rootFrame - Variable in class edu.williams.cs.ljil.finitizer.ui.FSPBuilderUI
 

A C D E F G H I L M N O P R S T U V