scalation.animation

Animator

class Animator extends Transform with Error

The Animator class implements the commands to create, destroy, move and scale components (nodes, edges or tokens) in an animated graph.

Linear Supertypes
Error, Transform, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Animator
  2. Error
  3. Transform
  4. AnyRef
  5. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Animator(graph: Dgraph)

    graph

    the directed graph to be animated

Value Members

  1. final def !=(arg0: Any): Boolean

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

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

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

    Definition Classes
    Any
  5. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. 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
  16. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

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

    Definition Classes
    Any
  19. 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
  20. 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
  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  27. final def notify(): Unit

    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  29. 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
  30. 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
  31. 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
  32. 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

  33. 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

  34. 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

  35. 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

  36. 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

  37. 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

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

    Definition Classes
    AnyRef
  39. 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

  40. def timeDilationFactor: Double

    Get the time dilation factor.

  41. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Error

Inherited from Transform

Inherited from AnyRef

Inherited from Any

Ungrouped