1 ** Verigraph Verification Service - Command Line Interface **
3 The CLI allows to interact with the Verigraph Verification Service using both the RESTful and gRPC interface.
4 The CLI allows CRUD operations on graphs and three kind of verification.
7 -- Available commands --
8 > CONFIGURE -use <Interface> -format <contentFormat> -port <servicePort> -host <hostname>
13 > CREATE <validFilePath>
14 > UPDATE <graphId> <validFilePath>
16 > VERIFY <graphId> <verificationType> <sourceNode> <destinationNode> [ <middleboxNode> ]
20 > CONFIGURE -use <Interface> -format <contentFormat>
21 Allows to configure connection parameters (host and port ), the interface (REST or gRPC ) and the data format
22 (JSON, XML or YAML ) to be used to communicate with the verification service, XML and YAML formats exploit an extension
23 of TOSCA specification. At program start the default configuration uses the REST interface with XML data format.
24 Note that the JSON format is not supported by the grpc interface.
27 Prints on screen the CLI documentation.
30 Closes REST/gRPC client and exits.
35 Performs a request without specifying a particular graph id. The service will return
36 a list of graph templates in the currently selected format and will print them on screen.
39 Performs a request for a specific graph whose id MUST be specified as a long integer
40 value. If present the graph will be returned and printed on screen in the currently selected format.
42 > CREATE <validFilePath>
43 Performs a create graph request providing a graph template as a file.
44 The <validFilePath> must point to an existing file whose filenme must be coherent with the currently selected
45 data format. The server can accept or not the provided graph upon its validation against Tosca Verigraph specification
46 for XML/YAML or against Verigraph JSON schema. For further info see Verigraph Service documentation at [...].
48 > UPDATE <graphId> <validFilePath>
49 Performs an update request for a specific graph providing a graph template as a file.
50 The provided filename must be coherent with the currently selected data format and the <LongId> must be a long integer
51 corresponding to one of the graphs previously created. The server can accept or not the provided graph upon its
52 validation against Tosca Verigraph specification for XML/YAML or against Verigraph JSON schema.
53 For further info see Verigraph Service documentation at [...].
56 Performs a delete request for a specific graph.
57 The provided id must be a long integer corresponding to a previously created graph.
61 > VERIFY <graphId> <verificationType> <sourceNode> <destinationNode> [ <middleboxNode> ]
62 Performs a verification request for a specific graph.
63 The <graphId> must be the long integer id of a previously created graph. Three types of verification services are
64 available: reachability, isolation and traversal. The source, destination and middlebox node parameters
65 must be provided as string and must correspond to the name of a Node in the specified graph. The middlebox parameter
66 must not be provided in case of reachability verification.