nopasaran.primitives.action_primitives.http_3_client_primitives.HTTP3ClientPrimitives

class nopasaran.primitives.action_primitives.http_3_client_primitives.HTTP3ClientPrimitives

Bases: object

Class containing HTTP/3 client action primitives for the state machine.

__init__()

Methods

__init__()

close_http_3_client(inputs, outputs, ...)

Close the HTTP/3 client connection gracefully.

create_http_3_client(inputs, outputs, ...)

Create an instance of HTTP3SocketClient. Number of input arguments: 2 - The host - The port.

send_http_3_client_frames(inputs, outputs, ...)

Send frames to the server.

start_http_3_client(inputs, outputs, ...)

Start the HTTP/3 client.
static close_http_3_client(inputs, outputs, state_machine)

Close the HTTP/3 client connection gracefully.

Number of input arguments: 1

  • The HTTP3SocketClient instance

Number of output arguments: 1

  • The event name

static create_http_3_client(inputs, outputs, state_machine)

Create an instance of HTTP3SocketClient. Number of input arguments: 2

  • The host

  • The port

Number of output arguments: 1

  • The created HTTP3SocketServer instance

Args:

inputs (List[str]): The list of input variable names. No input arguments for this method.

outputs (List[str]): The list of output variable names. It contains one output argument:

  • The name of the variable to store the HTTP3SocketServer instance.

state_machine: The state machine object.

Returns:

None

static send_http_3_client_frames(inputs, outputs, state_machine)

Send frames to the server.

Number of input arguments: 2

  • The HTTP3SocketClient instance

  • The frames to send

Number of output arguments: 3

  • The event name

  • The frames sent

  • The message

Args:
inputs (List[str]): The list of input variable names containing:

  • The name of the HTTP3SocketClient instance variable

  • The name of the client frames variable

outputs (List[str]): The list of output variable names. It contains two output arguments:

  • The name of the variable to store the event name

  • The name of the variable to store the frames sent

  • The name of the variable to store the message

state_machine: The state machine object.

Returns:

None

Possible events:

  • EventNames.FRAMES_SENT

  • EventNames.GOAWAY_RECEIVED

  • EventNames.RESET_RECEIVED

  • EventNames.REJECTED

static start_http_3_client(inputs, outputs, state_machine)

Start the HTTP/3 client.

Number of input arguments: 1

  • The HTTP3SocketClient instance

Number of output arguments: 2

  • The event name

  • The message

Args:
inputs (List[str]): The list of input variable names containing:

  • The name of the HTTP3SocketClient instance variable

outputs (List[str]): The list of output variable names. It contains two output arguments:

  • The name of the variable to store the event name

  • The name of the variable to store the message

state_machine: The state machine object.

Returns:

None

Possible events:

  • EventNames.TIMEOUT

  • EventNames.ERROR

  • EventNames.REJECTED

  • EventNames.CLIENT_STARTED