///////////////////////////////////////////////////////////////////////////////
//
// Copyright (c) 2000-2018 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
///////////////////////////////////////////////////////////////////////////////
//
//  File:     XTDP_PM_Testcases.ttcn
//  Rev:      <RnXnn>
//  Prodnr:   CNL 11
//  Updated:  2010-10-27
//  Contact:  http://ttcn.ericsson.se
///////////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////
//  Module: XTDP_PM_Testcases
// 
//  Purpose:
//    This module provides functions for testing the XTDP protocol module
// 
//  Module depends on:
//    -
// 
//  Current Owner:
//    Jozsef Gyurusi (ethjgi)
// 
//  Last Review Date:
//    -
//
///////////////////////////////////////////////////////////////
module XTDP_PM_Testcases {

import from ttcn_ericsson_se_protocolModules_xtdp_xtdp all;
import from ttcn_ericsson_se_protocolModules_xtdp_xtdl all;
import from XTDP_EncDecFunctions all;

//external function enc_XTDP_Message (in XTDP_Message p_message) return octetstring
//with {extension "prototype(convert) encode (XER:XER_EXTENDED)"}
//
//external function dec_XTDP_Message (in octetstring p_oct, out XTDP_Message p_message) return integer
//with {extension "prototype(backtrack) decode (XER:XER_EXTENDED) errorbehavior(ALL:WARNING)"}

// external function dec_XTDL_Window (in octetstring p_oct, out Window p_window) return integer
// with {extension "prototype(backtrack) decode (XER:XER_EXTENDED) errorbehavior(ALL:WARNING)"}
// 
// external function enc_XTDL_Window (in Window p_window) return octetstring
// with {extension "prototype(convert) encode (XER:XER_EXTENDED)"}

const XTDP_Message c_XTDP_Message_HM80553 := {
  transactionID := 1248,
  choice := {
    xTDP_AddRequests := {
      xTDP_AddRequest_list := {
        {
          requestId := 1248,
          parentWidgetId := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.tab",
          widgets := {
            hbox := {
              disabled := false,
              fixedposition := omit,
              flex := 1.000000,
              id := omit,
              orientation := vertical,
              scrollable := omit,
              embeddedwidgets := {
                embeddedwidget_list := {
                  {
                    label_ := {
                      disabled := false,
                      flex := 0.000000,
                      id := omit,
                      style := omit,
                      tooltiptext := omit,
                      value_ := "Scenario info for scenario_0_declarator2:",
                      externaldata := omit
                    } 
                  },
                  {
                    hbox := {
                      disabled := false,
                      fixedposition := omit,
                      flex := 0.000000,
                      id := omit,
                      orientation := horizontal,
                      scrollable := omit,
                      embeddedwidgets := {
                        embeddedwidget_list := {
                          {
                            hbox := {
                              disabled := false,
                              fixedposition := omit,
                              flex := 3.000000,
                              id := omit,
                              orientation := horizontal,
                              scrollable := omit,
                              embeddedwidgets := {
                                embeddedwidget_list := {
                                  {
                                    hbox := {
                                      disabled := false,
                                      fixedposition := omit,
                                      flex := 1.000000,
                                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.instanceName.main",
                                      orientation := horizontal,
                                      scrollable := omit,
                                      embeddedwidgets := {
                                        embeddedwidget_list := {
                                          {
                                            label_ := {
                                              disabled := false,
                                              flex := 0.000000,
                                              id := omit,
                                              style := omit,
                                              tooltiptext := omit,
                                              value_ := "Scenario instance name:",
                                              externaldata := omit 
                                            } 
                                          },
                                          {
                                            spacer := {
                                              flex := 0.500000,
                                              id := omit 
                                            } 
                                          },
                                          {
                                            textbox := {
                                              disabled := omit,
                                              flex := 1.000000,
                                              id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.instanceName",
                                              multiline := false,
                                              readonly := true,
                                              rows := omit,
                                              tooltiptext := omit,
                                              value_ := "grp0.scenario_0_declarator2",
                                              widgetType := omit,
                                              wrap := omit,
                                              externaldata := omit
                                            } 
                                          } 
                                        } 
                                      } 
                                    } 
                                  },
                                  {
                                    spacer := {
                                      flex := 0.000000,
                                      id := omit 
                                    } 
                                  },
                                  {
                                    hbox := {
                                      disabled := false,
                                      fixedposition := omit,
                                      flex := 1.000000,
                                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.phaseListName.main",
                                      orientation := horizontal,
                                      scrollable := omit,
                                      embeddedwidgets := {
                                        embeddedwidget_list := {
                                          {
                                            label_ := {
                                              disabled := false,
                                              flex := 0.000000,
                                              id := omit,
                                              style := omit,
                                              tooltiptext := omit,
                                              value_ := "PhaseList:" ,
                                              externaldata := omit
                                            } 
                                          },
                                          {
                                            spacer := {
                                              flex := 0.500000,
                                              id := omit 
                                            } 
                                          },
                                          {
                                            textbox := {
                                              disabled := omit,
                                              flex := 1.000000,
                                              id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.phaseListName",
                                              multiline := false,
                                              readonly := true,
                                              rows := omit,
                                              tooltiptext := omit,
                                              value_ := "",
                                              widgetType := omit,
                                              wrap := omit ,
                                              externaldata := omit
                                            } 
                                          } 
                                        } 
                                      } 
                                    } 
                                  } 
                                } 
                              } 
                            } 
                          },
                          {
                            spacer := {
                              flex := 0.000000,
                              id := omit 
                            } 
                          },
                          {
                            hbox := {
                              disabled := false,
                              fixedposition := omit,
                              flex := 1.000000,
                              id := omit,
                              orientation := horizontal,
                              scrollable := omit,
                              embeddedwidgets := {
                                embeddedwidget_list := {
                                  {
                                    tree := {
                                      disabled := false,
                                      flex := 1.000000,
                                      hidecolumnpicker := true,
                                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.StatusLED.main",
                                      rows := 1.000000,
                                      treecols := {{{
                                          { treecol := {
                                            editable := false,
                                            flex := 1.000000,
                                            id := omit,
                                            label_ := "Sc Status",
                                            tooltiptext := omit,
                                            widgetType := statusLEDWithText 
                                          }} 
                                        }}
                                      },
                                      treechildren := {{{
                                          {
                                            treeitem := {{{
                                              {
                                                treerow := {{{
                                                  { treecell := {
                                                    id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.StatusLED",
                                                    imageid := omit,
                                                    label_ := "[led:black]NA",
                                                    tooltiptext := "Sc Status",
                                                    visible := omit,
                                                    externaldata := omit
                                                  }}
                                                } 
                                              }} 
                                            }} 
                                          }}
                                        } 
                                      }
                                    }}
                                  } 
                                } 
                              } 
                            } 
                          }}
                        } 
                      } 
                    } 
                  },
                  {
                    hbox := {
                      disabled := false,
                      fixedposition := omit,
                      flex := 0.000000,
                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.userSpecificScData",
                      orientation := vertical,
                      scrollable := omit,
                      embeddedwidgets := {
                        embeddedwidget_list := {
                          
                        } 
                      } 
                    } 
                  },
                  {
                    hbox := {
                      disabled := false,
                      fixedposition := omit,
                      flex := 0.000000,
                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.weightedScData",
                      orientation := vertical,
                      scrollable := omit,
                      embeddedwidgets := {
                        embeddedwidget_list := {
                          
                        } 
                      } 
                    } 
                  },
                  {
                    spacer := {
                      flex := 0.000000,
                      id := omit 
                    } 
                  },
                  {
                    label_ := {
                      disabled := false,
                      flex := 0.000000,
                      id := omit,
                      style := omit,
                      tooltiptext := omit,
                      value_ := "",
                      externaldata := omit 
                    } 
                  },
                  {
                    hbox := {
                      disabled := false,
                      fixedposition := omit,
                      flex := 0.000000,
                      id := omit,
                      orientation := horizontal,
                      scrollable := omit,
                      embeddedwidgets := {
                        embeddedwidget_list := {
                          
                        } 
                      } 
                    } 
                  },
                  {
                    hbox := {
                      disabled := false,
                      fixedposition := omit,
                      flex := 0.000000,
                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.ControlButtons",
                      orientation := horizontal,
                      scrollable := omit,
                      embeddedwidgets := {
                        embeddedwidget_list := {
                          {
                            button := {
                              checked := omit,
                              disabled := true,
                              flex := 1.000000,
                              id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.ControlButtons.Start",
                              imageid := "image_play",
                              label_ := "Start Scenario",
                              tooltiptext := omit,
                              type_ := omit,
                              externaldata := omit 
                            } 
                          },
                          {
                            spacer := {
                              flex := 0.000000,
                              id := omit 
                            } 
                          },
                          {
                            button := {
                              checked := omit,
                              disabled := true,
                              flex := 1.000000,
                              id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.ControlButtons.Stop",
                              imageid := "image_stop",
                              label_ := "Stop Scenario",
                              tooltiptext := omit,
                              type_ := omit,
                              externaldata := omit
                            } 
                          },
                          {
                            spacer := {
                              flex := 0.000000,
                              id := omit 
                            } 
                          },
                          {
                            button := {
                              checked := omit,
                              disabled := true,
                              flex := 1.000000,
                              id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.ControlButtons.Reset",
                              imageid := "image_configure",
                              label_ := "Reset Scenario",
                              tooltiptext := omit,
                              type_ := omit ,
                              externaldata := omit
                            } 
                          } 
                        } 
                      } 
                    } 
                  },
                  {
                    spacer := {
                      flex := 0.000000,
                      id := omit 
                    } 
                  },
                  {
                    tabpages := {
                      disabled := false,
                      flex := 1.000000,
                      id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.TrafficCase.Maintabbox",
                      layout := omit,
                      tabpagegroups := { tabpagegroup_list := {
                          { tabpage := {
                            id := omit,
                            label_ := "Traffic Case data",
                            maxheight := omit,
                            orientation := vertical,
                            tooltiptext := omit,
                            embeddedwidgets := {
                              embeddedwidget_list := {
                                {
                                  label_ := {
                                    disabled := true,
                                    flex := 0.000000,
                                    id := omit,
                                    style := omit,
                                    tooltiptext := omit,
                                    value_ := "Select traffic case",
                                    externaldata := omit
                                  } 
                                },
                                {
                                  tabpages := {
                                    disabled := false,
                                    flex := 1.000000,
                                    id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.TrafficCase.tabbox",
                                    layout := lISTCARD,
                                    tabpagegroups := { tabpagegroup_list := { { tabpage := {  
                                      id := omit,
                                      label_ := "",
                                      maxheight  := omit,
                                      orientation  := omit,
                                      tooltiptext := omit,
                                      embeddedwidgets := { embeddedwidget_list := {} }
                                    }  }} }
                                  } 
                                } 
                              } 
                            }} 
                          },
                          {tabpage := {
                            id := omit,
                            label_ := "Traffic case states in scenario",
                            maxheight := omit,
                            orientation := vertical,
                            tooltiptext := omit,
                            embeddedwidgets := {
                              embeddedwidget_list := {
                                {
                                  label_ := {
                                    disabled := false,
                                    flex := 0.000000,
                                    id := omit,
                                    style := omit,
                                    tooltiptext := omit,
                                    value_ := "Traffic case states in scenario:" ,
                                    externaldata := omit
                                  } 
                                },
                                {
                                  hbox := {
                                    disabled := false,
                                    fixedposition := omit,
                                    flex := 0.000000,
                                    id := "EPTF_ExecCtrl.Statistics.EG.grp0.SC.scenario_0_declarator2.tcStatusLEDs",
                                    orientation := vertical,
                                    scrollable := omit,
                                    embeddedwidgets := {
                                      embeddedwidget_list := {
                                        
                                      } 
                                    } 
                                  } 
                                },
                                {
                                  spacer := {
                                    flex := 1.000000,
                                    id := omit 
                                  } 
                                } 
                              } 
                            } 
                          }  
                        } 
                      } }
                    } 
                  } 
                } 
              } 
            } 
          } 
        } 
      } 
    } 
  } 
}


// basic enc-dec check (but generated a core file with 1.8.pl4 titan)
function f_XTDP_PM_checkEncDec(in XTDP_Message pl_xtdpMessage) {
  var octetstring vl_encoded := enc_XTDP_Message(pl_xtdpMessage);
  var XTDP_Message v_decXTDP_Message;
  dec_XTDP_Message(vl_encoded, v_decXTDP_Message);
  
  if (not match(v_decXTDP_Message,XTDP_Message:pl_xtdpMessage)) {
    setverdict(fail,"Decoded message differs from original: ", match(v_decXTDP_Message,XTDP_Message:pl_xtdpMessage));
  } else {
    setverdict(pass);
  }
  
}

type component XTDP_PM_Test_CT {
};

testcase tc_XTDP_PM_checkEncDec_Test_HM80553() runs on XTDP_PM_Test_CT {
  f_XTDP_PM_checkEncDec(c_XTDP_Message_HM80553);
}

const  XTDP_Message c_XTDP_Message_HM78966 := {
  transactionID := 1,
  choice := {
 xTDP_LayoutResponse := { 
   widgets := {
                window := {
                                 height := 300.000000,
                                 id := "MyNewEPTFMainWindow",
                                 orientation := vertical,
                                 title := "My TTCN constructed window",
                                 width := 800.000000,
                                 image_list := {
                                                 
                                                },
                                 embeddedwidgets := {
                                                 embeddedwidget_list := {
                                                                 {
                                                                                 toolbar := {
                                                                                                 disabled := omit,
                                                                                                 id := "MyEPTFMainToolbar",
                                                                                                 placement := north,
                                                                                                 choice_list := {
                                                                                                                 {
                                                                                                                                 toolbarbutton := {
                                                                                                                                                 disabled := omit,
                                                                                                                                                 id := "FirstTbarButtonId",
                                                                                                                                                 imageid := omit,
                                                                                                                                                 tooltiptext := "FirstTbarButton ToolTip",
                                                                                                                                                 externaldata := omit
                                                                                                                                                }
                                                                                                                                },
                                                                                                                 {
                                                                                                                                 separator := {
                                                                                                                                                 id := omit
                                                                                                                                                }
                                                                                                                                },
                                                                                                                 {
                                                                                                                                 toolbarbutton := {
                                                                                                                                                 disabled := omit,
                                                                                                                                                 id := "SecondTbarButtonId",
                                                                                                                                                 imageid := omit,
                                                                                                                                                 tooltiptext := "SecondTbarButton ToolTip",
                                                                                                                                                 externaldata := omit
                                                                                                                                                }
                                                                                                                                }
                                                                                                                }
                                                                                                }
                                                                                }
                                                                }
                                                }
                                }
                }
                }
                }
                }


external function dec_Widgets (in octetstring p_oct, out Widgets p_widgets) return integer
with {extension "prototype(backtrack) decode (XER:XER_EXTENDED) errorbehavior(ALL:WARNING)"}

external function enc_Widgets (in Widgets p_widgets) return octetstring
with {extension "prototype(convert) encode (XER:XER_EXTENDED)"}

testcase tc_XTDP_PM_checkEncDec_Test_HM78966() runs on XTDP_PM_Test_CT {
  f_XTDP_PM_checkEncDec(c_XTDP_Message_HM78966);
  var octetstring vl_encMessage := enc_Widgets(c_XTDP_Message_HM78966.choice.xTDP_LayoutResponse.widgets);
  var Widgets vl_widgets
  dec_Widgets(vl_encMessage,vl_widgets);
  if (not match(vl_widgets,Widgets:c_XTDP_Message_HM78966.choice.xTDP_LayoutResponse.widgets)) {
    setverdict(fail,"Decoded widgets differ from original: ", match(vl_widgets,Widgets:c_XTDP_Message_HM78966.choice.xTDP_LayoutResponse.widgets));
  } else {
    setverdict(pass);
  }
  
}

const  XTDP_Message c_XTDP_Message_HM78267 := {
                 transactionID := omit,
                 choice := {
                                 xTDP_LayoutResponse := {
                                                 widgets := {
                                                                 window := {
                                                                                 height := 125.000000,
                                                                                 id := "RuntimeGUIMainWindow",
                                                                                 orientation := vertical,
                                                                                 title := omit,
                                                                                 width := 725.000000,
                                                                                 image_list := {
                                                                                                 
                                                                                                },
                                                                                 embeddedwidgets := {
                                                                                                 embeddedwidget_list := {
                                                                                                                 {
                                                                                                                                 textbox := {
                                                                                                                                                 disabled := omit,
                                                                                                                                                 flex := 1.000000,
                                                                                                                                                 id := "InitialTextBox",
                                                                                                                                                 multiline := true,
                                                                                                                                                 readonly := true,
                                                                                                                                                 rows := 5.000000,
                                                                                                                                                 tooltiptext := omit,
                                                                                                                                                 value_ := "TITAN Runtime GUI started.\nYou have to connect it to a TITAN test suite and fill it with content.",
                                                                                                                                                 widgetType := omit,
                                                                                                                                                 wrap := true,
                                                                                                                                                 externaldata := omit
                                                                                                                                                }
                                                                                                                                },
                                                                                                                 {
                                                                                                                                 label_ := {
                                                                                                                                                 disabled := omit,
                                                                                                                                                 flex := 0.000000,
                                                                                                                                                 id := "status",
                                                                                                                                                 style := omit,
                                                                                                                                                 tooltiptext := omit,
                                                                                                                                                 value_ := "localhost:11420 connected.",
                                                                                                                                                 externaldata := omit
                                                                                                                                                }
                                                                                                                                }
                                                                                                                }
                                                                                                }
                                                                                }
                                                                }
                                                }
                                }
                }

testcase tc_XTDP_PM_checkEncDec_Test_HM78267() runs on XTDP_PM_Test_CT {
  f_XTDP_PM_checkEncDec(c_XTDP_Message_HM78267);
}
control {
  execute(tc_XTDP_PM_checkEncDec_Test_HM80553());
  execute(tc_XTDP_PM_checkEncDec_Test_HM78966());
  execute(tc_XTDP_PM_checkEncDec_Test_HM78267());
}

} // module XTDP_PM_Testcases