A single GraphWalker edge representation in JSON

Edge

{
    "id": "<The unique id of the edge>",
    "name": "<The name of the edge>",
    "sourceVertexId": "<The id of the source vertex of this edge>",
    "targetVertexId": "<The id of the target, or destination vertex of this edge>",
    "guard": "<The conditional expression which enables the accessibility of this edge>",
    "actions": [
        <ACTION IN JSON FORMAT>,
        <ACTION IN JSON FORMAT>
    ],
}

See the format of ACTION IN JSON FORMAT.

Example

This is an example of an edge.

{
    "actions": [
        " numOfPets++;"
    ],
    "id": "e0",
    "name": "e_AddPetSuccessfully",
    "guard": "numOfPets <= 10",
    "sourceVertexId": "n1",
    "targetVertexId": "n0"
}
Tags: