models/samples/ComputerSystem/expected_src/User.hh

#ifndef USER_HH
#define USER_HH

#include "AppControl.hh"
#include "umlrtcapsule.hh"
#include "umlrtcapsuleclass.hh"
#include "umlrtmessage.hh"
#include "umlrttimerid.hh"
#include "umlrttimerprotocol.hh"
struct UMLRTCommsPort;
struct UMLRTSlot;

#include <iostream>
#include <iomanip>
#include <cstdlib>

class Capsule_User : public UMLRTCapsule
{
public:
    Capsule_User( const UMLRTCapsuleClass * cd, UMLRTSlot * st, const UMLRTCommsPort * * border, const UMLRTCommsPort * * internal, bool isStat );
protected:
    AppControl::Conj computerPort;
public:
    enum BorderPortId
    {
        borderport_computerPort,
        borderport_timer
    };
protected:
    UMLRTTimerProtocol_baserole timer;
public:
    enum PartId
    {
    };
    enum PortId
    {
        port_computerPort,
        port_timer
    };
    virtual void bindPort( bool isBorder, int portId, int index );
    virtual void unbindPort( bool isBorder, int portId, int index );
protected:
    int numSec;
    UMLRTTimerId timerID;
    bool status;
public:
    virtual void inject( const UMLRTMessage & message );
    virtual void initialize( const UMLRTMessage & message );
    const char * getCurrentStateString() const;
private:
    enum State
    {
        top__Waiting4DocSave,
        top__Alive,
        top__Waiting4DocPrint,
        top__TestDone,
        top__FAILED,
        SPECIAL_INTERNAL_STATE_UNVISITED
    };
    const char * stateNames[6];
    State currentState;
    void entryaction_____ComputerSystem__System__User__User_SM__Region1__Alive__UserIsAlive( const UMLRTMessage * msg );
    void entryaction_____ComputerSystem__System__User__User_SM__Region1__FAILED__testFailed( const UMLRTMessage * msg );
    void entryaction_____ComputerSystem__System__User__User_SM__Region1__TestDone__testDone( const UMLRTMessage * msg );
    void entryaction_____ComputerSystem__System__User__User_SM__Region1__Waiting4DocPrint__wait4Print( const UMLRTMessage * msg );
    void entryaction_____ComputerSystem__System__User__User_SM__Region1__Waiting4DocSave__Waiting4DocSave_EN( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__Transition0__saveRequested( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__Transition1__printRequested( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__Transition2__saveFailed( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__Transition3__printFailure( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__initTimerFail__initTimerFail( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__initTimerSet__initTimerSet( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__initialize__Initialize_USER( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__isFalsePrintDoc__printDoc( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__isTrueDone__SuccessfulRun( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__onTimeout1__saveDocument( const UMLRTMessage * msg );
    void transitionaction_____ComputerSystem__System__User__User_SM__Region1__onTimeout2__saveTimout( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__Transition0__saveOK( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__Transition1__printSet( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__Transition2__saveFail( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__Transition3__printFail( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__initTimerFail__invalidTimer( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__initTimerSet__timerValid( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__isFalsePrintDoc__isFalse( const UMLRTMessage * msg );
    bool guard_____ComputerSystem__System__User__User_SM__Region1__isTrueDone__isTrue( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__Transition0( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__Transition1( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__Transition2( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__Transition3( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__Transition4( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__initTimerFail( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__initTimerSet( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__initialize( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__isFalsePrintDoc( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__isTrueDone( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__onTimeout1( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__onTimeout2( const UMLRTMessage * msg );
    void actionchain_____action_____ComputerSystem__System__User__User_SM__Region1__onTimeout3( const UMLRTMessage * msg );
    State choice_____top__ChoicePoint2( const UMLRTMessage * msg );
    State choice_____top__ChoicePoint3( const UMLRTMessage * msg );
    State choice_____top__ChoicePoint4( const UMLRTMessage * msg );
    State choice_____top__TesterChoice( const UMLRTMessage * msg );
    State state_____top__Alive( const UMLRTMessage * msg );
    State state_____top__FAILED( const UMLRTMessage * msg );
    State state_____top__TestDone( const UMLRTMessage * msg );
    State state_____top__Waiting4DocPrint( const UMLRTMessage * msg );
    State state_____top__Waiting4DocSave( const UMLRTMessage * msg );
};
extern const UMLRTCapsuleClass User;

#endif