ruba::parser Class Reference

#include <parsers.hh>

Static Public Member Functions
static concurrent_pushdown_automata	parse_input_cpds (const string &filename)
static concurrent_finite_machine	parse_input_cfsm (const string &filename)
static explicit_state	parse_input_cfg (const string &s)
static string	create_default_states_in_str (const size_n n)

Detailed Description

PART 1. The following are the utilities for PDS file parser.

Member Function Documentation

create_default_states_in_str()

string ruba::parser::create_default_states_in_str ( const size_n  n )

static

Create a default state in string

Parameters

n

Returns

string

parse_input_cfg()

explicit_state ruba::parser::parse_input_cfg ( const string &  s )

static

To parse the input initial/final thread state

Parameters

s

Returns

thread state

s is store in a file

parse_input_cfsm()

concurrent_finite_machine ruba::parser::parse_input_cfsm ( const string &  filename )

static

Read and parse CPDS from file and build a concurrent finite machine. This is used for context-insensitive over-approximation.

Parameters

filename

Returns

concurrent finite machine

parse_input_cpds()

concurrent_pushdown_automata ruba::parser::parse_input_cpds ( const string &  filename )

static

Read and parse CPDS from file, to build concurrent pushdown automaton

Parameters

filename

---

The documentation for this class was generated from the following files:

• parsers.hh
• parser_pds.cc