removecoffeepot_test.h

含有uml的多个实例及实例的java源码。

// {{{RME classifier 'Logical View::TestHarnesses::MarkI_Tests::Scenarios_MarkI::RemoveCoffeePot_Test'

#ifndef rtg_RemoveCoffeePot_Test_H
#define rtg_RemoveCoffeePot_Test_H

#ifdef PRAGMA
#pragma interface "rtg/RemoveCoffeePot_Test.h"
#endif

#include <RTSystem/AutoTestMarkI_x86VisualCpp60.h>
#include <rtg/MarkI_TestContainer.h>

// {{{RME tool 'OT::Cpp' property 'HeaderPreface'
// {{{USR

// }}}USR
// }}}RME

extern const RTActorClass RemoveCoffeePot_Test;

#define SUPER MarkI_TestContainer_Actor
class RemoveCoffeePot_Test_Actor : public MarkI_TestContainer_Actor
{
public:
	// {{{RME tool 'OT::Cpp' property 'PublicDeclarations'
	// {{{USR

	// }}}USR
	// }}}RME

protected:
	// {{{RME tool 'OT::Cpp' property 'ProtectedDeclarations'
	// {{{USR

	// }}}USR
	// }}}RME

private:
	// {{{RME tool 'OT::Cpp' property 'PrivateDeclarations'
	// {{{USR

	// }}}USR
	// }}}RME

public:
	RemoveCoffeePot_Test_Actor( RTController * rtg_rts, RTActorRef * rtg_ref );
	virtual ~RemoveCoffeePot_Test_Actor( void );
	virtual int _followInV( RTBindingEnd & rtg_end, int rtg_portId, int rtg_repIndex );

protected:
	// {{{RME transition ':TOP:Waiting:Junction2:prepare'
	INLINE_METHODS void transition3_prepare( const void * rtdata, TestResults::Base * rtport );
	// }}}RME
	// {{{RME transition ':TOP:BoilerValveOn:Junction2:waterStarttofill'
	INLINE_METHODS void transition6_waterStarttofill( const void * rtdata, RTProtocol * rtport );
	// }}}RME
	// {{{RME transition ':TOP:WarmerGoesOn:Junction2:warmer_on'
	INLINE_METHODS void transition7_warmer_on( const void * rtdata, Warmer::Base * rtport );
	// }}}RME
	// {{{RME transition ':TOP:TurnOffBoiler:Junction2:t1'
	INLINE_METHODS void transition8_t1( const void * rtdata, RTProtocol * rtport );
	// }}}RME
	// {{{RME transition ':TOP:S1:Junction2:t1'
	INLINE_METHODS void transition13_t1( const void * rtdata, RTProtocol * rtport );
	// }}}RME

private:
	INLINE_CHAINS void chain2_Initial( void );
	INLINE_CHAINS void chain1_timeout( void );
	INLINE_CHAINS void chain3_prepare( void );
	INLINE_CHAINS void chain4_indicatorOff( void );
	INLINE_CHAINS void chain5_heatBoiler( void );
	INLINE_CHAINS void chain6_waterStarttofill( void );
	INLINE_CHAINS void chain7_warmer_on( void );
	INLINE_CHAINS void chain11_t1( void );
	INLINE_CHAINS void chain9_t1( void );
	INLINE_CHAINS void chain12_t1( void );
	INLINE_CHAINS void chain13_t1( void );
	INLINE_CHAINS void chain8_t1( void );
	INLINE_CHAINS void chain10_t1( void );

public:
	virtual void rtsBehavior( int signalIndex, int portIndex );
	virtual const RTActor_class * getActorData( void ) const;

protected:
	static const RTActor_class rtg_class;

public:
	static const RTStateId rtg_parent_state[];

private:
	static const RTPortDescriptor rtg_ports[];
};
#undef SUPER

// {{{RME tool 'OT::Cpp' property 'HeaderEnding'
// {{{USR

// }}}USR
// }}}RME

#endif /* rtg_RemoveCoffeePot_Test_H */

// }}}RME