conformance_test/positive_tests/24_test_verdict_operations/2403_the_getverdict_operation/Sem_2403_getverdict_001.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2016 Ericsson Telecom AB
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *   Adrien Kirjak – initial implementation
  10  *
  11  ** @version  0.0.1
  12  ** @purpose  1:24.3, Ensure getverdict returns the actual verdict none
  13  ** @verdict  pass accept, ttcn3verdict:pass
  14  ***************************************************/
  15
  16 // #reqname  /Requirements/24 Test verdict operations/24.3  The Getverdict operation/Getverdict returns local verdict value
  17
  18 module Sem_2403_getverdict_001 {
  19     type component TComp {}
  20
  21     testcase TC_Sem_2403_getverdict_001() runs on TComp {
  22         var verdicttype v_verdict;
  23         setverdict(none);
  24         v_verdict := getverdict;
  25         if (v_verdict == none)
  26         {
  27             setverdict(pass)
  28         }
  29         else
  30         {
  31             setverdict(fail);
  32         }
  33     }
  34
  35     control {
  36         execute(TC_Sem_2403_getverdict_001())
  37     }
  38 }