: Class GraphPanel

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

Class GraphPanel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--GraphPanel

public class GraphPanel
extends java.awt.Panel
implements java.awt.event.ComponentListener

Anzeige des endlichen Automaten als Graph

Version:: 990618
Author:: Christian Heinemann <heinemann@bigfoot.de>
See Also:: Serialized Form

Inner Class Summary
`(package private) class`	`GraphPanel.AutomatenGraph` Erweiterung der Klasse Graph zur speziellen Darstellung von Zustandsübergangsgraphen in endlichen Automaten

Inner classes inherited from class java.awt.Component

java.awt.Component.AWTTreeLock

Field Summary
`private int`	`BORDER` Abstand des maximalen Zeichenbereich von Rand des Panels
`private GraphPanel.AutomatenGraph`	`graph` darzustellender Graph
`private java.awt.Image`	`helpTextImage` Grafik, die angezeigt wird, falls kein Graph darstellbar ist

Fields inherited from class java.awt.Panel

base,  
nameCounter,  
serialVersionUID

Fields inherited from class java.awt.Container

component,  
containerListener,  
containerSerializedDataVersion,  
dispatcher,  
layoutMgr,  
maxSize,  
ncomponents,  
serialVersionUID

Fields inherited from class java.awt.Component

actionListenerK,  
adjustmentListenerK,  
appContext,  
assert,  
background,  
BOTTOM_ALIGNMENT,  
CENTER_ALIGNMENT,  
changeSupport,  
componentListener,  
componentListenerK,  
componentOrientation,  
componentSerializedDataVersion,  
containerListenerK,  
cursor,  
dropTarget,  
enabled,  
eventMask,  
focusListener,  
focusListenerK,  
font,  
foreground,  
hasFocus,  
height,  
incRate,  
inputMethodListener,  
inputMethodListenerK,  
isInc,  
isPacked,  
itemListenerK,  
keyListener,  
keyListenerK,  
LEFT_ALIGNMENT,  
locale,  
LOCK,  
minSize,  
mouseListener,  
mouseListenerK,  
mouseMotionListener,  
mouseMotionListenerK,  
name,  
nameExplicitlySet,  
newEventsOnly,  
ownedWindowK,  
parent,  
peer,  
peerFont,  
popups,  
prefSize,  
RIGHT_ALIGNMENT,  
serialVersionUID,  
textListenerK,  
TOP_ALIGNMENT,  
valid,  
visible,  
width,  
windowListenerK,  
x,  
y

Constructor Summary
`GraphPanel()`
`GraphPanel(java.awt.Image helpTextImage)` Konstruktor mit Angabe einer Hilfegrafik, die angezeigt wird, falls noch kein Graph dargestellt werden kann

Method Summary
`void`	`componentHidden(java.awt.event.ComponentEvent e)`
`void`	`componentMoved(java.awt.event.ComponentEvent e)`
`void`	`componentResized(java.awt.event.ComponentEvent e)`
`void`	`componentShown(java.awt.event.ComponentEvent e)`
`protected java.awt.Dimension`	`getDimension()` berechnet die Ausdehnung des Panel unter Berücksichtigung des Randes
`protected GraphPanel.AutomatenGraph`	`getGraph()` liefert den aktuellen Automatengraphen
`void`	`Layout()` richtet den Graphen optisch aus
`void`	`paint(java.awt.Graphics g)`
`void`	`setAnimated(boolean animated)` setzt den Animationsstatus bei der Darstellung der Simulation
`void`	`setGraph(Graph graph)` setzt den darzustellende Automatengraphen
`void`	`setHelpTextImage(java.awt.Image helpTextImage)` ermöglicht ein nachträgliches Ändern der Hilfegrafik
`void`	`update(java.awt.Graphics g)`

Methods inherited from class java.awt.Panel

, 
addNotify, 
constructComponentName

Methods inherited from class java.awt.Container

add, 
add, 
add, 
add, 
add, 
addContainerListener, 
addImpl, 
applyOrientation, 
countComponents, 
deliverEvent, 
dispatchEventImpl, 
dispatchEventToSelf, 
doLayout, 
eventEnabled, 
findComponentAt, 
findComponentAt, 
getAlignmentX, 
getAlignmentY, 
getComponent, 
getComponentAt, 
getComponentAt, 
getComponentCount, 
getComponents_NoClientCode, 
getComponents, 
getInsets, 
getLayout, 
getMaximumSize, 
getMinimumSize, 
getMouseEventTarget, 
getPreferredSize, 
getWindow, 
initIDs, 
insets, 
invalidate, 
invalidateTree, 
isAncestorOf, 
layout, 
lightweightPrint, 
list, 
list, 
locate, 
minimumSize, 
nextFocus, 
paintComponents, 
paramString, 
postProcessKeyEvent, 
postsOldMouseEvents, 
preferredSize, 
preProcessKeyEvent, 
print, 
printComponents, 
printOneComponent, 
processContainerEvent, 
processEvent, 
proxyEnableEvents, 
proxyRequestFocus, 
readObject, 
remove, 
remove, 
removeAll, 
removeContainerListener, 
removeNotify, 
setFocusOwner, 
setFont, 
setLayout, 
transferFocus, 
validate, 
validateTree, 
writeObject

