|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.awt.Component | +--java.awt.Container | +--javax.swing.JComponent | +--javax.swing.JLabel | +--pipe.dataLayer.PetriNetObject | +--pipe.dataLayer.Arc
Arc - Petri-Net Arc Class
Inner classes inherited from class javax.swing.JLabel |
javax.swing.JLabel.AccessibleJLabel |
Inner classes inherited from class javax.swing.JComponent |
javax.swing.JComponent.AccessibleJComponent, javax.swing.JComponent.ActionStandin, javax.swing.JComponent.IntVector, javax.swing.JComponent.KeyboardState |
Inner classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
Inner classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock |
Field Summary | |
private int |
_height
|
private int |
_width
for the bounds of the component |
private java.awt.geom.Line2D.Double |
arc
Arc is of type Line2D.Double |
private ArrowLabel |
arrow
|
private java.lang.Double |
endPositionX
End X-axis Position |
private java.lang.Double |
endPositionY
End Y-axis Position |
private double |
endXOffset
|
private double |
endYOffset
|
private java.lang.String |
inscription
Inscription |
private java.lang.Double |
inscriptionOffsetX
Inscription X-axis Offset |
private java.lang.Double |
inscriptionOffsetY
Inscription Y-axis Offset |
private java.lang.Double |
midX
coordinates for the arrow |
private java.lang.Double |
midY
|
static int |
NE
Members to indicate the different directions that the arc can be drawn in |
static int |
NW
|
private int |
quad
Member to indicate which direction this arc was drawn in |
private java.awt.geom.Line2D.Double |
realarc
|
static int |
SE
|
private PlaceTransitionObject |
source
references to the objects this arc connects |
private java.lang.Double |
startPositionX
Start X-axis Position |
private java.lang.Double |
startPositionY
Start Y-axis Position |
private double |
startXOffset
|
private double |
startYOffset
|
static int |
SW
|
private PlaceTransitionObject |
target
|
private java.lang.Integer |
weighting
Current Marking |
private java.lang.Double |
weightingOffsetX
Initial Marking X-axis Offset |
private java.lang.Double |
weightingOffsetY
Initial Marking Y-axis Offset |
Fields inherited from class pipe.dataLayer.PetriNetObject |
color, id, movable, pnname |
Fields inherited from class javax.swing.JLabel |
accessibleIcon, defaultIcon, disabledIcon, disabledIconSet, horizontalAlignment, horizontalTextPosition, iconTextGap, LABELED_BY_PROPERTY, labelFor, mnemonic, text, uiClassID, verticalAlignment, verticalTextPosition |
Fields inherited from class javax.swing.JComponent |
_bounds, accessibleContext, actionMap, ACTIONMAP_CREATED, alignmentX, alignmentY, ANCESTOR_INPUTMAP_CREATED, ANCESTOR_USING_BUFFER, ancestorInputMap, ancestorNotifier, autoscroller, border, changeSupport, clientProperties, CREATED_DOUBLE_BUFFER, flags, FOCUS_INPUTMAP_CREATED, focusInputMap, HAS_FOCUS, htmlKey, htmlView, inputVerifier, IS_DOUBLE_BUFFERED, IS_OPAQUE, IS_PAINTING_TILE, IS_PRINTING, IS_PRINTING_ALL, KEY_EVENTS_ENABLED, KEYBOARD_BINDINGS_KEY, listenerList, maximumSize, minimumSize, NEXT_FOCUS, paintImmediatelyClip, paintingChild, preferredSize, readObjectCallbacks, REQUEST_FOCUS_DISABLED, tmpRect, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, verifyInputWhenFocusTarget, vetoableChangeSupport, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW, WHEN_IN_FOCUSED_WINDOW_BINDINGS, WIF_INPUTMAP_CREATED, windowInputMap |
Fields inherited from class java.awt.Container |
component, containerListener, containerSerializedDataVersion, dbg, dispatcher, layoutMgr, listeningBoundsChildren, listeningChildren, maxSize, ncomponents, printing, printingThreads, serialVersionUID |
Fields inherited from class java.awt.Component |
actionListenerK, adjustmentListenerK, appContext, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, metrics, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, name, nameExplicitlySet, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, privateKey, RIGHT_ALIGNMENT, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowClosingException, windowListenerK, x, y |
Fields inherited from interface javax.swing.SwingConstants |
BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NORTH, NORTH_EAST, NORTH_WEST, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST |
Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
Arc()
Create Petri-Net Arc object |
|
Arc(double startPositionXInput,
double startPositionYInput,
double endPositionXInput,
double endPositionYInput,
java.awt.Color colorInput)
Create Petri-Net Arc object |
|
Arc(double startPositionXInput,
double startPositionYInput,
double endPositionXInput,
double endPositionYInput,
PlaceTransitionObject sourceInput,
PlaceTransitionObject targetInput,
java.lang.String idInput,
java.awt.Color colorInput)
Create Petri-Net Arc object |
|
Arc(double startPositionXInput,
double startPositionYInput,
double endPositionXInput,
double endPositionYInput,
java.lang.String idInput,
java.awt.Color colorInput)
Create Petri-Net Arc object |
|
Arc(double startPositionXInput,
double startPositionYInput,
double endPositionXInput,
double endPositionYInput,
java.lang.String idInput,
PlaceTransitionObject sourceInput,
PlaceTransitionObject targetInput,
int weightingInput,
double inscriptionOffsetXInput,
double inscriptionOffsetYInput,
java.awt.Color colorInput)
Create Petri-Net Arc object |
Method Summary | |
void |
doSetBounds(int _startx,
int _starty)
Sets the bounds of the arc with respect to the enclosing container. |
double |
getArcAngle()
Returns the depression angle of the arc wrt the y axis of the coordinate space of the View (M/V/C Design Pattern) |
ArrowLabel |
getArrow()
|
double |
getEndPositionX()
Get X-axis value of end position |
java.lang.Double |
getEndPositionXObject()
Get X-axis value of end position returns null if value not yet entered |
double |
getEndPositionY()
Get Y-axis value of end position |
java.lang.Double |
getEndPositionYObject()
Get Y-axis value of end position returns null if value not yet entered |
java.lang.String |
getId()
Get id |
java.lang.String |
getInscription()
Get inscription returns null if value not yet entered |
double |
getInscriptionOffsetX()
Get X-axis offset for inscription position |
java.lang.Double |
getInscriptionOffsetXObject()
Get X-axis offset for inscription position returns null if value not yet entered |
double |
getInscriptionOffsetY()
Get Y-axis offset for inscription position |
java.lang.Double |
getInscriptionOffsetYObject()
Get Y-axis offset for inscription position returns null if value not yet entered |
int |
getQuad()
Returns quadrant in which the arc is drawn on in the View (M/V/C Design Pattern) |
java.awt.Shape |
getShape()
Get Shape of PetriNetObject |
PlaceTransitionObject |
getSource()
Get source returns null if value not yet entered |
double |
getStartPositionX()
Get X-axis value of start position |
java.lang.Double |
getStartPositionXObject()
Get X-axis value of start position returns null if value not yet entered |
double |
getStartPositionY()
Get Y-axis value of start position |
java.lang.Double |
getStartPositionYObject()
Get Y-axis value of start position returns null if value not yet entered |
PlaceTransitionObject |
getTarget()
Get target returns null if value not yet entered |
int |
getWeighting()
Get Weighting |
java.lang.Integer |
getWeightingObject()
Get Weighting returns null if value not yet entered |
double |
getWeightingOffsetX()
Get X-axis offset for weighting position |
java.lang.Double |
getWeightingOffsetXObject()
Get X-axis offset for weighting position returns null if value not yet entered |
double |
getWeightingOffsetY()
Get Y-axis offset for weighting position |
java.lang.Double |
getWeightingOffsetYObject()
Get Y-axis offset for weighting position returns null if value not yet entered |
void |
modify(double startX,
double startY,
double endX,
double endY)
Modifies end coordinates of arc |
void |
mouseClicked(java.awt.event.MouseEvent e)
|
void |
mouseDragged(java.awt.event.MouseEvent e)
|
void |
mouseEntered(java.awt.event.MouseEvent e)
|
void |
mouseExited(java.awt.event.MouseEvent e)
|
void |
mouseMoved(java.awt.event.MouseEvent e)
|
void |
mousePressed(java.awt.event.MouseEvent e)
|
void |
mouseReleased(java.awt.event.MouseEvent e)
|
void |
paintComponent(java.awt.Graphics g)
|
void |
setArrow(ArrowLabel _arrow)
|
void |
setEndPositionX(double endPositionXInput)
Set X-axis value of end position |
void |
setEndPositionY(double endPositionYInput)
Set Y-axis value of end position |
void |
setId(java.lang.String idInput)
Set id |
void |
setInscription(java.lang.String inscriptionInput)
Set inscription |
void |
setInscriptionOffsetX(double inscriptionOffsetXInput)
Set X-axis offset for inscription position |
void |
setInscriptionOffsetY(double inscriptionOffsetYInput)
Set Y-axis offset for inscription position |
void |
setSource(PlaceTransitionObject sourceInput)
Set source |
void |
setStartPositionX(double startPositionXInput)
Set X-axis value of start position |
void |
setStartPositionY(double startPositionYInput)
Set Y-axis value of start position |
void |
setTarget(PlaceTransitionObject targetInput)
Set target |
void |
setWeighting(int weightingInput)
Set Weighting |
void |
setWeightingOffsetX(double weightingOffsetXInput)
Set X-axis offset for weighting position |
void |
setWeightingOffsetY(double weightingOffsetYInput)
Set Y-axis offset for weighting position |
void |
updateSize(java.awt.event.MouseEvent e)
|
Methods inherited from class pipe.dataLayer.PetriNetObject |
getColor, getMovable, getNameLabel, setColor, setMovable |
Methods inherited from class javax.swing.JLabel |
checkHorizontalKey, checkVerticalKey, getAccessibleContext, getDisabledIcon, getDisplayedMnemonic, getHorizontalAlignment, getHorizontalTextPosition, getIcon, getIconTextGap, getLabelFor, getText, getUI, getUIClassID, getVerticalAlignment, getVerticalTextPosition, imageUpdate, paramString, setDisabledIcon, setDisplayedMnemonic, setDisplayedMnemonic, setHorizontalAlignment, setHorizontalTextPosition, setIcon, setIconTextGap, setLabelFor, setText, setUI, setVerticalAlignment, setVerticalTextPosition, updateUI, writeObject |
Methods inherited from class javax.swing.JComponent |
_paintImmediately, |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, addImpl, adjustListeningChildren, applyOrientation, checkGD, countComponents, createChildHierarchyEvents, createHierarchyEvents, deliverEvent, dispatchEventImpl, dispatchEventToSelf, doLayout, eventEnabled, findComponentAt, findComponentAt, findComponentAt, getAccessibleAt, getAccessibleChild, getAccessibleChildrenCount, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getLayout, getMouseEventTarget, getWindow, initIDs, insets, invalidate, invalidateTree, isAncestorOf, layout, lightweightPaint, lightweightPrint, list, list, locate, minimumSize, nextFocus, numListening, paintComponents, paintHeavyweightComponents, postProcessKeyEvent, postsOldMouseEvents, preferredSize, preProcessKeyEvent, printComponents, printHeavyweightComponents, processContainerEvent, processEvent, proxyEnableEvents, proxyRequestFocus, remove, remove, removeAll, removeContainerListener, setFocusOwner, setLayout, transferFocus, validate, validateTree |
Methods inherited from class java.awt.Component |
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, areInputMethodsEnabled, bounds, checkImage, checkImage, checkWindowClosingException, coalesceEvents, constructComponentName, contains, createImage, createImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getAccessibleIndexInParent, getAccessibleStateSet, getBackground, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocationOnScreen_NoTreeLock, getLocationOnScreen, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getSize, getToolkit, getToolkitImpl, getTreeLock, getWindowForObject, gotFocus, handleEvent, inside, isDisplayable, isEnabled, isEnabledImpl, isLightweight, isRecursivelyVisible, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, repaint, repaint, repaint, resetGC, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
Field Detail |
private java.lang.Double startPositionX
private java.lang.Double startPositionY
private java.lang.Double endPositionX
private java.lang.Double endPositionY
private java.lang.Integer weighting
private java.lang.Double weightingOffsetX
private java.lang.Double weightingOffsetY
private java.lang.String inscription
private java.lang.Double inscriptionOffsetX
private java.lang.Double inscriptionOffsetY
private java.awt.geom.Line2D.Double arc
private java.awt.geom.Line2D.Double realarc
private ArrowLabel arrow
public static final int NE
public static final int SE
public static final int SW
public static final int NW
private int quad
private double startXOffset
private double startYOffset
private double endXOffset
private double endYOffset
private java.lang.Double midX
private java.lang.Double midY
private int _width
private int _height
private PlaceTransitionObject source
private PlaceTransitionObject target
Constructor Detail |
public Arc(double startPositionXInput, double startPositionYInput, double endPositionXInput, double endPositionYInput, java.lang.String idInput, PlaceTransitionObject sourceInput, PlaceTransitionObject targetInput, int weightingInput, double inscriptionOffsetXInput, double inscriptionOffsetYInput, java.awt.Color colorInput)
startPositionXInput
- Start X-axis PositionstartPositionYInput
- Start Y-axis PositionendPositionXInput
- End X-axis PositionendPositionYInput
- End Y-axis PositionidInput
- Arc idsourceInput
- Arc sourcetargetInput
- Arc targetweightingInput
- WeightinginscriptionOffsetXInput
- Inscription X-axis PositioninscriptionOffsetYInput
- Inscription Y-axis PositioncolorInput
- Colorpublic Arc(double startPositionXInput, double startPositionYInput, double endPositionXInput, double endPositionYInput, PlaceTransitionObject sourceInput, PlaceTransitionObject targetInput, java.lang.String idInput, java.awt.Color colorInput)
startPositionXInput
- Start X-axis PositionstartPositionYInput
- Start Y-axis PositionendPositionXInput
- End X-axis PositionendPositionYInput
- End Y-axis PositionidInput
- Arc idsourceInput
- Arc sourcetargetInput
- Arc targetcolorInput
- Colorpublic Arc(double startPositionXInput, double startPositionYInput, double endPositionXInput, double endPositionYInput, java.lang.String idInput, java.awt.Color colorInput)
startPositionXInput
- Start X-axis PositionstartPositionYInput
- Start Y-axis PositionendPositionXInput
- End X-axis PositionendPositionYInput
- End Y-axis PositionidInput
- Arc idcolorInput
- Colorpublic Arc(double startPositionXInput, double startPositionYInput, double endPositionXInput, double endPositionYInput, java.awt.Color colorInput)
startPositionXInput
- Start X-axis PositionstartPositionYInput
- Start Y-axis PositionendPositionXInput
- End X-axis PositionendPositionYInput
- End Y-axis PositioncolorInput
- Colorpublic Arc()
Method Detail |
public int getQuad()
public void doSetBounds(int _startx, int _starty)
_startx
- The x coordinate set in the bounds_starty
- The y coordinate set in the boundspublic void setId(java.lang.String idInput)
setId
in class PetriNetObject
idInput
- String value for Arc id;public void setSource(PlaceTransitionObject sourceInput)
sourceInput
- PlaceTransitionObject value for Arc source;public void setTarget(PlaceTransitionObject targetInput)
targetInput
- PlaceTransitionObject value for Arc target;public void setStartPositionX(double startPositionXInput)
startPositionXInput
- Double value for X-axis of start positionpublic void setStartPositionY(double startPositionYInput)
startPositionYInput
- Double value for Y-axis of start positionpublic void setEndPositionX(double endPositionXInput)
endPositionXInput
- Double value for X-axis of end positionpublic void setEndPositionY(double endPositionYInput)
endPositionYInput
- Double value for Y-axis of end positionpublic void setWeighting(int weightingInput)
weightingInput
- String value for Arc weighting;public void setWeightingOffsetX(double weightingOffsetXInput)
weightingOffsetXInput
- Double value for weighting X-axis offsetpublic void setWeightingOffsetY(double weightingOffsetYInput)
weightingOffsetYInput
- Double value for weighting Y-axis offsetpublic void setInscription(java.lang.String inscriptionInput)
inscriptionInput
- String value for Arc inscription;public void setInscriptionOffsetX(double inscriptionOffsetXInput)
inscriptionOffsetXInput
- Double value for inscription X-axis offsetpublic void setInscriptionOffsetY(double inscriptionOffsetYInput)
inscriptionOffsetYInput
- Double value for inscription Y-axis offsetpublic java.lang.String getId()
getId
in class PetriNetObject
public PlaceTransitionObject getSource()
public PlaceTransitionObject getTarget()
public double getStartPositionX()
public double getStartPositionY()
public double getEndPositionX()
public double getEndPositionY()
public int getWeighting()
public double getWeightingOffsetX()
public double getWeightingOffsetY()
public java.lang.String getInscription()
public double getInscriptionOffsetX()
public double getInscriptionOffsetY()
public java.lang.Double getStartPositionXObject()
public java.lang.Double getStartPositionYObject()
public java.lang.Double getEndPositionXObject()
public java.lang.Double getEndPositionYObject()
public java.lang.Integer getWeightingObject()
public java.lang.Double getWeightingOffsetXObject()
public java.lang.Double getWeightingOffsetYObject()
public java.lang.Double getInscriptionOffsetXObject()
public java.lang.Double getInscriptionOffsetYObject()
public java.awt.Shape getShape()
public void modify(double startX, double startY, double endX, double endY)
modify
in class PetriNetObject
startX
- Start X-axis PositionstartY
- Start Y-axis PositionendX
- End X-axis PositionendY
- End Y-axis Positionpublic void paintComponent(java.awt.Graphics g)
paintComponent
in class PetriNetObject
public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
in class PetriNetObject
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
in class PetriNetObject
public void mouseMoved(java.awt.event.MouseEvent e)
mouseMoved
in class PetriNetObject
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in class PetriNetObject
public void mouseEntered(java.awt.event.MouseEvent e)
mouseEntered
in class PetriNetObject
public void mouseExited(java.awt.event.MouseEvent e)
mouseExited
in class PetriNetObject
public void mousePressed(java.awt.event.MouseEvent e)
mousePressed
in class PetriNetObject
public void updateSize(java.awt.event.MouseEvent e)
updateSize
in class PetriNetObject
public ArrowLabel getArrow()
public void setArrow(ArrowLabel _arrow)
public double getArcAngle()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |