Serialized Form
mbr
java.awt.Rectangle mbr
- The minimum bounding rectangle.
minScale
int minScale
- The least detailed scale for drawing.
maxScale
int maxScale
- The most detailed scale for drawing.
layer
byte layer
- Layer.
selected
boolean selected
- Is the primitive selected?
pres
DrawablePresentation pres
- The corresponding presentation object.
obj
DrawableObject obj
- The corresponding drawable object.
container
DrawableObjects container
- Container of the primitive.
nextOfLayer
Drawable nextOfLayer
- Next primitive of the same layer.
image
java.awt.Image image
- The bitmap.
scalable
boolean scalable
- Is the bitmap scalable?
x1
int x1
- x-Koordinate 1.
y1
int y1
- y-Koordinate 1.
x2
int x2
- x-Koordinate 2.
y2
int y2
- y-Koordinate 1.
selected
byte selected
- Selektion (richtungsweise).
xCoords
int[] xCoords
- x-coordinates.
yCoords
int[] yCoords
- y-coordinates.
num
int num
- Number of coordinates.
outX
int[] outX
- Output buffer for x-coordinates.
outY
int[] outY
- Output buffer for y-coordinates.
x
int x
- x-coordinate.
y
int y
- y-coordinate.
origText
java.lang.String origText
- Original-Text.
ansiText
java.lang.String ansiText
- Text in ANSI.
unicodeText
java.lang.String unicodeText
- Text in Unicode.
x
int x
- x-Koordinate.
y
int y
- y-Koordinate.
len
int len
- Länge des Textes.
horAlignment
int horAlignment
- horizontale Ausrichtung.
vertAlignment
int vertAlignment
- vertikale Ausrichtung.
filled
boolean filled
- Is the primitive filled?
properties
java.util.Properties properties
- Properties of the data generator
actTime
int actTime
- Current displayed time (0 = all times)
time
Time time
- The time object.
dataspace
DataSpace dataspace
- The data space.
edgeClasses
EdgeClasses edgeClasses
- The edge classes.
objClasses
ObjectClasses objClasses
- The classes of the moving objects.
extObjects
ExternalObjects extObjects
- The external objects.
extObjClasses
ExternalObjectClasses extObjClasses
- The classes of external objects.
reporter
Reporter reporter
- The reporter.
waitingPeriod
int waitingPeriod
- Waiting period between two time stamps in msec (a value larger 0 is required for painting the objects while the computation)
computeButton
java.awt.Button computeButton
- Compute button
addTimeButton
java.awt.Button addTimeButton
- Add time button
timeScrollbar
java.awt.Scrollbar timeScrollbar
- Scrollbar
maxTimeLabel
java.awt.Label maxTimeLabel
- Maximum time label
maxTimeText
java.awt.TextField maxTimeText
- Maximum time text field
numObjClassesLabel
java.awt.Label numObjClassesLabel
- Number of object classes label
numObjClassesText
java.awt.TextField numObjClassesText
- Number of moving object classes text field
numExtObjClassesText
java.awt.TextField numExtObjClassesText
- Number of external object classes text field
objPerTimeLabel
java.awt.Label objPerTimeLabel
- Objects per time label
objPerTimeText
java.awt.TextField objPerTimeText
- Moving objects per time text field
objBeginLabel
java.awt.Label objBeginLabel
- Objects at beginning label
extobjPerTimeText
java.awt.TextField extobjPerTimeText
- External objects per time text field
extobjBeginText
java.awt.TextField extobjBeginText
- External objects at the beginning text field
deleteButton
java.awt.Button deleteButton
- Delete button
msdLabel
java.awt.Label msdLabel
- Maximum speed divisor label
msdText
java.awt.TextField msdText
- Maximum speed divisor text field
objBeginText
java.awt.TextField objBeginText
- Moving objects at the beginning text field
reportProbLabel
java.awt.Label reportProbLabel
- Report probability label
reportProbText
java.awt.TextField reportProbText
- Report probability text field
id
long id
- The identifier.
length
double length
- The length of the edge.
node1
Node node1
- Starting node.
node2
Node node2
- End node.
name
java.lang.String name
- Optional name of the edge.
edgeClass
short edgeClass
- The class of the edge.
usage
short usage
- Usage of the edge.
mark
int mark
- Current mark.
edges
Edges edges
- Link to the container.
x
int x
- x-coordinate.
y
int y
- y-coordinate.
id
long id
- The identifier.
nodeClass
short nodeClass
- Class of the node.
numOfEdges
byte numOfEdges
- Number of edges.
actEdge
byte actEdge
- Index of the current edge.
name
java.lang.String name
- Name of the node (may be null).
edge
Edge[] edge
- The edges of the node.
nodes
Nodes nodes
- The container, the node belongs to.
mark
int mark
- The current mark.
distanceOfWay
double[] distanceOfWay
- distances of the path 1 and 2
wayEdge
byte[] wayEdge
- marks of edges using path 1 and 2
heapPos
short[] heapPos
- Positions in a heap depending of the path (1 and 2)
updateTimer
CPUTimer updateTimer
- ID der Update-Timers.
numOfLayers
int numOfLayers
- Anzahl der Layer.
drawableObjects
DrawableObjects drawableObjects
- Container über Drawable-Objekte.
baseScaleFactor
int baseScaleFactor
- Faktor des Basis-Maßstabs (gibt an, mit welchen Faktor der Maßstab zu multiplizieren ist, um die eigentliche Maßstabszahl zu erhalten).
mapWidth
int mapWidth
- Breite der Gesamtkarte im Basis-Maßstab 1 in Pixel.
mapHeight
int mapHeight
- Höhe der Gesamtkarte im Basis-Maßstab 1 in Pixel.
viewMapX
int viewMapX
- x-Koordinate des Mittelpunkts des akt. angezeigten Kartenausschnitts im akt. Maßstab.
viewMapY
int viewMapY
- y-Koordinate des Mittelpunkts des akt. angezeigten Kartenausschnitts im akt. Maßstab.
maxScale
int maxScale
- detailiertester Maßstab (in Maßstabseinheiten).
minScale
int minScale
- gröbster Maßstab (in Maßstabseinheiten).
scale
int scale
- aktueller Maßstab (in Maßstabseinheiten).
viewWidth
int viewWidth
- Breite der Kartenanzeige (in Pixel).
viewHeight
int viewHeight
- Höhe der Kartenanzeige (in Pixel).
viewX
int viewX
- Linke Position der Kartenanzeige (in Pixel).
viewY
int viewY
- Obere Position der Kartenanzeige (in Pixel).
panelY
int panelY
- Obere Position des Ein-/Ausgabebereichs (in Pixel).
Belegung mit negativen Wert bewirkt,
daß der Ausgabebereich oberhalb der Karte dargestellt wird.
Ansonsten wird er unterhalb der Karte dargestellt.
panelHeight
int panelHeight
- Höhe des Ein-/Ausgabebereichs (in Pixel).
backgroundColor
java.awt.Color backgroundColor
- Hintergrundfarbe.
mapColor
java.awt.Color mapColor
- Basis-Kartenfarbe.
unicodeSupported
boolean unicodeSupported
- Wird der Wechsel auf Unicode-Darstellung unterstützt?
language
int language
- gewählte Sprache
state
int state
- Applet-Status
doubleBuffer
java.awt.Image doubleBuffer
- Image für Double-Buffering.
lastMouseXPos
int lastMouseXPos
- letzte x-Position der Maus beim MousePressed-Event.
lastMouseYPos
int lastMouseYPos
- letzte y-Position der Maus beim MousePressed-Event.
lastDragXPos
int lastDragXPos
- letzte x-Position der Maus beim MouseDrag-Event.
lastDragYPos
int lastDragYPos
- letzte y-Position der Maus beim MouseDrag-Event.
infoIsShown
boolean infoIsShown
- Wird aktuell eine Info-Box angezeigt?
ivjClickInfoLabel
java.awt.Label ivjClickInfoLabel
- Labels
ivjCopyrightLabel
java.awt.Label ivjCopyrightLabel
ivjNameLabel
java.awt.Label ivjNameLabel
ivjPressInfoLabel
java.awt.Label ivjPressInfoLabel
ivjScaleLabel
java.awt.Label ivjScaleLabel
ivjShiftClickInfoLabel
java.awt.Label ivjShiftClickInfoLabel
ivjTagLabel
java.awt.Label ivjTagLabel
ivjValueLabel
java.awt.Label ivjValueLabel
ivjEastButton
java.awt.Button ivjEastButton
- Buttons
ivjNorthButton
java.awt.Button ivjNorthButton
ivjSouthButton
java.awt.Button ivjSouthButton
ivjWestButton
java.awt.Button ivjWestButton
ivjZoomInButton
java.awt.Button ivjZoomInButton
ivjZoomOutButton
java.awt.Button ivjZoomOutButton
ivjUnicodeCheckbox
java.awt.Checkbox ivjUnicodeCheckbox
- Checkbox
net
Network net
- Netzwerk.
start
Node start
- aktueller Startknoten.
stop
Node stop
- aktueller Endknoten.
path
PathEdge path
- aktuell berechneter, kürzester Weg.
nodesSelectable
boolean nodesSelectable
- Knoten selektierbar?.
edgesSelectable
boolean edgesSelectable
- Knoten selektierbar?.
nodeURL
java.net.URL nodeURL
- Puffer für URL beim Laden.
threshold
int threshold
- Rehashes the table when count exceeds this threshold.
loadFactor
float loadFactor
- The load factor for the DupHashtable.
lastFoundEntry
DupHashtableEntry lastFoundEntry
- The last entry found.