run_options.h File Reference

#include <charconv>
#include "refusal.h"
#include <cstring>
#include <stdexcept>

Go to the source code of this file.

Classes
struct	witness::RunOptions

Functions
void	witness::validate_run_options (const RunOptions &options)
int	witness::option_number (const char *text)
RunOptions	witness::read_run_options (int argc, char **argv, int first)

Detailed Description

native run command options.

Definition in file run_options.h.

Function Documentation

option_number()

int witness::option_number ( const char * text )

inline

Read a full nonnegative decimal Linux CPU/priority argument without truncation.

Definition at line 48 of file run_options.h.

read_run_options()

RunOptions witness::read_run_options ( int argc, char ** argv, int first )

inline

Parse each optional argument once and require explicit FIFO priority and CPU.

Definition at line 57 of file run_options.h.

validate_run_options()

void witness::validate_run_options ( const RunOptions & options )

inline

Validate public options before changing any calling-thread Linux policy.

Definition at line 32 of file run_options.h.