A B C D E F G H I L M N O P R S T U W X Y

A

accept(File) - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Return true if this file should be shown in the directory pane, false if it shouldn't.
accept(File) - Method in class uk.ac.ic.doc.y2002.tool.application.ExtensionFileFilter
 
actionPerformed(ActionEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.MenuLoadModuleListener
 
addArc(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied arc into DisplayPane
addClip(SelectionBox) - Method in class uk.ac.ic.doc.y2002.tool.editor.Clipboard
 
addExtension(String) - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Adds a filetype "dot" extension to filter against.
addFire() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu
 
addInputArc(ArcLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a new arc is added to the net.
addNode(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
addOpenInstance() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu
This function adds a menu item for "Open subnet instance"
addOpenTemplate() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu
This funtion adds a menu item for "Open subnet template"
addOutputArc(ArcLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a new arc is added to the net.
addProperties() - Method in class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu
The Listener which creates the Properties box must use reflection, as the class of the Properties box is not known until runtime - it is determined by the type of net.
addRefNodeSource(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a new refLink is added to the net.
addRefNodeTarget(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a new refLink is added to the net.
addRotate() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu
 
addSnap() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu
This funtion only adds a menu item for "Snap to position" if the arc isn't already snapping automatically.
addToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Re-use this function to change the arc weight.
addToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
Re-use this function to change the arc weight.
addToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Use this function to add a token to the place.
addToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Override this as necessary (eg for PlaceLabel).
addToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Use this function to add a token to the place.
addToken(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Use this function to add a specified number of tokens to the place.
addToken(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Use this function to add a specified number of tokens to the place.
addTokenDown() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu
This funtion only adds a menu item for "Decrease Arc Weight" if the arc has a weight > 1.
addTokenUp() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu
This funtion adds a menu item for "Add Token".
addWeightDown() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu
This funtion only adds a menu item for "Decrease Arc Weight" if the arc has a weight > 1.
addWeightUp() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu
This funtion adds a menu item for "Increase Arc Weight".
animate() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Call this function to start the automatic animation of the currently active net.
animate(String[], int) - Method in class uk.ac.ic.doc.y2002.tool.application.ModuleBridge
Request the program to animate a sequence of transitions, given a list of the transition ids.
animate(String[], int) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Call this function to start a particular animation of the currently active net.
animator - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
app - Variable in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
Application - class uk.ac.ic.doc.y2002.tool.application.Application.
GUI for Petri-net Tool
Application.ApplicationFrameListener - class uk.ac.ic.doc.y2002.tool.application.Application.ApplicationFrameListener.
A window listener
Application.ApplicationFrameListener(Application) - Constructor for class uk.ac.ic.doc.y2002.tool.application.Application.ApplicationFrameListener
 
Application() - Constructor for class uk.ac.ic.doc.y2002.tool.application.Application
 
ArcContextMenu - class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu.
Custom context (right-click) menu for the ArcLabels.
ArcContextMenu(PNLabel, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu
 
ArcLabel - class uk.ac.ic.doc.y2002.tool.editor.ArcLabel.
The ArcLabel is the JLabel representing an arc on screen.
ArcLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
ArcPropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.ArcPropertiesBox.
The properties box corresponding to the ArcLabel.
ArcPropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ArcPropertiesBox
 
ArcTypedLabel - class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel.
The ArcTypedLabel is a simple extension of ArcLabel which has one extra attribute - the type of arc.
ArcTypedLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
 
ArcTypedPropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.ArcTypedPropertiesBox.
The properties box corresponding to the ArcTypedLabel.
ArcTypedPropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ArcTypedPropertiesBox
 

B

beingMoved - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
buildMenu() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcContextMenu
 
buildMenu() - Method in class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu
This function should be overridden (with the parent version called first) in subclasses, to add more menu items.
buildMenu() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu
 
buildMenu() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu
 
buildMenu() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu
 

C

calcBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
calcBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
calcPreferredSize() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Can be called to calculate the required size to display all the objects in the net.
calcRotation() - Method in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
calcRotation() - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
calculate(HashMap) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
Calculate stored labels
changeElement(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Changes the element this PNLabel is representing.
checkIsSubnetable() - Method in class uk.ac.ic.doc.y2002.tool.application.MenuLoadModuleListener
 
chooseFire(List) - Method in class uk.ac.ic.doc.y2002.tool.application.GSPNAnimator
 
chooseFire(List) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
chooseSelectedButton(String) - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
chooseTool(String) - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
chosenRef - Static variable in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
chosenRef() - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Returns a string ref identifying the template that the user has chosen to insert into the net
chosenRoot - Static variable in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
classman - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
ClassManager - class uk.ac.ic.doc.y2002.tool.editor.ClassManager.
The ClassManager provides extensibility to the application, by selecting the classes that should be used to represent a particular type of net.
ClassManager(String) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
clearInputArcs() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
empties the local list of references to input ArcLabels
clearOutputArcs() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
empties the local list of references to output ArcLabels
Clipboard - class uk.ac.ic.doc.y2002.tool.editor.Clipboard.
 
Clipboard() - Constructor for class uk.ac.ic.doc.y2002.tool.editor.Clipboard
 
closeSubnetInstance() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Hide instance of this subnet
closeSubnetInstances() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
componentHidden(ComponentEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
componentMoved(ComponentEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
componentResized(ComponentEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
componentShown(ComponentEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
connectLabels(ArcLabel) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
contextmenu - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Class that is used to generate a context (right-click) menu for this type of PNLabel.
createSubnetInstance() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Generates subnet instance from module template, and creates a new window to display it, with accompanying PNLabels to enable animation - doesn't make it visible though.
currentModule - Static variable in class uk.ac.ic.doc.y2002.tool.application.Application
 

D

desktop - Variable in class uk.ac.ic.doc.y2002.tool.application.Application
 
display - Variable in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
DisplayPane - class uk.ac.ic.doc.y2002.tool.application.DisplayPane.
 
DisplayPane(EditorFrame, Element) - Constructor for class uk.ac.ic.doc.y2002.tool.application.DisplayPane
On creation, the DisplayPane, should be passed the or element which it is to display.
DisplayPropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.DisplayPropertiesBox.
The properties box corresponding to the whole net - managed in the DisplayPane.
DisplayPropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.DisplayPropertiesBox
 
doAttribute(String, JPanel, Element, Attribute) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
A variant on (and helper for) doAttributes(JPanel,Element,String) for when you want to specify the text used to label the input field.
doAttribute(String, JPanel, Element, Attribute, Vector) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
A variant on (and helper for) doAttributes(JPanel,Element,String) for when you want to specify the text used to label the input field, and you have a fixed set of allowed values for this attribute.
doAttributes(JPanel, Element, String) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Deals with attributes of the current element, eg - creates a label and a field, with attached Listener of class AttribUpdater.
doElement(JPanel, Element, String) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Function which recursively works through the Element and its children, producing labels and input fields.
dofirst() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
When first drawn, the ArcLabel initialises its LineLabel and adds it to the DisplayPane.
dofirst() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcPropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedPropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.DisplayPropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodePropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlacePropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNPropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Override in subclasses to find those elements which should not be shown in the properties box.
doHidden(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticPropertiesBox
Find those elements which should not be shown in the properties box, and add them to the "hiddens" HashSet.
done(Object) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
 
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcPropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedPropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.DisplayPropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodePropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlacePropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNPropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Override in subclasses to find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doSpecial(JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticPropertiesBox
Find and add to the panel elements that require special treatment, and those that should always be available for a particular type of petri net object.
doTextContent(JPanel, Element, String) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Deals with text content within an element, eg 34 - creates a label and a field, with attached Listener of class ValueUpdater.
doTextContent(String, JPanel, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
A variant on doTextContent(JPanel,Element,String) for when you want to specify the text used to label the input field.
doubleclickAction() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Override in subclasses to produce required functionality
doubleclickAction() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
Shortcut to allow the user to fire a transition by double-clicking it.
drawToken(Graphics2D, int, int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Used in drawTokens()
drawTokens(Graphics2D) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Draws tokens: hardcoded for 0 - 9; any higher simply prints the number.

E

EditorFrame - class uk.ac.ic.doc.y2002.tool.application.EditorFrame.
 
EditorFrame.EditorFrameListener - class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener.
A window listener
EditorFrame.EditorFrameListener(EditorFrame) - Constructor for class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
EditorFrame(Application, Document, Element, File) - Constructor for class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
eframe - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
element - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Reference to the JDOM Element which represents this object.
ExampleFileFilter - class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter.
A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.
ExampleFileFilter() - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Creates a file filter.
ExampleFileFilter(String) - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Creates a file filter that accepts files with the given extension.
ExampleFileFilter(String[]) - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Creates a file filter from the given string array.
ExampleFileFilter(String[], String) - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Creates a file filter from the given string array and description.
ExampleFileFilter(String, String) - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Creates a file filter that accepts the given file type.
exportPlace() - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Returns the id of the exportplace of the template that been chosen to insert
ExportPlaceLabel - class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel.
 
ExportPlaceLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
ExtensionFileFilter - class uk.ac.ic.doc.y2002.tool.application.ExtensionFileFilter.
 
ExtensionFileFilter() - Constructor for class uk.ac.ic.doc.y2002.tool.application.ExtensionFileFilter
 

F

file - Variable in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
fillcolour - Variable in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
fillcolour - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
findType(String, Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
Recursive function which searches the tree for the given type.
fire() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
When fired, an Arc adds its weight in Tokens to its target.
fire() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
When fired, an Arc adds its weight in Tokens to its target.
fire() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
Performs the fire by subtracting tokens from the input places and adding them to the output places.
fire() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Performs the fire by subtracting tokens from the input places and adding them to the output places.
firsttime - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
focusGained(FocusEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.AttribUpdater
 
focusGained(FocusEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.ValueUpdater
 
focusLost(FocusEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.AttribUpdater
 
focusLost(FocusEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.ValueUpdater
 
format(String) - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
 

G

generateTitle() - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
generateTitle() - Method in class uk.ac.ic.doc.y2002.tool.application.SubnetFrame
 
getClass(Element, String, Class) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
Extracts and returns a Class object from the hierarchy, given parameters.
getClasses(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
This function extracts classes from a element.
getClip() - Method in class uk.ac.ic.doc.y2002.tool.editor.Clipboard
 
getClipboard() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
getContainedElements() - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
Get the elements contained by the box
getDescription() - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Returns the human readable description of this filter.
getDescription() - Method in class uk.ac.ic.doc.y2002.tool.application.ExtensionFileFilter
 
getDisplayPane() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
getDisplayPane() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
Method to get DisplayPane in which the parent of these elements is contained
getDisplayPane() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Method to get DisplayPane in which the parent of these elements is contained
getElement() - Method in class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu
 
getExtension(File) - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Return the extension portion of the file's name .
getHeight() - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
Get selection box height
getID() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
getID() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
Gets the ID of an element.
getID() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Gets the ID of an element.
getImpExpLabel(String) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Returns the import or export label corresponding to the input id
getInputArcs() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
returns the local list of references to input ArcLabels
getJX() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Get X value from the JDOM Document Defaults to 0 if not found
getJX() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
getJX() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
getJY() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Get Y value from the JDOM Document Defaults to 0 if not found
getJY() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
getJY() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
getLabel(String) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
getLinkedLabels() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Returns a list of PNLabels which are linked to this PNLabel.
getLinkedLabels() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
getLinkedLabels() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Override in subclasses to return a list of PNLabels which are linked to this PNLabel.
getLinkedLabels() - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
Returns a list of PNLabels which are linked to this PNLabel.
getMarking() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Gets the Marking value from the JDOM Document (the number of tokens on the place).
getMarking() - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Gets the Marking value from the place referenced
getName() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
getName() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
Gets the name (attribute is parameter) of the subnetExportLabel
getName() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Gets the name (attribute is parameter) of the subnetImportLabel
getOutputArcs() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
returns the local list of references to output ArcLabels
getPlace() - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Retrieves the PlaceLabel referenced
getPreferredSize() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
getPreferredSize() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
getRefNodeSources() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
returns a list of refNodeSource elements
getRefNodeTarget() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
returns the refNodeTarget element
getRotation() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
Gets the Rotation property in the JDOM Document (default 0).
getSelectedDisplayPane() - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
getSelectedFrame() - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
getSnap() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Gets the Snap-to-position property in the JDOM Document.
getSourceID() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Returns the source ID stored in the Arc element
getTargetID() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Returns the target ID stored in the Arc element
getTemplateModule() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Returns the element of the subnet template
getTimestep() - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
getToolspecific() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Function to find and return the Toolspecific element corresponding to this tool.
getType() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
Access function for the arc type stored in the JDOM Document: for example.
getType() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Access function for the transition type stored in the JDOM Document: for example.
getWeight() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Access function for the arc weight stored in the JDOM Document - default 1.
getWeight() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Gets the transition weight from the JDOM Document.
GSPNAnimator - class uk.ac.ic.doc.y2002.tool.application.GSPNAnimator.
 
GSPNAnimator(DisplayPane) - Constructor for class uk.ac.ic.doc.y2002.tool.application.GSPNAnimator
 

H

height - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
highlight(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
This overridden version also deals with highlighting the lines.
highlight(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
highlight(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Should not be called directly: call select instead.
highlight(String) - Method in class uk.ac.ic.doc.y2002.tool.application.ModuleBridge
Request the program to highlight the object, given its id.
highlightAll(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
highlightEnabled(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
highlightEnabled(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
highlightEnabled(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
highlightEnabledTransitions(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.GSPNAnimator
Highlights enabled transitions and returns a List of enabled transitions
highlightEnabledTransitions(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Highlights enabled transitions and returns a List of enabled transitions
highlightfill - Variable in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
highlightfill - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
highlightFire() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
highlightFire() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
highlightFire() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
highlightLine(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Highlights (or un-highlights) the line.
highlightPNLabel(PNLabel, boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
highlightPNLabel(String, boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
highlightPNLabelOnly(PNLabel, boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 

I

id - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Locally-stored copy of the object's unique id.
IMAGES - Static variable in class uk.ac.ic.doc.y2002.tool.application.Application
 
importPlace() - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Returns the id of the importplace of the template that been chosen to insert
ImportPlaceLabel - class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel.
 
ImportPlaceLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
instanceFrame - Variable in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
instantiateSubnets() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
inSubnet() - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
internalFrameActivated(InternalFrameEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
internalFrameClosing(InternalFrameEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame.EditorFrameListener
 
isActive() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Arc is active if its Source is active - it informs the source of the arc weight, and asks it whether it is active.
isActive() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
If arc is an "inhibitor" arc, it is only active if its source place has no tokens.
isActive() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
A node is active if all of its input arcs are active - this function queries the arcs.
isActive() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Should not be called on this class.
isActive() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Override in subclasses to indicate when an element is enabled within the net.
isActive(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
A new version of isActive() - allows more specific queries, taking arc weights and numbers of tokens into account.
isActive(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Queries if a place is active.
isAnimating() - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
isAnimating() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
isExtensionListInDescription() - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
isImmediate() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
 
isModule() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
isTimed() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
 

L

lastX - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
lastY - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
LineLabel - class uk.ac.ic.doc.y2002.tool.editor.LineLabel.
The LineLabel draws the actual lines and arrow in the arc.
LineLabel(PNLabel, PNLabel, PNLabel) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
linkSubnet(SubnetImportLabel, SubnetExportLabel) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
loadClassManager(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
loadDocument(Document, Element, File) - Method in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
loadHierarchy(String) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
function which loads in the XML file specifying the nettype hierarchy, and discovers a path through the hierarchy to the given nettype.

M

main(String[]) - Static method in class uk.ac.ic.doc.y2002.tool.application.Application
 
makeBackup() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Makes a backup of the current DOM - but not if there's already a backup stored.
makeElement(Integer, Integer, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Function to create a new place element.
makeElement(Integer, Integer, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
makeElement(Integer, Integer, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
makeElement(Integer, Integer, String, String, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
makeElement(Integer, Integer, String, String, String, Namespace, String) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
 
makeElement(Integer, Integer, String, String, String, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Function to create a new subnet element.
makeElement(int, int, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
makeElement(int, int, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
makeElement(int, int, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
makeElement(String, String, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
Function to create a new exportplace element for use in a subnet.
makeElement(String, String, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Function to create a new importplace element for use in a subnet.
makeGraphics(String, String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Creates a graphics JDOM Element for use by a new PN element.
makeInscription(Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
makeLabels() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
makeMarking(Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Function to create an initial marking used by new places.
makeName(String, Namespace) - Static method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
Function to create a name element used by NodeLabel elements (places and transitions etc.).
makePanel() - Method in class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
Makes the panel which contains the input fields.
makeToolspecific() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Function to make a Toolspecific element - assumes one does not exist already.
MenuLoadModuleListener - class uk.ac.ic.doc.y2002.tool.application.MenuLoadModuleListener.
 
MenuLoadModuleListener(Application) - Constructor for class uk.ac.ic.doc.y2002.tool.application.MenuLoadModuleListener
 
ModuleBridge - class uk.ac.ic.doc.y2002.tool.application.ModuleBridge.
Bridge class allowing Modules to pass instructions back to the main program, for example to display a sequence of transitions firing.
ModuleBridge(DisplayPane) - Constructor for class uk.ac.ic.doc.y2002.tool.application.ModuleBridge
Initialise the ModuleBridge with a reference to the active DisplayPane.
mouseClicked(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mouseClicked(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
mouseClicked(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
mouseDragged(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Handles the event of a user dragging the mouse while holding down the mouse button.
mouseDragged(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mouseDragged(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
mouseDragged(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
mouseEntered(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mouseExited(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mouseMoved(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mousePressed(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mousePressed(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
mousePressed(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
mouseReleased(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
mouseReleased(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mouseReleased(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
mouseReleased(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
myClipboard - Static variable in class uk.ac.ic.doc.y2002.tool.application.Application
 
myElementName() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
mySelection - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 

N

newAnimator(DisplayPane) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newArc() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newArcElement(Object[]) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newArcLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newElement(Object[], Class) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newExportPlaceLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newImmediateTransition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newImportPlaceLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newPlace(int, int) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newPlaceElement(Object[]) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newPlaceLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
Call this function whenever a new PlaceLabel needs to be created.
newPNLabel(Element, Class) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
Used by the more specific new*Label functions.
newReferencePlace(int, int) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newReferencePlaceElement(Object[]) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newReferencePlaceLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newRefLink() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newSubnet(int, int, String, String, String) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newSubnetElement(Object[]) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newSubnetLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newTimedTransition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newTransition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
newTransitionElement(Object[]) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
newTransitionLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.editor.ClassManager
 
NodeLabel - class uk.ac.ic.doc.y2002.tool.editor.NodeLabel.
Superclass for node elements in the Petri net, such as places and transitions.
NodeLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
NodePropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.NodePropertiesBox.
The properties box corresponding to the NodeLabel - common properties for places, transitions etc.
NodePropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.NodePropertiesBox
 
normalfill - Variable in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
normalfill - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
notify(PNLabel) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
notifySource() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
ns - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
ns - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Namespace of the JDOM Element which represents this object.

O

offset - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
openSubnetInstance() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Create and open an instance of this subnet
openSubnetTemplate() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Open the template corresponding to the subnet instance

P

paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Paints the Circle and the Tokens.
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
The function which draws the PNLabel on screen.
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
paintComponent(Graphics) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
paintName(Graphics2D) - Method in class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
paintName(Graphics2D) - Method in class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
paintName(Graphics2D) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
 
paintName(Graphics2D) - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
paste() - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
paste SelectionBox into top corner of displayPane
pasteArcLabel(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied arclabel into DisplayPane @return new id of label.
pastePlace(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied placeLabel into DisplayPane @return new id of label.
pasteReferencePlace(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied ReferencePlacelabel into DisplayPane @return new id of label.
pasteSubnetPlace(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied Subnetlabel into DisplayPane @return new id of label.
pasteTransition(Element) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Pastes a copied Transitionlabel into DisplayPane @return new id of label.
pause() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Call this function to stop (pause) any currently running animation.
PetriContextMenu - class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu.
The PetriContextMenu is the menu that appears when the user right-clicks on a Petri net element.
PetriContextMenu(DisplayPane, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu
 
PetriContextMenu(PNLabel, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PetriContextMenu
 
PlaceContextMenu - class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu.
Custom context (right-click) menu for the Places.
PlaceContextMenu(PNLabel, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PlaceContextMenu
 
PlaceLabel - class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel.
The PlaceLabel represents a place on screen.
PlaceLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
 
PlacePropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.PlacePropertiesBox.
The properties box corresponding to the PlaceLabel.
PlacePropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PlacePropertiesBox
 
PNAnimator - class uk.ac.ic.doc.y2002.tool.application.PNAnimator.
 
PNAnimator(DisplayPane) - Constructor for class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
PNLabel - class uk.ac.ic.doc.y2002.tool.editor.PNLabel.
The PNLabel class is the basis of all Petri Net Labels in the program.
PNLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
PNPropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.PNPropertiesBox.
The properties box corresponding to the PNLabel.
PNPropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PNPropertiesBox
 
positionLines() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Calculates the position of the Arc - either snap-to-position or user specified.
propertiesbox - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Class that is used to generate a properties box for this type of PNLabel.
PropertiesFrame - class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.
The base class for the Properties Window.
PropertiesFrame.AttribUpdater - class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.AttribUpdater.
Listener class which is attached to an input text field and updates the JDOM Element with any changes.
PropertiesFrame.AttribUpdater(PropertiesFrame, Element, String) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.AttribUpdater
 
PropertiesFrame.ValueUpdater - class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.ValueUpdater.
Listener class which is attached to an input text field and updates the JDOM Element with any changes.
PropertiesFrame.ValueUpdater(PropertiesFrame, Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame.ValueUpdater
 
PropertiesFrame(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.PropertiesFrame
 

R

radius - Variable in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
 
ReferencePlaceLabel - class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel.
 
ReferencePlaceLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
referenceTarget() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
RefLinkLabel - class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel.
The RefLinkLabel class draws the reference links between reference places and places.
RefLinkLabel(PNLabel, PNLabel) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
refLinkTable - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
refPairs - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
reloadDOM() - Method in class uk.ac.ic.doc.y2002.tool.application.ModuleBridge
Signal the program to re-initialise the display from the current state of the DOM.
remove() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
A cleanup function that is called when the label is removed from the display.
remove() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
Called when a label is asked to remove itself from the DisplayPane
remove() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Function that should be called when the element is removed from the Petri Net.
remove() - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
remove() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
Remove a subnet from the displayPane in which it is contained
removeInputArc(ArcLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when an arc is removed from the net.
removeLabel() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
Method to remove an internal label from a subnet.
removeLabel() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Method to remove an internal label from a subnet.
removeLabel(PNLabel) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
removeMe() - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
remove selection box from DisplayPane
removeOutputArc(ArcLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when an arc is removed from the net.
removeReference() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
removeReferenceLabel() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
removeRefNodeSource(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a refLink is removed from the net.
removeRefNodeTarget() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
typically called when a refLink is removed from the net.
removeSelectionBox() - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
removeTargetSourceEntry(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
remToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Re-use this function to change the arc weight.
remToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
Re-use this function to change the arc weight.
remToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Use this function to remove a token from the place.
remToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Override as necessary (eg for PlaceLabel).
remToken() - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Use this function to remove a token from the place.
remToken(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Use this function to remove the specified number of tokens from the place.
remToken(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Use this function to remove the specified number of tokens from the place.
restoreFromBackup() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
returnElement() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
An access function that returns the JDOM Element which this PNLabel represents.
returnSelected() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
revert() - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
Restores main DOM to the backed-up version
root - Variable in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
 
root - Variable in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
rotation - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
runAModule() - Method in class uk.ac.ic.doc.y2002.tool.application.MenuLoadModuleListener
 

S

scaling - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
select(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Selects the PNLabel.
selected - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
SelectionBox - class uk.ac.ic.doc.y2002.tool.editor.SelectionBox.
Class used by editing tools to select objects and store cut and copied objects.
SelectionBox(int, int) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
 
selectOnly(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Selects the PNLabel without unselecting others in the display.
setAnimate(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.Application
This function retrieves the current animation state, and enables/disables buttons appropriately.
setAnimate(boolean, boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.Application
This function enables/disables buttons appropriately, given an animation state.
setColour() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
 
setCutOffset() - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
store position at which box is cut
setDescription(String) - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Sets the human readable description of this filter.
setExtensionListInDescription(boolean) - Method in class uk.ac.ic.doc.y2002.tool.application.ExampleFileFilter
Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
setImmediate() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Default version of setImmediate(float weight)
setImmediate(float) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Set the transition to be an immediate transition with the given weight.
setJX(Element, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
 
setJX(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Set X value in the JDOM Document note this may need conversion from the actual x,y values for the label
setJY(Element, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
 
setJY(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Set Y value in the JDOM Document note this may need conversion from the actual x,y values for the label
setMarking(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
Sets the Marking value in the JDOM Document.
setMarking(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
Sets the Marking value in the place referenced
setPosition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
Updates DOM with new values and sets the label position - - also updates connected arcs
setPosition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Update DOM with new values and set the label position.
setPosition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
setPosition(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
setRotation(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
Sets the Rotation property in the JDOM Document.
setSnap(boolean) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Sets the Snap-to-position property in the JDOM Document.
setSourceLabel(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Sets the local reference to the Label representing the arc's Source.
setTargetLabel(NodeLabel) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Sets the local reference to the Label representing the arc's Target.
setTimed() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Default version of setTimed(float weight)
setTimed(float) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Set the transition to be a timed transition with the given weight.
setTimestep(int) - Method in class uk.ac.ic.doc.y2002.tool.application.PNAnimator
 
setTool - Static variable in class uk.ac.ic.doc.y2002.tool.application.Application
 
setType(String) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
Sets the Arc Type in the JDOM Document.
setType(String) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Sets the Transition Type in the JDOM Document.
setWeight(float) - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Sets the transition weight (aka priority) in the JDOM Document.
setWeight(int) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Sets the Arc weight in the JDOM Document.
showContextMenu(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.DisplayPane
Brings up the right-click popup menu.
showContextMenu(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Brings up the right-click popup menu.
simulateSave() - Method in class uk.ac.ic.doc.y2002.tool.application.Application
 
snapToPosition() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Positions the arc exactly between its source and target.
stretchBox(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
stretch Selection Box
subnet - Variable in class uk.ac.ic.doc.y2002.tool.application.EditorFrame
 
SubnetContextMenu - class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu.
Custom context (right-click) menu for the Subnets.
SubnetContextMenu(PNLabel, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.SubnetContextMenu
 
SubnetExportLabel - class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel.
Class for internal export labels in subnet instance.
SubnetExportLabel(Element, SubnetLabel) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
SubnetFrame - class uk.ac.ic.doc.y2002.tool.application.SubnetFrame.
 
SubnetFrame(Application, Document, Element, File) - Constructor for class uk.ac.ic.doc.y2002.tool.application.SubnetFrame
 
SubnetImportLabel - class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel.
Class for internal import labels in subnet instance.
SubnetImportLabel(Element, SubnetLabel) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
SubnetLabel - class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel.
SubnetLabel represents the instance of a subnet within a petri net It creates labels for import and export places within itself
SubnetLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
subnetRef - Variable in class uk.ac.ic.doc.y2002.tool.application.Application
 
subnetRoot - Variable in class uk.ac.ic.doc.y2002.tool.application.Application
 

T

textspace - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
tokenradius - Variable in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
 
TransitionContextMenu - class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu.
The TransitionContextMenu adds functionality to the basic PetriContextMenu, allowing the user to Rotate a transition and Fire an enabled transition.
TransitionContextMenu(PNLabel, Class) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.TransitionContextMenu
 
TransitionLabel - class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel.
The TransitionLabel represents a normal transition.
TransitionLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
TransitionStochasticLabel - class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel.
The TransitionStochasticLabel may represent Timed or Immediate transitions.
TransitionStochasticLabel(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
 
TransitionStochasticPropertiesBox - class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticPropertiesBox.
The properties box corresponding to the TransitionStochasticLabel.
TransitionStochasticPropertiesBox(Element) - Constructor for class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticPropertiesBox
 

U

unfire() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
When un-fired, an Arc removes its weight in Tokens from its source.
unfire() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
When un-fired, an Arc removes its weight in Tokens from its source.
unHighlight() - Method in class uk.ac.ic.doc.y2002.tool.application.ModuleBridge
Request the program to un-highlight all objects.
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
may be overridden to deal with different sizes and shapes of labels.
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetExportLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.SubnetLabel
 
updateBounds() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionLabel
 
updateLine() - Method in class uk.ac.ic.doc.y2002.tool.editor.LineLabel
 
updateLine() - Method in class uk.ac.ic.doc.y2002.tool.editor.RefLinkLabel
 
updateLocation(int, int) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
updateLocation(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
Updates the coordinates representing the location of the current label in response to Mouse being dragged.
updateLocation(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.ExportPlaceLabel
 
updateLocation(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel
 
updateLocation(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
updateLocation(MouseEvent) - Method in class uk.ac.ic.doc.y2002.tool.editor.SelectionBox
in response to a pasted object being dragged event location is updated
updatePosition() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
updateReferences() - Method in class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
 
updateSelf() - Method in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
Function which allows the label to update itself (eg for modifying screen display) in response to changes in the underlying JDOM Element.
updateSelf() - Method in class uk.ac.ic.doc.y2002.tool.editor.TransitionStochasticLabel
Function which allows the label to update itself (eg for modifying screen display) in response to changes in the underlying JDOM Element.

W

width - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
windowClosing(WindowEvent) - Method in class uk.ac.ic.doc.y2002.tool.application.Application.ApplicationFrameListener
 

X

xoffset - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
xPress - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 

Y

yoffset - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 
yPress - Variable in class uk.ac.ic.doc.y2002.tool.editor.PNLabel
 

A B C D E F G H I L M N O P R S T U W X Y