---

V1States.h

Go to the documentation of this file.

/*
 * Copyright (C) 2000 KOM/Darmstadt University of Technology
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the
 * Free Software Foundation; either version 2, or (at your option) any
 * later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
 * USA.
 */
#ifndef V1_STATES_H
#define V1_STATES_H

#include "MNdictionary.h"
#include "MNList.h"
#include "MNString.h"

class V1StateCollector;
class V1StateVector;
class V1StateVectorKeep;
class V1StateElements;
class V1StateKeep;
class V1StateOther;
class V1PartialState;
class SignalParameter;

class V1Transition;
class V2StateVector;

/***********************************************************************
 * V1StateCollector
 ***********************************************************************/

class V1StateCollector
{
    MNList<V1StateVector*>  _source;
    MNList<V1StateVector*>  _target;
    V1StateVector*          _initial;

public:
    V1StateCollector( );

    void v1appendSource( V1StateVector* v );  // verify not keep
    void v1appendTarget( V1StateVector* v );  // verify not generic, not complement, len==1
    void v1setInitial  ( V1StateVector* v );  // verify both of the above

    int  v1getDimension( );
    void v1resolveComplements( );

    V1StateVector*          getInitial();
    MNList<V1StateVector*>& getSources();
    MNList<V1StateVector*>& getTargets();
};

/***********************************************************************
 * V1StateVector
 ***********************************************************************/

class V1StateVector
{
    MNList<V1StateElements*> _elements;
    V1Transition*            _transition;
    int                      _first_line;
    bool                     _forbid;

protected:
    V1Transition* getTransition( );

public:
    V1StateVector();
    V1StateVector( V1StateVector& orig );
    virtual ~V1StateVector() { }

    virtual V1StateVector* clone();

    virtual bool keep();
    virtual bool generic();
    virtual bool complement();

    void         appendElement( V1StateElements* e );

    virtual int  size();
    virtual void transform( int dimension, MNList<V2StateVector*>& out );
    virtual void resolveComplements( );

    void addTransition( V1Transition* t );
    void setFirstLine( int first_line );
    int  getFirstLine( );
    void forbid( );
};

/***********************************************************************
 * V1StateVectorKeep
 ***********************************************************************/

class V1StateVectorKeep : public V1StateVector
{
public:
    V1StateVectorKeep( int first_line );
    V1StateVectorKeep( V1StateVectorKeep& orig );

    virtual V1StateVector* clone();

    virtual bool keep();
    virtual bool generic();
    virtual bool complement();

    virtual int  size();
    virtual void transform( int dimension, MNList<V2StateVector*>& out );
    virtual void resolveComplements( );
};

/***********************************************************************
 * V1StateElements
 ***********************************************************************/

class V1StateElements
{
    bool                    _complement;
    MNList<V1PartialState*> _partialStates;
    int                     _partialStateIndex;

public:
    V1StateElements( );
    V1StateElements( V1StateElements& orig );
    virtual ~V1StateElements( );

    virtual V1StateElements* clone();

    virtual bool keep();
    virtual bool generic();
    virtual bool complement();

    void setComplement();

    void appendPartialState( V1PartialState* p );
    int  getPartialStateIndex();
    void setPartialStateIndex( int idx );

    MNList<V1PartialState*>& getPartialStates();

    virtual void resolveComplements( );
    virtual int  getFirstLine( );
};

/***********************************************************************
 * V1StateKeep
 ***********************************************************************/

class V1StateKeep : public V1StateElements
{
    int _first_line;
public:
    V1StateKeep( int first_line );
    V1StateKeep( V1StateKeep& orig );

    virtual V1StateElements* clone();

    virtual bool keep();
    virtual bool complement();
    virtual int  getFirstLine( );
};

/***********************************************************************
 * V1StateOther
 ***********************************************************************/

class V1StateOther : public V1StateElements
{
    int _first_line;
public:
    V1StateOther( int first_line );
    V1StateOther( V1StateOther& orig );

    virtual V1StateElements* clone();

    virtual bool generic();
    virtual bool complement();
    virtual int  getFirstLine( );
};

/***********************************************************************
 * V1PartialState
 ***********************************************************************/

class V1PartialState
{
    int _name;
    int _ps_index;
    int _first_line;
public:
    V1PartialState( int name, int first_line );
    V1PartialState( V1PartialState& orig );

    virtual V1PartialState* clone();

    int  getName( );
    int  getIndex( );
    void setDimension( int idx );
    int  getFirstLine( );
};

/***********************************************************************
 * SignalParameterList
 ***********************************************************************/

class SignalParameterList
    : public MNList<SignalParameter*>
{
    bool _forceSyncCall;
public:
    SignalParameterList();

    void setForceSyncCall( bool force );
    bool isSyncCall( );

    MNString declaration( bool withLeadingComma );
    MNString definition();
    MNString use( bool withLeadingComma );
    MNString classMembers();
    MNString constructMembers();
    MNString useMembers( bool withLeadingComma );
};

/***********************************************************************
 * SignalParameter
 ***********************************************************************/

class SignalParameter
{
    int           _name;
    MNList<char*> _specifiers;

public:
    SignalParameter();

    void addSpecifier( char* c );
    void setName( int n );

    MNString declaration();
    MNString definition();
    MNString use();
    MNString classMembers();
    MNString constructMembers();
    MNString useMembers();
};

#endif /* V1_STATES_H */

---