demo/ILog/EPTF_ILog_Application_Definitions.ttcn

///////////////////////////////////////////////////////////////////////////////
//                                                                           //
// Copyright (c) 2000-2019 Ericsson Telecom AB                               //
//                                                                           //
// All rights reserved. This program and the accompanying materials          //
// are made available under the terms of the Eclipse Public License v2.0     //
// which accompanies this distribution, and is available at                  //
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html                                 //
///////////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////
// Module: EPTF_ILog_Application_Definitions
//
// Purpose:
//   This module contains type definitions for demo of EPTF ILog
//   Application layer
//
// Module Parameters:
//    -
//
//  Module depends on:
//    <EPTF_CLL_LGenBase_Definitions>
//    <EPTF_CLL_LGenBase_ConfigDefinitions>
//    <EPTF_CLL_ILog_Definitions>
//    <EPTF_ILog_Applib_Definitions>
//    <EPTF_ILog_Transport_Definitions>
// 
// Current Owner:
//    Jozsef Gyurusi (ethjgi)
//
// Last Review Date:
//    -
//
//  Detailed Comments:
//    -
///////////////////////////////////////////////////////////

module EPTF_ILog_Application_Definitions {

import from EPTF_CLL_LGenBase_Definitions all;
import from EPTF_CLL_LGenBase_ConfigDefinitions all;
import from EPTF_CLL_ILog_Definitions all;
import from EPTF_ILog_Applib_Definitions all;
import from EPTF_ILog_Transport_Definitions all;

modulepar EPTF_ILog_Transport_ResponseWeights tsp_EPTF_ILog_Test_responseWeights := {8.0,0.6,0.6,0.6};

modulepar EPTF_LGenBase_FsmTableDeclarator tsp_EPTF_ILogDemo_fsm := {
  name := "MAIN_FSM",
  fsmParams := {
    {timerList := {{name := "time",startValue :=5.0}}},
    {stateList := {"init","wait4BeginResp","wait4Invoke1Resp","wait4Invoke2Resp","wait4Invoke3Resp","wait4EndResp"}}
  },
  table := {
    extendedTable := {
      { events2Listen := {events := {{ singleEvent := {"EPTF_CLL_LGenBase","LGenBase: Start_the_traffic_case!",fsm}}}},
        cellRow := { statedCellRow := {
            {
              inState := {state := "init"},
              cell := {
                {
                  {"LGenBase: StepFunction_timerStart",{timerName := "time"}},
                  {"newChains", omit},
                  {"ILog: shortLogNext", omit},
                  {"connect", omit},
                  {"ILog: shortLogNext", omit},
                  {"sendBegin",omit}
                }, 
                omit, "wait4BeginResp"
              }
            },
            {
              inState := {anyUndefinedState := {} },
              cell := {
                {
                  {"ILog: shortLogNext", omit},
                  {"logFailFooter",omit},
                  {"ILog: logFailed",omit},
                  {"LGenBase: StepFunction_trafficFailed",omit}
                }, 
                omit, omit
              }
            }
          }
        }
      },
      { events2Listen := {events := {{ singleEvent := {c_EPTF_ILog_Applib_behavior, c_EPTF_ILog_Applib_eventName_OK,fsm}}}},
        cellRow := { statedCellRow := {
            {
              inState := {state := "init"},
              cell := {
                {
                  {"ILog: shortLogNext", omit},
                  {"logFailFooter",omit},
                  {"ILog: logFailed",omit},
                  {"LGenBase: StepFunction_trafficFailed",omit}
                }, 
                omit, omit
              }
            },
            {
              inState := {stateList := {"wait4BeginResp","wait4Invoke1Resp","wait4Invoke2Resp"}},
              cell := {
                {
                  {"LGenBase: StepFunction_timerStartOrRestart",{timerName:= "time"}},
                  {"ILog: shortLogNext", omit},
                  {"sendInvoke",omit}
                },
                omit, omit
              }
            },
            {
              inState := {state := "wait4Invoke3Resp"},
              cell := {
                {
                  {"LGenBase: StepFunction_timerStartOrRestart",{timerName:= "time"}},
                  {"ILog: shortLogNext", omit},
                  {"sendEnd",omit}
                }, 
                omit, "wait4EndResp"
              }
            },
            {
              inState := {state := "wait4EndResp"},
              cell := {
                {
                  {"LGenBase: StepFunction_timerCancelIfRunning",{timerName:= "time"}},
                  {"ILog: shortLogNext", omit},
                  {"disconnect",omit},
                  {"ILog: shortLogNext", omit},
                  {"logSuccessFooter",omit},
                  {"ILog: logSuccess",omit},
                  //{"ILog: deleteLog",omit},
                  {"LGenBase: StepFunction_trafficSuccess",omit}
                }, 
                omit, "init"
              }
            }
          }
        }
      },

      { events2Listen := {events := {{ singleEvent := {c_EPTF_ILog_Applib_behavior, c_EPTF_ILog_Applib_eventName_OK,fsm}}}},
        cellRow := { statedCellRow := {
            {
              inState := {state := "wait4BeginResp"},
              cell := {{}, omit, "wait4Invoke1Resp"}
            },
            {
              inState := {state := "wait4Invoke1Resp"},
              cell := {{}, omit, "wait4Invoke2Resp"}
            },
            {
              inState := {state := "wait4Invoke2Resp"},
              cell := {{}, omit, "wait4Invoke3Resp"}
            }
          }
        }
      },

      { events2Listen := {events := {{ singleEvent := {c_EPTF_LGenBase_specialBName_timerTimeout, "time",fsm}}}},
        cellRow := { statedCellRow := {
            {  
              inState := {anyUndefinedState := {} },
              cell := {
                {
                  {"LGenBase: StepFunction_timerCancelIfRunning",{timerName:= "time"}},
                  {"ILog: shortLogNext", omit},
                  {"timeout",omit},
                  {"ILog: shortLogNext", omit},
                  {"disconnect",omit},
                  {"ILog: shortLogNext", omit},
                  {"logTimeoutFooter",omit},
                  {"ILog: logFailed",omit},
                  {"LGenBase: StepFunction_trafficFailed",omit}
                }, 
                omit, "init"
              }
            }
          }
        }
      },
      { events2Listen := {events := {{ singleEvent := {c_EPTF_ILog_Applib_behavior, c_EPTF_ILog_Applib_eventName_NOK,fsm}}}},      
        cellRow := { statedCellRow := {
            {  
              inState := {anyUndefinedState := {} },
              cell := {
                {
                  {"LGenBase: StepFunction_timerCancelIfRunning",{timerName:= "time"}},
                  {"ILog: shortLogNext",omit},
                  {"disconnect",omit},
                  {"ILog: shortLogNext", omit},
                  {"logFailFooter",omit},
                  {"ILog: logFailed",omit},
                  {"LGenBase: StepFunction_trafficFailed",omit}
                }, 
                omit, omit
              }
            }
          }
        }
      }
    }
  }
}

///////////////////////////////////////////////////////////
//  Type: EPTF_ILog_Test_CT
// 
//  Purpose:
//     List of component level elements.
// 
//  Elements:    
//    v_EPTF_ILog_Application_initialized    - *boolean* - prevents multiple init by calling <EPTF_ILog_Test_CT> several times
//    v_EPTF_ILogTest_behaviorIdx            - *integer* - behavior index
//    v_EPTF_ILog_Application_testFinished   - *boolean* - flag for mark the test finished
//    
//  Detailed Comments:
//    -
//     
///////////////////////////////////////////////////////////
type component EPTF_ILog_Test_CT extends EPTF_ILog_Applib_CT, EPTF_LGenBase_CT {
  var boolean v_EPTF_ILog_Application_initialized := false;
  var integer v_EPTF_ILogTest_behaviorIdx := -1;
  var boolean v_EPTF_ILog_Application_testFinished := false;
  var integer v_EPTF_ILog_Application_successFooterDB := 0;
  var integer v_EPTF_ILog_Application_failFooterDB := 0;
  var integer v_EPTF_ILog_Application_timeoutFooterDB := 0;
}

const charstring c_EPTF_ILogTest_stepName_newChains := "newChains"
const charstring c_EPTF_ILogTest_stepName_logSuccessFooter := "logSuccessFooter"
const charstring c_EPTF_ILogTest_stepName_logFailFooter := "logFailFooter"
const charstring c_EPTF_ILogTest_stepName_logTimeoutFooter := "logTimeoutFooter"
const charstring c_EPTF_ILogTest_behavior := "ILogTest_behavior";

} // module EPTF_ILog_Application_Definitions