Methods inherited from class java.awt.Component

action, 
add, 
addComponentListener, 
addFocusListener, 
addInputMethodListener, 
addKeyListener, 
addMouseListener, 
addMouseMotionListener, 
addPropertyChangeListener, 
addPropertyChangeListener, 
areInputMethodsEnabled, 
bounds, 
checkImage, 
checkImage, 
coalesceEvents, 
contains, 
contains, 
createImage, 
createImage, 
disable, 
disableEvents, 
dispatchEvent, 
enable, 
enable, 
enableEvents, 
enableInputMethods, 
firePropertyChange, 
getBackground, 
getBounds, 
getBounds, 
getColorModel, 
getComponentOrientation, 
getCursor, 
getDropTarget, 
getFont_NoClientCode, 
getFont, 
getFontMetrics, 
getForeground, 
getGraphics, 
getHeight, 
getInputContext, 
getInputMethodRequests, 
getLocale, 
getLocation, 
getLocation, 
getLocationOnScreen, 
getName, 
getNativeContainer, 
getParent_NoClientCode, 
getParent, 
getPeer, 
getSize, 
getSize, 
getToolkit, 
getToolkitImpl, 
getTreeLock, 
getWidth, 
getWindowForObject, 
getX, 
getY, 
gotFocus, 
handleEvent, 
hasFocus, 
hide, 
imageUpdate, 
inside, 
isDisplayable, 
isDoubleBuffered, 
isEnabled, 
isEnabledImpl, 
isFocusTraversable, 
isLightweight, 
isOpaque, 
isShowing, 
isValid, 
isVisible, 
keyDown, 
keyUp, 
list, 
list, 
list, 
location, 
lostFocus, 
mouseDown, 
mouseDrag, 
mouseEnter, 
mouseExit, 
mouseMove, 
mouseUp, 
move, 
nextFocus, 
paintAll, 
postEvent, 
prepareImage, 
prepareImage, 
printAll, 
processComponentEvent, 
processFocusEvent, 
processInputMethodEvent, 
processKeyEvent, 
processMouseEvent, 
processMouseMotionEvent, 
remove, 
removeComponentListener, 
removeFocusListener, 
removeInputMethodListener, 
removeKeyListener, 
removeMouseListener, 
removeMouseMotionListener, 
removePropertyChangeListener, 
removePropertyChangeListener, 
repaint, 
repaint, 
repaint, 
repaint, 
requestFocus, 
reshape, 
resize, 
resize, 
setBackground, 
setBounds, 
setBounds, 
setComponentOrientation, 
setCursor, 
setDropTarget, 
setEnabled, 
setForeground, 
setLocale, 
setLocation, 
setLocation, 
setName, 
setSize, 
setSize, 
setVisible, 
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

graph

private GraphPanel.AutomatenGraph graph

darzustellender Graph

BORDER

private final int BORDER

Abstand des maximalen Zeichenbereich von Rand des Panels

helpTextImage

private java.awt.Image helpTextImage

Grafik, die angezeigt wird, falls kein Graph darstellbar ist

Constructor Detail

GraphPanel

public GraphPanel()

GraphPanel

public GraphPanel(java.awt.Image helpTextImage)

Konstruktor mit Angabe einer Hilfegrafik, die angezeigt wird, falls noch kein Graph dargestellt werden kann

Parameters:: helpTextImage - darzustellende Grafik

Method Detail

setHelpTextImage

public void setHelpTextImage(java.awt.Image helpTextImage)

ermöglicht ein nachträgliches Ändern der Hilfegrafik

Parameters:: helpTextImage - darzustellende Grafik

componentHidden

public void componentHidden(java.awt.event.ComponentEvent e)

Specified by:: componentHidden in interface java.awt.event.ComponentListener

componentMoved

public void componentMoved(java.awt.event.ComponentEvent e)

Specified by:: componentMoved in interface java.awt.event.ComponentListener

componentShown

public void componentShown(java.awt.event.ComponentEvent e)

Specified by:: componentShown in interface java.awt.event.ComponentListener

componentResized

public void componentResized(java.awt.event.ComponentEvent e)

Specified by:: componentResized in interface java.awt.event.ComponentListener

getGraph

protected GraphPanel.AutomatenGraph getGraph()

liefert den aktuellen Automatengraphen

getDimension

protected java.awt.Dimension getDimension()

berechnet die Ausdehnung des Panel unter Berücksichtigung des Randes

setGraph

public void setGraph(Graph graph)

setzt den darzustellende Automatengraphen

paint

public void paint(java.awt.Graphics g)

Overrides:: paint in class java.awt.Container

update

public void update(java.awt.Graphics g)

Overrides:: update in class java.awt.Container

Layout

public void Layout()

richtet den Graphen optisch aus

setAnimated

public void setAnimated(boolean animated)

setzt den Animationsstatus bei der Darstellung der Simulation

Parameters:: animated - true:Animation an/false:Animation aus