bymoc_system_t Class Reference

Class for Promela/Bytecode system representation. More...

#include <bymoc_system.hh>

Inheritance diagram for bymoc_system_t:

system_t bymoc_explicit_system_t

List of all members.

Public Member Functions

 bymoc_system_t (error_vector_t &evect=gerr)
 A constructor.
virtual ~bymoc_system_t ()
 A destructor.
Methods modifying a system
These methods are not implemented and can_be_modified() returns false.

virtual void add_process (process_t *const process)
 Not imlemented in BYMOC system - throws error message.
virtual void remove_process (const size_int_t process_id)
 Not imlemented in BYMOC system - throws error message.
Obligatory part of abstact interface
These methods have to implemented in each implementation of system_t

virtual slong_int_t from_string (const std::string str)
 Warning - this method is still not implemented - TODO.
virtual slong_int_t read (const char *const filename)
 Implements system_t::read(const char * const filename) in BYMOC system.
virtual slong_int_t read (std::istream &ins=std::cin)
 Warning - this method is still not implemented - TODO.
virtual std::string to_string ()
 Warning - this method is still not implemented - TODO.
virtual void write (std::ostream &outs=std::cout)
 Warning - this method is still not implemented - TODO.
virtual bool write (const char *const filename)
 Warning - this method is still not implemented - TODO.
Methods working with processes
These methods are not implemented and can_processes() returns false.

virtual const process_tget_process (const size_int_t id) const
 Not imlemented in BYMOC system - throws error message.
virtual process_tget_process (const size_int_t gid)
 Not imlemented in BYMOC system - throws error message.
virtual size_int_t get_process_count () const
 Not imlemented in BYMOC system - throws error message.
virtual property_type_t get_property_type ()
 Not implemented in BYMOC system - throws error message.
Methods working with property process
These methods are not implemented and can_property_process() returns false

virtual size_int_t get_property_gid () const
 Not imlemented in BYMOC system - throws error message.
virtual const process_tget_property_process () const
 Not imlemented in BYMOC system - throws error message.
virtual process_tget_property_process ()
 Not imlemented in BYMOC system - throws error message.
virtual void set_property_gid (const size_int_t gid)
 Not imlemented in BYMOC system - throws error message.
Methods working with transitions
These methods are not implemented and can_transitions() returns false.

virtual size_int_t get_trans_count () const
 Not imlemented in BYMOC system - throws error message.
virtual const transition_tget_transition (size_int_t gid) const
 Not imlemented in BYMOC system - throws error message.
virtual transition_tget_transition (size_int_t gid)
 Not imlemented in BYMOC system - throws error message.

Protected Attributes

nipsvm_t nipsvm

Friends

class bymoc_process_decomposition_t


Detailed Description

Class for Promela/Bytecode system representation.

This class implements the abstract interface system_t

This implementation is based on external virtual machine for special bytecode. Therefore this system is called BYMOC system.

It supports only very basic functionality of system_t interface (processes, transition and expressions are not supported). The calls of non-implemented methods cause error messsages.


Constructor & Destructor Documentation

bymoc_system_t ( error_vector_t evect = gerr  ) 

A constructor.

Parameters:
estack = the error vector, that will be used by created instance of system_t


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

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University