fm_weck.grpc_service.proto package

Submodules

fm_weck.grpc_service.proto.fm_weck_service_pb2 module

Generated protocol buffer code.

fm_weck.grpc_service.proto.fm_weck_service_pb2_grpc module

Client and server classes corresponding to protobuf-defined services.

class fm_weck.grpc_service.proto.fm_weck_service_pb2_grpc.FmWeckRemote

Bases: object

This service runs fm-weck remotely.

static cancelRun(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

static cleanupRun(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

static queryFiles(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

static startExpertRun(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

static startRun(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

static waitOnRun(request, target, options=(), channel_credentials=None, call_credentials=None, insecure=False, compression=None, wait_for_ready=None, timeout=None, metadata=None)

class fm_weck.grpc_service.proto.fm_weck_service_pb2_grpc.FmWeckRemoteServicer

Bases: object

This service runs fm-weck remotely.

cancelRun(request, context)

Cancels a previously started run.

cleanupRun(request, context)

Cleans up files of a finished run.

queryFiles(request, context)

Query for a number of result files.

startExpertRun(request, context)

Runs a tool in expert mode

startRun(request, context)

Runs a verification task for a given C program.

waitOnRun(request, context)

Gets the result of a previously started run using its unique ID.

class fm_weck.grpc_service.proto.fm_weck_service_pb2_grpc.FmWeckRemoteStub(channel)

Bases: object

This service runs fm-weck remotely.

fm_weck.grpc_service.proto.fm_weck_service_pb2_grpc.add_FmWeckRemoteServicer_to_server(servicer, server)

Module contents