JSON file format: edge

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 from the PetClinic test.

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