/******************************************************************************
 * Copyright (c) 2000-2014 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 replacer_OK {

type component PDTestComponent {};

/* replace on BITSTRING values.  Examples from C.34 of ETSI ES 201 873-1
   V3.3.1 (2008-02).  */

testcase replace_bitstr() runs on PDTestComponent {
  var integer a := 0
  var integer b := 1
  var bitstring bs_1 := replace('00000110'B, 1, 3, '111'B)            // returns '01110110'B
  var bitstring bs_2 := replace('00000110'B, b + a, b + b + b, '111'B)// returns '01110110'B
  if (bs_1 == '01110110'B) { setverdict(pass) }
  else { setverdict(fail) }
  if (bs_1 == bs_2) { setverdict(pass) }
  else { setverdict(fail) }
}

/* replace on HEXSTRING values.  */

testcase replace_hexstr() runs on PDTestComponent {
  var integer a := 0
  var integer b := 1
  var hexstring hs_1 := replace('ABCDEF'H, 0, 2, '123'H)    // returns '123CDEF'H
  var hexstring hs_2 := replace('ABCDEF'H, a, b + 1, '123'H)// returns '123CDEF'H
  if (hs_1 == '123CDEF'H) { setverdict(pass) }
  else { setverdict(fail) }
  if (hs_1 == hs_2) { setverdict(pass) }
  else { setverdict(fail) }
}

/* replace on OCTETSTRING values.  */

testcase replace_octetstr() runs on PDTestComponent {
  var integer a := 0
  var integer b := 1
  var octetstring c := 'FF96'O
  var octetstring os_0 := '01AB23CD'O
  var octetstring os_1 := replace('01AB23CD'O, 2, 1, 'FF96'O)    // returns '01ABFF96CD'O
  var octetstring os_2 := replace('01AB23CD'O, a + 2, b, 'FF96'O)// returns '01ABFF96CD'O
  var octetstring os_3 := replace(os_0, 2, b, c)                 // returns '01ABFF96CD'O
  if (os_1 == '01ABFF96CD'O) { setverdict(pass) }
  else { setverdict(fail) }
  if (os_2 == '01ABFF96CD'O) { setverdict(pass) }
  else { setverdict(fail) }
  if (os_1 == os_2) { setverdict(pass) }
  else { setverdict(fail) }
  if (os_2 == os_3) { setverdict(pass) }
  else { setverdict(fail) }
}

/* replace on CHARSTRING values.  */

testcase replace_charstr() runs on PDTestComponent {
  var integer a := 0
  var integer b := 1
  var charstring c := "x"
  var charstring cs_0 := "My name is JJ"
  var charstring cs_1 := replace("My name is JJ", 11, 1, "xx")    // returns "My name is xxJ"
  var charstring cs_2 := replace("My name is JJ", 11, b - 1, "xx")// returns "My name is xxJJ"
  var charstring cs_3 := replace("My name is JJ", 2, 2, "x")      // returns "Myxame is JJ"
  var charstring cs_4 := replace("My name is JJ", b + 1, b + 1, c)// returns "Myxame is JJ"
  var charstring cs_5 := replace("My name is JJ", 13, 0, "xx")    // returns "My name is JJxx"
  var charstring cs_6 := replace(cs_0, 13, a, "xx")               // returns "My name is JJxx"
  /*
  var charstring cs_7 := replace("My name is JJ", 12, 2, "xx") // produces compile error
  var charstring cs_8 := replace("My name is JJ", 13, 2, "xx") // produces compile error)
  */
  if (cs_1 == "My name is xxJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_2 == "My name is xxJJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_3 == "Myxame is JJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_4 == "Myxame is JJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_3 == cs_4) { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_5 == "My name is JJxx") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_6 == "My name is JJxx") { setverdict(pass) }
  else { setverdict(fail) }
  if (cs_5 == cs_6) { setverdict(pass) }
  else { setverdict(fail) }
}

/* replace on UNIVERSAL_CHARSTRING values.  */

testcase replace_ucharstr() runs on PDTestComponent {
  var integer a := 0
  var integer b := 1
  var universal charstring c := char(0, 0, 0, 120) & ""
  var universal charstring us_0 := char(0, 0, 0, 77) & "y name is JJ"
  var universal charstring us_1 := replace(char(0, 0, 0, 77) & "y name is JJ", 11, 1, char(0, 0, 0, 120) & "x")    // returns "My name is xxJ"
  var universal charstring us_2 := replace(char(0, 0, 0, 77) & "y name is JJ", 11, b - 1, char(0, 0, 0, 120) & "x")// returns "My name is xxJJ"
  var universal charstring us_3 := replace(char(0, 0, 0, 77) & "y name is JJ", 2, 2, char(0, 0, 0, 120) & "")      // returns "Myxame is JJ"
  var universal charstring us_4 := replace(char(0, 0, 0, 77) & "y name is JJ", b + 1, b + 1, c)                    // returns "Myxame is JJ"
  var universal charstring us_5 := replace(char(0, 0, 0, 77) & "y name is JJ", 13, 0, char(0, 0, 0, 120) & "x")    // returns "My name is JJxx"
  var universal charstring us_6 := replace(us_0, 13, a, char(0, 0, 0, 120) & "x")                                  // returns "My name is JJxx"
  if (us_1 == char(0, 0, 0, 77) & "y name is xxJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_2 == char(0, 0, 0, 77) & "y name is xxJJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_3 == char(0, 0, 0, 77) & "yxame is JJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_4 == char(0, 0, 0, 77) & "yxame is JJ") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_3 == us_4) { setverdict(pass) }
  else { setverdict(fail) }
  if (us_5 == char(0, 0, 0, 77) & "y name is JJxx") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_6 == char(0, 0, 0, 77) & "y name is JJxx") { setverdict(pass) }
  else { setverdict(fail) }
  if (us_5 == us_6) { setverdict(pass) }
  else { setverdict(fail) }
}

control {
	execute (replace_bitstr());
	execute (replace_hexstr());
	execute (replace_octetstr());
	execute (replace_charstr());
	execute (replace_ucharstr());
}

}