/***************************************************
 ** @author   STF T003
 ** @version  0.0.1
 ** @purpose  1:7.1.8.4, Ensure that the IUT recognizes isbound operator and correctly evaluates it
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_07010804_isbound_operator_002 {
	type union U {
		integer f1,
		octetstring f2
	}

	type component GeneralComp {
	}


	testcase TC_Sem_07010804_isbound_operator_002() runs on GeneralComp {

        var default v_default := null;
	    var boolean checkResult := isbound(v_default); // yields true
		if(checkResult) {
			setverdict(pass);
		} else {
			setverdict(fail, "isbound should yield true as v_default is initialized to null");
		}

	}

	control {
		execute(TC_Sem_07010804_isbound_operator_002());
	}
}
