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