Animator

Instance Constructors

new Animator(graph: Dgraph)

graph
the directed graph to be animated

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def createEdge(eid: Int, shape: CurvilinearShape, label: String, primary: Boolean, color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

Create an edge at the given location.
Create an edge at the given location.
eid
the external id for the edge
shape
the shape (curve) of the edge
label
the label for the created edge
primary
whether it is a primary (true) or secondary (false)
color
the color of the token
from_eid
the eid of the origination node
to_eid
the eid of the destination node
pts
the coordinates and dimensions of the edge
def createNode(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, pts: Array[Double]): Unit

Create a node at the given location.
Create a node at the given location.
eid
the external id for the node
shape
the shape of the node
label
the label for the created node
primary
whether node is primary/transition (true) or secondary/place (false)
color
the color of the node
pts
the coordinates and dimensions of the node
def createToken(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, on_eid: Int, pts: Array[Double]): Unit

Create a token at the given location.
Create a token at the given location.
eid
the external id for the token
shape
the shape of the token
label
the label for the created token
primary
whether it is a primary (true) or secondary (false)
color
the color of the token
on_eid
the eid of the node it is on
pts
the coordinates and dimensions of the token
def destroyEdge(eid: Int): Unit

Destroy the edge with the given id.
Destroy the edge with the given id.
eid
the edges's external id
def destroyNode(eid: Int): Unit

Destroy the node with the given id.
Destroy the node with the given id.
eid
the node's external id
def destroyToken(eid: Int): Unit

Destroy the token with the given id.
Destroy the token with the given id.
eid
the token's external id
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flaw(method: String, message: String): Unit

Show the flaw by printing the error message.
Show the flaw by printing the error message.
method
the method where the error occurred
message
the error message

Definition Classes
Error
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def move(shape: RectangularShape, p: Array[Double]): Unit

Move/translate the shape to location (x, y).
Move/translate the shape to location (x, y).
shape
the shape/object to move
p
the point (x, y)-coordinates

Definition Classes
Transform
def move(shape: RectangularShape, x: Double, y: Double): Unit

Move/translate the shape to location (x, y).
Move/translate the shape to location (x, y).
shape
the shape/object to move
x
the x-coordinate
y
the y-coordinate

Definition Classes
Transform
def moveNode(eid: Int, pts: Array[Double]): Unit

Move the node to a new (x, y) location.
Move the node to a new (x, y) location. Edges cannot be moved directly, but must adjust to node movements.
eid
the external id of the node to move
pts
the new x, y -coordinates
def moveToken(eid: Int, pts: Array[Double]): Unit

Move the token to a new (x, y) location.
Move the token to a new (x, y) location.
eid
the external id of the token to move
pts
the new x, y -coordinates
def moveToken2Edge(eid: Int, edge_eid: Int, step: Double): Boolean

Move the token along the curve for an edge and return false if at end of curve.
Move the token along the curve for an edge and return false if at end of curve.
eid
the external id for the token to move
edge_eid
the external id for edge to move along
step
the length of step
def moveToken2Node(eid: Int, node_eid: Int): Unit

Move the token onto the new node.
Move the token onto the new node.
eid
the external id of the token to move
node_eid
the external id of the node to move onto
def moveTokens2Node(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

Move 'number' tokens of color 'color' from node 'from_eid' to node 'to_eid'.
Move 'number' tokens of color 'color' from node 'from_eid' to node 'to_eid'.
color
the color of the tokens to move
from_eid
the external id of the node tokens are to be taken from
to_eid
the external id of the node the tokens are to be moved to
pts
one dimesional array containing number of tokens to move
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def rotate(shape: RectangularShape, theta: Double): Unit

Rotate the shape by theta radians.
Rotate the shape by theta radians.
shape
the shape/object to rotate
theta
the rotation angle in radians

Definition Classes
Transform
def scale(shape: RectangularShape, p: Array[Double]): Unit

Scale/resize the shape to the new width and height parameters.
Scale/resize the shape to the new width and height parameters.
shape
the shape/object to scale (change size)
p
the point (w, h) parameters

Definition Classes
Transform
def scale(shape: RectangularShape, w: Double, h: Double): Unit

Scale/resize the shape to the new width and height parameters.
Scale/resize the shape to the new width and height parameters.
shape
the shape/object to scale (change size)
w
the width
h
the height

Definition Classes
Transform
def scaleNode(eid: Int, pts: Array[Double]): Unit

Scale the node, i.
Scale the node, i.e., make it larger or smaller. Edges cannot be scaled directly, but must adjust to node scalings.
eid
the external id of the node to scale
pts
the new width, height dimensions
def scaleToken(eid: Int, pts: Array[Double]): Unit

Scale the token, i.
Scale the token, i.e., make it larger or smaller.
eid
the external id of the token to scale
pts
the new width, height dimensions
def scaleTokensAt(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

Move 'amount' tokens/fluids of color 'color' from node 'from_eid' to node 'to_eid' by increasing the size of tokens at 'to_eid' while decreasing the size at 'from_eid'.
Move 'amount' tokens/fluids of color 'color' from node 'from_eid' to node 'to_eid' by increasing the size of tokens at 'to_eid' while decreasing the size at 'from_eid'.
color
the color of the tokens/fluids to move
from_eid
the external id of the node tokens/fluids are to be taken from
to_eid
the external id of the node tokens/fluids are to be moved to
pts
one dimesional array containing amount of fluids to move
def setPaintEdge(eid: Int, color: Color): Unit

Set the paint color for the edge.
Set the paint color for the edge.
eid
the external id for node to paint
color
the new color for the node
def setPaintNode(eid: Int, color: Color): Unit

Set the paint color for the node.
Set the paint color for the node.
eid
the external id for node to paint
color
the new color for the node
def setPaintToken(eid: Int, color: Color): Unit

Set the paint color for the token.
Set the paint color for the token.
eid
the external id for node to paint
color
the new color for the node
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def timeDilation(pts: Array[Double]): Unit

Adjust the time dilation: >1 slows down animation, <1 speeds up animation.
Adjust the time dilation: >1 slows down animation, <1 speeds up animation.
pts
one dimesional array containing the new time dilation factor
def timeDilationFactor: Double

Get the time dilation factor.
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

class Animator extends Transform with Error

Instance Constructors

new Animator(graph: Dgraph)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def createEdge(eid: Int, shape: CurvilinearShape, label: String, primary: Boolean, color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

def createNode(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, pts: Array[Double]): Unit

def createToken(eid: Int, shape: RectangularShape, label: String, primary: Boolean, color: Color, on_eid: Int, pts: Array[Double]): Unit

def destroyEdge(eid: Int): Unit

def destroyNode(eid: Int): Unit

def destroyToken(eid: Int): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def flaw(method: String, message: String): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def move(shape: RectangularShape, p: Array[Double]): Unit

def move(shape: RectangularShape, x: Double, y: Double): Unit

def moveNode(eid: Int, pts: Array[Double]): Unit

def moveToken(eid: Int, pts: Array[Double]): Unit

def moveToken2Edge(eid: Int, edge_eid: Int, step: Double): Boolean

def moveToken2Node(eid: Int, node_eid: Int): Unit

def moveTokens2Node(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def rotate(shape: RectangularShape, theta: Double): Unit

def scale(shape: RectangularShape, p: Array[Double]): Unit

def scale(shape: RectangularShape, w: Double, h: Double): Unit

def scaleNode(eid: Int, pts: Array[Double]): Unit

def scaleToken(eid: Int, pts: Array[Double]): Unit

def scaleTokensAt(color: Color, from_eid: Int, to_eid: Int, pts: Array[Double]): Unit

def setPaintEdge(eid: Int, color: Color): Unit

def setPaintNode(eid: Int, color: Color): Unit

def setPaintToken(eid: Int, color: Color): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def timeDilation(pts: Array[Double]): Unit

def timeDilationFactor: Double

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Error

Inherited from Transform

Inherited from AnyRef

Inherited from Any

Ungrouped