SimGrid  3.14.159
Versatile Simulation of Distributed Systems
automatonparse_promela.c File Reference
#include "src/internal_config.h"
#include "xbt/automaton.h"
#include <errno.h>
#include <string.h>
#include "parserPromela.tab.cacc"

Functions

static void new_state (char *id, int src)
 
static void new_transition (char *id, xbt_automaton_exp_label_t label)
 
static xbt_automaton_exp_label_t new_label (int type,...)
 
void xbt_automaton_load (xbt_automaton_t a, const char *file)
 

Variables

static xbt_automaton_t parsed_automaton
 
char * state_id_src
 

Function Documentation

§ new_state()

static void new_state ( char *  id,
int  src 
)
static

§ new_transition()

static void new_transition ( char *  id,
xbt_automaton_exp_label_t  label 
)
static

§ new_label()

static xbt_automaton_exp_label_t new_label ( int  type,
  ... 
)
static

§ xbt_automaton_load()

void xbt_automaton_load ( xbt_automaton_t  a,
const char *  file 
)

Variable Documentation

§ parsed_automaton

xbt_automaton_t parsed_automaton
static

§ state_id_src

char* state_id_src