projects / deliverable / titan.core.git / blame
| Commit | Line | Data |
|---|---|---|
| 970ed795 | 1 | /****************************************************************************** |
| d44e3c4f | 2 | * Copyright (c) 2000-2016 Ericsson Telecom AB |
| 970ed795 EL |
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 | |
| d44e3c4f | 7 | * |
| 8 | * Contributors: | |
| 9 | * Balasko, Jeno | |
| 10 | * Raduly, Csaba | |
| 11 | * Szabados, Kristof | |
| 12 | * Szabo, Janos Zoltan – initial implementation | |
| 13 | * | |
| 970ed795 EL |
14 | ******************************************************************************/ |
| 15 | ||
| 16 | // char type is no longer a standalone type, it maps to charstring in the standard | |
| 17 | module TcharOper | |
| 18 | { | |
| 19 | type char typedefbasic_mychar; | |
| 20 | const char TcharOper_const1:="h"; | |
| 21 | type component charOper_comptype { }; | |
| 22 | ||
| 23 | testcase charAssign() runs on charOper_comptype | |
| 24 | { var char x1:="a"; | |
| 25 | var char x4:=x1; | |
| 26 | var char x2,x3; | |
| 27 | x2:="x"; | |
| 28 | x3:=x2; | |
| 29 | if (x1=="a") {setverdict(pass);} //at declaration, value | |
| 30 | else {setverdict(fail);} | |
| 31 | if (x4=="a") {setverdict(pass);} //at declaration, variable | |
| 32 | else {setverdict(fail);} | |
| 33 | if (x2=="x") {setverdict(pass);} //later, value | |
| 34 | else {setverdict(fail);} | |
| 35 | if (x3=="x") {setverdict(pass);} //later, variable | |
| 36 | else {setverdict(fail);} | |
| 37 | } | |
| 38 | ||
| 39 | testcase charConst() runs on charOper_comptype { | |
| 40 | const char TcharOper_const3:="1"; | |
| 41 | if (TcharOper_const1=="h") {setverdict(pass);} //definition part | |
| 42 | else {setverdict(fail);} | |
| 43 | //if (TcharOper_const2==2) {setverdict(pass);} //control part | |
| 44 | // else {setverdict(fail);} | |
| 45 | if (TcharOper_const3=="1") {setverdict(pass);} //testcase | |
| 46 | else {setverdict(fail);} | |
| 47 | } | |
| 48 | ||
| 49 | testcase charCompEq() runs on charOper_comptype | |
| 50 | { var char x1,x2,x3; | |
| 51 | x1:="a"; | |
| 52 | x2:="a"; | |
| 53 | x3:="c"; | |
| 54 | if (x1==x2) {setverdict(pass);} //variable_variable | |
| 55 | else {setverdict(fail);} | |
| 56 | if (not(x3==x2)) {setverdict(pass);} //variable_variable | |
| 57 | else {setverdict(fail);} | |
| 58 | if (x1=="a") {setverdict(pass);} //variable_value | |
| 59 | else {setverdict(fail);} | |
| 60 | if (not(x1=="v")) {setverdict(pass);} //variable_value | |
| 61 | else {setverdict(fail);} | |
| 62 | if ("a"==x1) {setverdict(pass);} //value_variable | |
| 63 | else {setverdict(fail);} | |
| 64 | if (not("4"==x1)) {setverdict(pass);} //value_variable | |
| 65 | else {setverdict(fail);} | |
| 66 | if ("a"=="a") {setverdict(pass);} //value_value | |
| 67 | else {setverdict(fail);} | |
| 68 | if (not("c"=="a")) {setverdict(pass);} //value_value | |
| 69 | else {setverdict(fail);} | |
| 70 | } | |
| 71 | ||
| 72 | testcase charCompNotEq() runs on charOper_comptype | |
| 73 | { var char x1,x2,x3; | |
| 74 | x1:="a"; | |
| 75 | x2:="k"; | |
| 76 | x3:="a"; | |
| 77 | if (x1!=x2) {setverdict(pass);} //variable_variable | |
| 78 | else {setverdict(fail);} | |
| 79 | if (not(x1!=x3)) {setverdict(pass);} //variable_variable | |
| 80 | else {setverdict(fail);} | |
| 81 | if (x1!="l") {setverdict(pass);} //variable_value | |
| 82 | else {setverdict(fail);} | |
| 83 | if (not(x1!="a")) {setverdict(pass);} //variable_value | |
| 84 | else {setverdict(fail);} | |
| 85 | if ("m"!=x2) {setverdict(pass);} //value_variable | |
| 86 | else {setverdict(fail);} | |
| 87 | if (not("k"!=x2)) {setverdict(pass);} //value_variable | |
| 88 | else {setverdict(fail);} | |
| 89 | if ("a"!="b") {setverdict(pass);} //value_value | |
| 90 | else {setverdict(fail);} | |
| 91 | if (not("1"!="1")) {setverdict(pass);} //value_value | |
| 92 | else {setverdict(fail);} | |
| 93 | } | |
| 94 | ||
| 95 | control { | |
| 96 | execute(charAssign()); | |
| 97 | execute(charConst()); | |
| 98 | execute(charCompEq()); | |
| 99 | execute(charCompNotEq()); | |
| 100 | } | |
| 101 | ||
| 102 | } |