package shai.cmdExecutor

Get desktop application:
View/edit binary Protocol Buffers messages

A stateless serivce exposing Apalache's CLI via RPC calls

• rpc run (CmdRequest, CmdResponse)

  cmdExecutor.proto:13

  message CmdRequest

  cmdExecutor.proto:25

  • Cmd cmd = 1

  • string config = 2

    A JSON encoded string with the application configuration

  message CmdResponse

  cmdExecutor.proto:51

  • oneof result

    • string success = 1

      A JSON encoded string with data useful on success

    • CmdError failure = 2

      Data about the kind of application error resulting from the RPC

• rpc ping (PingRequest, PongResponse)

  cmdExecutor.proto:16

  No-op to check service health

  message PingRequest

  cmdExecutor.proto:19

  (message has no fields)

  message PongResponse

  cmdExecutor.proto:22

  (message has no fields)

The supported apalache subcommands

Used in: CmdRequest

• PARSE = 0

• CHECK = 1

• TYPECHECK = 3

• TLA = 4

  Parse input and reply with a TLA+ string

Used in: CmdResponse

• CmdErrorType errorType = 1

• string data = 2

  A JSON encoded string with data useful for understanding the error

Used in: CmdError

• PASS_FAILURE = 0

• UNEXPECTED = 1