test/Base/EPTF_Base_Test_Definitions.ttcn

///////////////////////////////////////////////////////////////////////////////
//                                                                           //
// Copyright (c) 2000-2017 Ericsson Telecom AB                               //
//                                                                           //
// All rights reserved. This program and the accompanying materials          //
// are made available under the terms of the Eclipse Public License v1.0     //
// which accompanies this distribution, and is available at                  //
// http://www.eclipse.org/legal/epl-v10.html                                 //
///////////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////
// Module: EPTF_Base_Test_Definitions
//
// Purpose:
//   This module contains data types for testing EPTF Base.
//
// Module Parameters:
//    -
//  Module depends on:
//    <EPTF_CLL_Base_Definitions>
//
// Current Owner:
//    Balazs Barcsik (ebalbar)
//
// Last Review Date:
//    -
//
//  Detailed Comments:
//    -
///////////////////////////////////////////////////////////
module EPTF_Base_Test_Definitions {
//=========================================================================
// Import Part
//=========================================================================
import from EPTF_CLL_Base_Definitions all;

//=========================================================================
//Component Types
//=========================================================================
type component A_CT extends EPTF_Base_CT {
  var boolean v_A_initialized := false;
  var integer v_A_Var := 0;
}

type component B_CT extends EPTF_Base_CT {
  var boolean v_B_initialized := false;
  var integer v_B_Var := 0;
}

type component C_CT extends A_CT,B_CT {
  var boolean v_C_initialized := false;
  var integer v_C_Var := 0;
}

type component D_CT extends C_CT,B_CT,A_CT,EPTF_Base_CT {
  var boolean v_D_initialized := false;
  var integer v_D_Var := 0;
}

/////////////////////////////////////////////
// deadlock test
/////////////////////////////////////////////

type port Hello_PT message {
  inout integer;
} with {extension "internal"}

type component A_DeadLock_CT extends A_CT  {
  port Hello_PT hello_PCO
}

type component C_DeadLock_CT extends C_CT  {
  port Hello_PT hello_PCO
}
/////////////////////////////////////////////
// Regression
/////////////////////////////////////////////
type component Test_CT extends EPTF_Base_CT {
  
  var boolean v_initialized := false;
  var integer v_counter1 := 0;
  var integer v_counter2 := 0;
  var integer v_cleanupOrder := 3;
  timer t_wait1 := 3.0;
}
}