#include <process.hh>
Public Member Functions | |
bool | can_be_modified () const |
Tells, whether processes can be modified. | |
bool | can_read () const |
Tells, whether process can be read from a string representation. | |
bool | can_transitions () const |
Tells, whether process can work with transitions and contains them. | |
size_int_t | get_gid () const |
Returns a GID of this process. | |
system_t * | get_parent_system () const |
Returns a "parent" system of this process. | |
process_t (system_t *const system) | |
A constructor. | |
process_t () | |
A constructor. | |
virtual void | set_parent_system (system_t &system) |
Sets a "parent" system of this process. | |
virtual | ~process_t () |
A destructor. | |
Methods modifying a process | |
virtual void | add_transition (transition_t *const transition)=0 |
Adds new transition to the process. | |
virtual void | remove_transition (const size_int_t transition_gid)=0 |
Removes a transition from the process. | |
virtual void | set_gid (const size_int_t new_gid) |
Sets a GID of this process. | |
Methods for reading a process from a string representation | |
virtual int | from_string (std::string &proc_str)=0 |
Reads in the process from the string representation. | |
virtual int | read (std::istream &istr)=0 |
Reads in the process from the string representation in stream. | |
Methods working with transitions of a process | |
virtual size_int_t | get_trans_count () const =0 |
Returns a count of transitions of this process. | |
virtual const transition_t * | get_transition (const size_int_t lid) const =0 |
Returns a pointer to the constant transition with LID `lid'. | |
virtual transition_t * | get_transition (const size_int_t lid)=0 |
Returns a pointer to the transition with LID `lid'. | |
Obligatory part of abstact interface | |
virtual std::string | to_string () const =0 |
Returns a string representation of the process. | |
virtual void | write (std::ostream &ostr) const =0 |
Writes a string representation of the process to a stream. | |
Static Protected Member Functions | |
static error_vector_t & | get_error_vector () |
static void | set_error_vector (error_vector_t &evect) |
Protected Attributes | |
size_int_t | gid |
Protected data item storing GID of this process. | |
system_t * | parent_system |
Protected data item storing a parent system. | |
Static Protected Attributes | |
static error_vector_t * | pproc_terr = &gerr |
This class represents a process of a system. Its "parent" system is given in a constructor process_t(system_t * const system) or a method set_parent_system().
virtual ~process_t | ( | ) | [inline, virtual] |
A destructor.
A destructor
virtual void add_transition | ( | transition_t *const | transition | ) | [pure virtual] |
Adds new transition to the process.
transition | = pointer to the transition to add |
Implemented in bymoc_process_t, and dve_process_t.
virtual int from_string | ( | std::string & | proc_str | ) | [pure virtual] |
Reads in the process from the string representation.
proc_str | = string to read from |
Implemented in bymoc_process_t, dve_prob_process_t, and dve_process_t.
static error_vector_t& get_error_vector | ( | ) | [inline, static, protected] |
Protected static method returning , which will be used in case of any error message
virtual size_int_t get_trans_count | ( | ) | const [pure virtual] |
Returns a count of transitions of this process.
Then LID of transitions can be from 0 to (get_trans_count()-1)
Implemented in bymoc_process_t, and dve_process_t.
Referenced by dve_parser_t::check_restrictions_put_on_property(), and por_t::init().
virtual const transition_t* get_transition | ( | const size_int_t | lid | ) | const [pure virtual] |
Returns a pointer to the constant transition with LID `lid'.
LID of transitions can be from 0 to (get_trans_count()-1)
Implemented in bymoc_process_t, and dve_process_t.
virtual transition_t* get_transition | ( | const size_int_t | lid | ) | [pure virtual] |
Returns a pointer to the transition with LID `lid'.
LID of transitions can be from 0 to (get_trans_count()-1)
Implemented in bymoc_process_t, and dve_process_t.
Referenced by dve_parser_t::check_restrictions_put_on_property(), and por_t::init().
virtual int read | ( | std::istream & | istr | ) | [pure virtual] |
Reads in the process from the string representation in stream.
istr | = input stream containing source of the process |
Implemented in bymoc_process_t, dve_prob_process_t, and dve_process_t.
virtual void remove_transition | ( | const size_int_t | transition_gid | ) | [pure virtual] |
Removes a transition from the process.
transition_gid | = GID of removed transition |
Implemented in bymoc_process_t, and dve_process_t.
static void set_error_vector | ( | error_vector_t & | evect | ) | [inline, static, protected] |
Protected static method setting , which will be used in case of any error message
error_vector_t * pproc_terr = &gerr [static, protected] |
Static protected data item storing an used in case of any error messages
Referenced by dve_prob_process_t::add_prob_transition().