/******************************************************************************
 * 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 TcharstrOper
{type component charstrOper_comptype { };
const charstring TcharstrOper_const1:="asd1";

testcase charstrAssign() runs on charstrOper_comptype
{ var charstring x1:="ABCD";
  var charstring x5:=x1;
  var charstring x2,x3,x4,x6;
  x2:="1234";
  x6:=x2;
  x4:="ab12";
  x3:="";
  x4:="ab123";
  if (x1=="ABCD") {setverdict(pass);}	//at declaration, with value
     else {setverdict(fail);}
  if (x5=="ABCD") {setverdict(pass);}	//at declaration, with variable
     else {setverdict(fail);}
  if (x2=="1234") {setverdict(pass);}	//later, with value
     else {setverdict(fail);}
  if (x6=="1234") {setverdict(pass);}	//later, with variable
     else {setverdict(fail);}
  if (x3=="") {setverdict(pass);}	//empty string
     else {setverdict(fail);}
  if (x4=="ab123") {setverdict(pass);}	//change of size
     else {setverdict(fail);}
}

// testcase charstrAssignQuote() runs on charstrOper_comptype
//{ var charstring x1;
//  x1:="ab""12";
//  if ((x1=="ab""12")) {setverdict(pass);}
//     else {setverdict(fail);}
//}


testcase charstrAssignElem() runs on charstrOper_comptype
{ var charstring x1,x2,x3,x4,x5,x6;
  x1:="AAAAAA";
  x4:="AAAAAA";
  x2:="AAAAAA";
  x5:="abcdef";
  x6:="AAAAAA"
  x3:="ab";
  x3:=x5[1];
  x1[1]:="b";
  x2[2]:=x3;
  x4[1]:=x5[2];
  x6[6]:="B";
  if (x5[1]=="b") {setverdict(pass);}		//accessing an element
   else {setverdict(fail);}
  if (x3=="b") {setverdict(pass);}		//change string to element
   else {setverdict(fail);}
  if (x1=="AbAAAA") {setverdict(pass);}	//change element to value
   else {setverdict(fail);}
  if (x4=="AcAAAA") {setverdict(pass);}	//change element to element
   else {setverdict(fail);}
  if (x2=="AAbAAA") {setverdict(pass);}	//change element to string
   else {setverdict(fail);}
  if (x6=="AAAAAAB") {setverdict(pass);}	//add element to string
   else {setverdict(fail);}
}

testcase charstrLengthof() runs on charstrOper_comptype
{ var charstring x1:="ABCD";
  var charstring x6:=x1;
  var charstring x2,x3,x4,x5,x7;
  x2:="1234";
  x7:=x2;
  x4:="ab12";
  x5:="abcd";
  x3:="";
  x4:="ab123";
  x5[4]:="e";
  if (lengthof(x1)==4) {setverdict(pass);}	//at declaration, with value
     else {setverdict(fail);}
  if (lengthof(x6)==4) {setverdict(pass);}	//at declaration, with variable
     else {setverdict(fail);}
  if (lengthof(x2)==4) {setverdict(pass);}	//later, with value
     else {setverdict(fail);}
  if (lengthof(x7)==4) {setverdict(pass);}	//later, with variable
     else {setverdict(fail);}
  if (lengthof(x3)==0) {setverdict(pass);}	//empty string
     else {setverdict(fail);}
  if (lengthof(x4)==5) {setverdict(pass);}	//change of size by assignment
     else {setverdict(fail);}
  if (lengthof(x5)==5) {setverdict(pass);}	//change of size by adding element
     else {setverdict(fail);}
}

testcase charstrAssignElemAdd() runs on charstrOper_comptype
{ var charstring x1,x2,x3,x4,x5;
  x1:="AAAAAA";
  x4:="AAAAAA";
  x2:="AAAAAA";
  x3:="b";
  x5:="abcdef";
  x1[6]:="b";
  x2[6]:=x3;
  x4[6]:=x5[2];
  if ((x1=="AAAAAAb")and(lengthof(x1)==7)) {setverdict(pass);}	//add value
   else {setverdict(fail);}
  if ((x2=="AAAAAAb")and(lengthof(x2)==7)) {setverdict(pass);}	//add string
   else {setverdict(fail);}
  if ((x4=="AAAAAAc")and(lengthof(x4)==7)) {setverdict(pass);}	//add element
   else {setverdict(fail);}
}

testcase charstrConst() runs on charstrOper_comptype {
const charstring TcharstrOper_const3:="klm";
if (TcharstrOper_const1=="asd1") {setverdict(pass);}	//definition part
     else {setverdict(fail);}
if (TcharstrOper_const3=="klm") {setverdict(pass);}	//testcase
     else {setverdict(fail);}
}

testcase charstrCompEq() runs on charstrOper_comptype
{ var charstring x1,x2,x3,x4,x5;
  x1:="abc";
  x2:="abc";
  x3:="cde";
  x4:="d";
  if (x1==x2) {setverdict(pass);}	//string_string
   else {setverdict(fail);}
  if (not(x1==x3)) {setverdict(pass);}	//string_string
   else {setverdict(fail);}
  if (x4==x3[1]) {setverdict(pass);}	//string_element
   else {setverdict(fail);}
  if (not(x4==x3[0])) {setverdict(pass);}	//string_element
   else {setverdict(fail);}
  if (x1=="abc") {setverdict(pass);}	//string_value
   else {setverdict(fail);}
  if (not(x1=="aabc")) {setverdict(pass);}	//string_value
   else {setverdict(fail);}
  if (x3[1]==x4) {setverdict(pass);}	//element_string
   else {setverdict(fail);}
  if (not(x3[2]==x4)) {setverdict(pass);}	//element_string
   else {setverdict(fail);}
  if (x1[1]==x2[1]) {setverdict(pass);}	//element_element
   else {setverdict(fail);}
  if (not(x1[0]==x2[1])) {setverdict(pass);}	//element_element
   else {setverdict(fail);}
  if (x3[2]=="e") {setverdict(pass);}	//element_value
   else {setverdict(fail);}
  if (not(x3[2]=="f")) {setverdict(pass);}	//element_value
   else {setverdict(fail);}
  if ("abc"==x2) {setverdict(pass);}	//value_string
   else {setverdict(fail);}
  if (not("dbc"==x2)) {setverdict(pass);}	//value_string
   else {setverdict(fail);}
  if ("d"==x3[1]) {setverdict(pass);}	//value_element
   else {setverdict(fail);}
  if (not("k"==x3[1])) {setverdict(pass);}	//value_element
   else {setverdict(fail);}
//  if ("df"=="df") {setverdict(pass);}	//value_value
//   else {setverdict(fail);}
//  if (not("dh"=="df")) {setverdict(pass);}	//value_value
//   else {setverdict(fail);}
}

testcase charstrCompNotEq() runs on charstrOper_comptype
{ var charstring x1,x2,x3,x4,x5;
  x1:="abc";
  x2:="abc";
  x3:="cde";
  x4:="d";
  if (not(x1!=x2)) {setverdict(pass);}	//string_string
   else {setverdict(fail);}
  if (x1!=x3) {setverdict(pass);}	//string_string
   else {setverdict(fail);}
  if (not(x4!=x3[1])) {setverdict(pass);}	//string_element
   else {setverdict(fail);}
  if (x4!=x3[2]) {setverdict(pass);}	//string_element
   else {setverdict(fail);}
  if (not(x1!="abc")) {setverdict(pass);}	//string_value
   else {setverdict(fail);}
  if (x1!="ab") {setverdict(pass);}	//string_value
   else {setverdict(fail);}
  if (not(x3[1]!=x4)) {setverdict(pass);}	//element_string
   else {setverdict(fail);}
  if (x1[1]!=x4) {setverdict(pass);}	//element_string
   else {setverdict(fail);}
  if (not(x1[1]!=x2[1])) {setverdict(pass);}	//element_element
   else {setverdict(fail);}
  if (x1[1]!=x3[1]) {setverdict(pass);}	//element_element
   else {setverdict(fail);}
  if (not(x3[2]!="e")) {setverdict(pass);}	//element_value
   else {setverdict(fail);}
  if (x3[2]!="F") {setverdict(pass);}	//element_value
   else {setverdict(fail);}
  if (not("abc"!=x2)) {setverdict(pass);}	//value_string
   else {setverdict(fail);}
  if ("abcD"!=x2) {setverdict(pass);}	//value_string
   else {setverdict(fail);}
  if (not("b"!=x1[1])) {setverdict(pass);}	//value_element
   else {setverdict(fail);}
  if ("d"!=x1[1]) {setverdict(pass);}	//value_element
   else {setverdict(fail);}
//  if (not("ef"!="ef")) {setverdict(pass);}	//value_value
//   else {setverdict(fail);}
//  if ("d"!="ef") {setverdict(pass);}	//value_value
//   else {setverdict(fail);}
}

//testcase charstrCompSmall() runs on charstrOper_comptype
//{ var charstring x1,x2,x3,x4,x5;
//  x1:="cde";
//  x2:="abc";
//  x3:="cde";
//  x4:="ghi";
//  x5:="d";
//  if (x3<x4) {setverdict(pass);}	//string_string
//   else {setverdict(fail);}
//  if ((not(x1<x2))and(not(x1<x3))and(x1<x4)) {setverdict(pass);}	//string_string
//   else {setverdict(fail);}
//  if ((not(x5<x3[0]))and(not(x5<x3[1]))and(x5<x3[2])) {setverdict(pass);}	//string_element
//   else {setverdict(fail);}
//  if ((not(x1<"abc"))and(not(x1<"cde"))and(x1<"ghi")) {setverdict(pass);}	//string_value
//   else {setverdict(fail);}
//  if ((not(x3[2]<x5))and(not(x3[1]<x5))and(x3[0]<x5)) {setverdict(pass);}	//element_string
//   else {setverdict(fail);}
//  if ((not(x3[2]<x1[1]))and(not(x3[1]<x1[1]))and(x3[0]<x1[1])) {setverdict(pass);}	//element_element
//   else {setverdict(fail);}
//  if ((not(x3[2]<"d"))and(not(x3[1]<"e"))and(x3[0]<"fg")) {setverdict(pass);}	//element_value
//   else {setverdict(fail);}
//  if ((not("de"<x2))and(not("abc"<x2))and("ab"<x2)) {setverdict(pass);}	//value_string
//   else {setverdict(fail);}
//  if ("de"<x1[1]) {setverdict(pass);}	//value_element
//  else {setverdict(fail);}
//  if ("de"<"ef") {setverdict(pass);}	//value_value
//   else {setverdict(fail);}
//}

//testcase charstrCompBig() runs on charstrOper_comptype
//{ var charstring x1,x2,x3,x4,x5;
//  x1:="cde";
//  x2:="abc";
//  x3:="cde";
//  x4:="ghi";
// x5:="d";
//  if ((not(x2>x1))and(not(x3>x1))and(x4>x1)) {setverdict(pass);}	//string_string
//   else {setverdict(fail);}
//  if ((not("abc">x1))and(not("cde">x1))and("ghi">x1)) {setverdict(pass);}	//value_string
//   else {setverdict(fail);}
//  if ((not(x2>"de"))and(not(x2>"abc"))and(x2>"ab")) {setverdict(pass);}	//string_value
//   else {setverdict(fail);}
//}

testcase charstrConcat() runs on charstrOper_comptype
{var charstring x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11;
 x1:="ABCD";
 x2:="1234";
 x3:= x1 & x2;
 x4:=x1&x2[1];
 x5:=x1[1]&x2;
 x6:=x1[0]&x2[1];
 x7:=x1&"1234";
 x8:=x1[1]&"1234";
 x9:="1234"&x1;
 x10:="1234"&x1[1];
// x11:="1234"&"ABCD";
 if ((x3=="ABCD1234")and(lengthof(x3)==8)) {setverdict(pass);}	//string&string
   else {setverdict(fail);}
 if ((x4=="ABCD2")and(lengthof(x4)==5)) {setverdict(pass);}	//string&element
   else {setverdict(fail);}
 if ((x7=="ABCD1234")and(lengthof(x7)==8)) {setverdict(pass);}	//string&value
   else {setverdict(fail);}
 if ((x5=="B1234")and(lengthof(x5)==5)) {setverdict(pass);}	//element&string
   else {setverdict(fail);}
 if ((x6=="A2")and(lengthof(x6)==2)) {setverdict(pass);}	//element&element
   else {setverdict(fail);}
 if ((x8=="B1234")and(lengthof(x8)==5)) {setverdict(pass);}	//element&value
   else {setverdict(fail);}
 if ((x9=="1234ABCD")and(lengthof(x9)==8)) {setverdict(pass);}	//value&string
   else {setverdict(fail);}
 if ((x10=="1234B")and(lengthof(x10)==5)) {setverdict(pass);}	//value&element
   else {setverdict(fail);}
// if ((x11=="1234ABCD")and(lengthof(x11)==8)) {setverdict(pass);}	//value&value
//   else {setverdict(fail);}
}

testcase charstrRotateRight1() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 @> 1;
//  x3:="FABCDE" @> 1;
  if (x2=="FABCDE") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="FABCDE") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateRight2() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 @> 2;
//  x3:="EFABCD" @> 2;
  if (x2=="EFABCD") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="EFABCD") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateRightSum() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 @> (1+1);
//  x3:="EFABCD" @> (1+1);
  if (x2=="EFABCD") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="EFABCD") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateRightEmpty() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="";
  x2:=x1 @> 1;
//  x3:="" @> 1;
  if (x2=="") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="") {setverdict(pass);}	//value
//(x3=="") {setverdict(pass);}	//value
//          else {setverdict(fail);}
}

testcase charstrRotateLeft1() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 <@ 1;
//  x3:="BCDEFA" <@ 1;
  if (x2=="BCDEFA") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="BCDEFA") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateLeft2() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 <@ 2;
//  x3:="CDEFAB" <@ 2;
  if (x2=="CDEFAB") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="CDEFAB") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateLeftSum() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="ABCDEF";
  x2:=x1 <@ (1+1);
//  x3:="CDEFAB" <@ (1+1);
  if (x2=="CDEFAB") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="CDEFAB") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

testcase charstrRotateLeftEmpty() runs on charstrOper_comptype
{ var charstring x1,x2,x3;
  x1:="";
  x2:=x1 <@ 1;
//  x3:="" <@ 1;
  if (x2=="") {setverdict(pass);}	//variable
     else {setverdict(fail);}
//  if (x3=="") {setverdict(pass);}	//value
//     else {setverdict(fail);}
}

template integer t_mylen1 := 1
const integer c_mylen1 := 1
type charstring mycstr1
type charstring mycstr2 length(4)
type charstring mycstr3 length(c_mylen1)
type charstring mycstr4 length(c_mylen1..c_mylen1 + c_mylen1)
type mycstr4 mycstr5 ("", " ", "  ") length (float2int(-0.0) + 1)
type charstring mycstr6 ("a".."z", "0".."9")
type charstring mycstr7 ("a".."z") length(1..infinity)
type mycstr7 mycstr8 length(1)
type charstring mycstr9 (mycstr2)
type charstring mycstr10 length(0..infinity)  // Full set.

const mycstr7 c_mycstr1 := "a"
const mycstr9 c_mycstr2 := "abcd"

template mycstr2 t_mycstr1 := pattern "ab" & "cd"
template mycstr9 t_mycstr2 := t_mycstr1
template mycstr8 t_mycstr3 := "a" length(1)
template mycstr4 t_mycstr4 := ? length(1..2)

function f_cstr1() return mycstr4 { return " " }
function f_cstr2() return mycstr3 {
  return substr(c_mycstr1, 0, 1) & substr("1234567890", 0, 0)
}

testcase charstrSubtypes() runs on charstrOper_comptype {
  var template mycstr2 vt_mycstr1 := "abcd"  // Length only.
  var template mycstr4 vt_mycstr2 := "ab"  // Length with range.
  var template mycstr6 vt_mycstr3 := "a"  // Value range list.
  var template mycstr7 vt_mycstr4 := vt_mycstr3  // Value range with length.
  var mycstr2 v_mycstr1 := valueof(vt_mycstr1)
  var mycstr4 v_mycstr2 := valueof(vt_mycstr2)
  var mycstr6 v_mycstr3 := valueof(vt_mycstr3)
  var mycstr7 v_mycstr4 := valueof(vt_mycstr4)

  if (valueof(vt_mycstr1) == v_mycstr1 and v_mycstr2 == valueof(vt_mycstr2)) { setverdict(pass) }
  else { setverdict(fail) }
  if (valueof(vt_mycstr3) == v_mycstr3 and v_mycstr4 == valueof(vt_mycstr4)) { setverdict(pass) }
  else { setverdict(fail) }
  if (c_mycstr1 == f_cstr2() and " " == f_cstr1()) { setverdict(pass) }
  else { setverdict(fail) }
}

testcase charstrIsvalue() runs on charstrOper_comptype{
  var charstring s0, s1 := "Hello";
  var template charstring ts_char0 := "ABCD";
  var template charstring tr_char1 := "AB?D";
  var template charstring tr_pattern1 := pattern "ABCD";
  var template charstring tr_patternx := pattern "AB?D";
  var template charstring tr_opt := omit;

  if ( isvalue(s0) ) { setverdict(fail); } else { setverdict(pass); };
  if ( isvalue(s1) ) { setverdict(pass); } else { setverdict(fail); };

  if ( isvalue(ts_char0) ) {setverdict(pass); } else { setverdict(fail); }
  if ( isvalue(tr_char1) ) { setverdict(pass); } else { setverdict(fail); }
  if ( isvalue(tr_pattern1) ) {setverdict(fail); } else { setverdict(pass); }
  if ( isvalue(tr_patternx) ) {setverdict(fail); } else { setverdict(pass); }
  if ( isvalue(tr_opt) ) {setverdict(fail); } else { setverdict(pass); }

  if ( isvalue(modifies ts_char0 := *) ) { setverdict(fail); } else { setverdict(pass); }
  if ( isvalue(modifies tr_pattern1 := "A?CD") ) { setverdict(pass); } else { setverdict(fail); }
  if ( isvalue(modifies tr_char1 := pattern "DCBA") ) { setverdict(fail); } else { setverdict(pass); }
}

testcase charstrIsbound() runs on charstrOper_comptype{
  var charstring s0, s1 := "Hello";
  var template charstring ts_char0 := "ABCD";
  var template charstring tr_char1 := "AB?D";
  var template charstring tr_pattern1 := pattern "ABCD";
  var template charstring tr_patternx := pattern "AB?D";
  var template charstring tr_opt := omit;

  if ( isbound(s0) ) { setverdict(fail); } else { setverdict(pass); };
  if ( isbound(s0[0]) ) { setverdict(fail); } else { setverdict(pass); };
  if ( isbound(s1) ) { setverdict(pass); } else { setverdict(fail); };

  if ( isbound(ts_char0) ) {setverdict(pass); } else { setverdict(fail); }
  if ( isbound(tr_char1) ) { setverdict(pass); } else { setverdict(fail); }
  if ( isbound(tr_pattern1) ) { setverdict(pass); } else { setverdict(fail); };
  if ( isbound(tr_patternx) ) { setverdict(pass); } else { setverdict(fail); };
  if ( isbound(tr_opt) ) { setverdict(pass); } else { setverdict(fail); };

  if ( isbound(modifies ts_char0 := *) ) { setverdict(pass); } else { setverdict(fail); };
  if ( isbound(modifies tr_pattern1 := "A?CD") ) { setverdict(pass); } else { setverdict(fail); }
  if ( isbound(modifies tr_char1 := pattern "DCBA") ) { setverdict(pass); } else { setverdict(fail); };
}

testcase tc_simple_charstring_unbound() runs on charstrOper_comptype {
  var charstring vl_ch1;
  if(ispresent(vl_ch1)){setverdict(fail)} else {setverdict(pass)}
  var charstring vl_ch2:="honey";
  if(ispresent(vl_ch2)) { setverdict(pass)} else {setverdict(fail)}
  var template charstring vlt_ch3;
  if(ispresent(vlt_ch3)){setverdict(fail)} else {setverdict(pass)}
  var template charstring vlt_ch4:="AB?D*"
  if(ispresent(vlt_ch4)) {setverdict(pass)} else {setverdict(fail)}
}

testcase tc_simple_charstring_template_pattern_ispresent() runs on charstrOper_comptype {
  var template charstring vlt_ch;
  vlt_ch:= pattern "AB?D"
  if(ispresent(vlt_ch)) {setverdict(pass)} else {setverdict(fail)}
}

testcase tc_simple_charstring() runs on charstrOper_comptype {
  var charstring vl_ch;
  if(isbound(vl_ch)){setverdict(fail)} else {setverdict(pass)}
  vl_ch:="honey"
  if(isbound(vl_ch)) {setverdict(pass)} else {setverdict(fail)}
}

testcase tc_simple_charstring_template() runs on charstrOper_comptype {
  var template charstring vlt_ch;
  if(isbound(vlt_ch)){setverdict(fail)} else {setverdict(pass)}
  vlt_ch:="AB?D*"
  if(isbound(vlt_ch)) {setverdict(pass)} else {setverdict(fail)}
}

testcase tc_simple_charstring_template_pattern() runs on charstrOper_comptype {
  var template charstring vlt_ch;
  if(isbound(vlt_ch)){setverdict(fail)} else {setverdict(pass)}
  vlt_ch:= pattern "AB?D"
  if(isbound(vlt_ch)) {setverdict(pass)} else {setverdict(fail)}
}

control {
  const charstring cl_1:="asd1";
  var charstring vl_1;

  execute(charstrAssign());
//  execute(charstrAssignQuote());
  execute(charstrAssignElem());
  execute(charstrLengthof());
  execute(charstrAssignElemAdd());
  execute(charstrConst());
  execute(charstrCompEq());
  execute(charstrCompNotEq());
//  execute(charstrCompSmall());
//  execute(charstrCompBig());
  execute(charstrConcat());
  execute(charstrRotateRight1());
  execute(charstrRotateRight2());
  execute(charstrRotateRightSum());
  execute(charstrRotateRightEmpty());
  execute(charstrRotateLeft1());
  execute(charstrRotateLeft2());
  execute(charstrRotateLeftSum());
  execute(charstrRotateLeftEmpty());
  execute(charstrSubtypes());
  execute(charstrIsvalue());
  execute(charstrIsbound());
  execute(tc_simple_charstring_unbound());
  execute(tc_simple_charstring_template_pattern_ispresent());
  execute(tc_simple_charstring());
  execute(tc_simple_charstring_template());
  execute(tc_simple_charstring_template_pattern());
}

}