/***************************************************
 ** @author   STF 470 (updated by STF 521, T003)
 ** @version  0.0.1
 ** @purpose  1:16.1.2, Ensure that the IUT recognizes predefined functions and correctly evaluates them (as specified by Annex C)
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_07010803_isvalue_operator_001 {
	type union U {
		integer f1,
		octetstring f2
	}

	type component GeneralComp {
	}


	testcase TC_Sem_07010803_isvalue_operator_001() runs on GeneralComp {
		template U template1 := {f2 := ?}
		var boolean v_i;

		v_i := isvalue(template1.f1); //function returns false value
		if(v_i==false) {
			setverdict(pass);
		} else {
			setverdict(fail, "Unexpected decoding result");
		}
	}

	control {
		execute(TC_Sem_07010803_isvalue_operator_001());
	}
}
