Packages

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
Visibility
  1. Public
  2. Protected

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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  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: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  14. final def flaw(method: String, message: String): Unit
    Definition Classes
    Error
  15. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def move(shape: RectangularShape, p: Array[Double]): Unit
    Definition Classes
    Transform
  19. def move(shape: RectangularShape, x: Double, y: Double): Unit
    Definition Classes
    Transform
  20. 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

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

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

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

  24. 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 dimensional array containing number of tokens to move

  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  28. def rotate(shape: RectangularShape, theta: Double): Unit
    Definition Classes
    Transform
  29. def scale(shape: RectangularShape, p: Array[Double]): Unit
    Definition Classes
    Transform
  30. def scale(shape: RectangularShape, w: Double, h: Double): Unit
    Definition Classes
    Transform
  31. def scaleNode(eid: Int, pts: Array[Double]): Unit

    Scale the node, i.e., make it larger or smaller.

    Scale the node, i.e., make it larger or smaller. Edges cannot be scaled directly, but must adjust to node scaling.

    eid

    the external id of the node to scale

    pts

    the new width, height dimensions

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

    Scale the token, i.e., make it larger or smaller.

    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

  33. 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 dimensional array containing amount of fluids to move

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

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

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

  37. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  38. 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 dimensional array containing the new time dilation factor

  39. def timeDilationFactor: Double

    Get the time dilation factor.

  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Error

Inherited from Transform

Inherited from AnyRef

Inherited from Any

Ungrouped