package shai.transExplorer

Get desktop application:
View/edit binary Protocol Buffers messages

• rpc openConnection (ConnectRequest, Connection)

  transExplorer.proto:11

  message ConnectRequest

  transExplorer.proto:25

  (message has no fields)

• rpc loadModel (LoadModelRequest, LoadModelResponse)

  transExplorer.proto:13

  TODO rpc Terminate (TerminateRequest) returns (TerminationReply) {}

  message LoadModelRequest

  transExplorer.proto:33

  • optional Connection conn = 1

    The client's connextion

  • string spec = 2

    The root module of the spec

  • repeated string aux = 3

    Any auxiliary resources needed (e.g., extended modules)

  message LoadModelResponse

  transExplorer.proto:52

  • oneof result

    • string spec = 1

      A JSON encoded string with the Apalache IR representation of the loaded spec

    • TransExplorerError err = 2

      A string describing the error, if parsing fails

• rpc ping (PingRequest, PongResponse)

  transExplorer.proto:16

  No-op to check service health

  message PingRequest

  transExplorer.proto:19

  (message has no fields)

  message PongResponse

  transExplorer.proto:22

  (message has no fields)

Used as response type in: TransExplorer.openConnection

Used as field type in: LoadModelRequest

• string id = 1

  The UUID identifying the client's connection

Used in: LoadModelResponse

• TransExplorerErrorType errorType = 1

• string data = 2

Used in: TransExplorerError

• PASS_FAILURE = 0

• UNEXPECTED = 1