coffeemachine_tester.h

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

// {{{RME classifier 'Logical View::TestHarnesses::CoffeeMachine_Tester'

#ifndef rtg_CoffeeMachine_Tester_H
#define rtg_CoffeeMachine_Tester_H

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

#include <RTSystem/AutoTestMarkI_x86VisualCpp60.h>
#include <rtg/TestResults.h>
struct TestCaseDescriptor;

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

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

extern const RTActorClass CoffeeMachine_Tester;

#define SUPER RTActor
class CoffeeMachine_Tester_Actor : public RTActor
{
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:
	// {{{RME classAttribute 'current_test'
	int current_test;
	// }}}RME
	// {{{RME classAttribute 'test_cases'
	TestCaseDescriptor * test_cases;
	// }}}RME
	// {{{RME classAttribute 'num_tests'
	int num_tests;
	// }}}RME

protected:
	// {{{RME capsuleRole 'testContainers'
	RTActorRef testContainers;
	// }}}RME
	// {{{RME capsuleRole 'cuContainer'
	RTActorRef cuContainer;
	// }}}RME
	// {{{RME port 'testResults'
	TestResults::Conjugate testResults;
	// }}}RME
	// {{{RME port 'frame'
	Frame::Base frame;
	// }}}RME
	// {{{RME port 'log'
	Log::Base log;
	// }}}RME

public:
	CoffeeMachine_Tester_Actor( RTController * rtg_rts, RTActorRef * rtg_ref );
	virtual ~CoffeeMachine_Tester_Actor( void );
	// {{{RME operation 'InitializeTests()'
	virtual void InitializeTests( void );
	// }}}RME
	virtual int _followOutV( RTBindingEnd & rtg_end, int rtg_compId, int rtg_portId, int rtg_repIndex );

protected:
	// {{{RME enter ':TOP:Testing'
	INLINE_METHODS void enter2_Testing( void );
	// }}}RME
	virtual void enterStateV( void );
	// {{{RME transition ':TOP:Initial:Initial'
	INLINE_METHODS void transition1_Initial( const void * rtdata, RTProtocol * rtport );
	// }}}RME
	// {{{RME transition ':TOP:Testing:Junction2:Failed_Test'
	INLINE_METHODS void transition2_Failed_Test( const void * rtdata, TestResults::Conjugate * rtport );
	// }}}RME
	// {{{RME transition ':TOP:Testing:Junction4:Passed_Test'
	INLINE_METHODS void transition3_Passed_Test( const void * rtdata, TestResults::Conjugate * rtport );
	// }}}RME
	// {{{RME transition ':TOP:Finished_all_tests:True'
	INLINE_METHODS void transition5_True( const void * rtdata, TestResults::Conjugate * rtport );
	// }}}RME

private:
	INLINE_CHAINS void chain1_Initial( void );
	INLINE_CHAINS void chain2_Failed_Test( void );
	INLINE_CHAINS void chain3_Passed_Test( void );

protected:
	// {{{RME choicePoint ':TOP:Finished_all_tests'
	INLINE_METHODS int choicePoint1_Finished_all_tests( const void * rtdata, TestResults::Conjugate * rtport );
	// }}}RME

private:
	INLINE_CHAINS void chain5_True( void );
	INLINE_CHAINS void chain4_False( 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 RTComponentDescriptor rtg_capsule_roles[];
	static const RTPortDescriptor rtg_ports[];

public:
	static const RTFieldDescriptor rtg_CoffeeMachine_Tester_fields[];
};
#undef SUPER

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

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

#endif /* rtg_CoffeeMachine_Tester_H */

// }}}RME