/***************************************************
 ** @author   STF 487 (updated by T003)
 ** @version  0.0.1
 ** @purpose  1:16.1.2, Ensure that predefined function isvalue() works properly
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/

/* The following requirements are tested:
 * check that isvalue() predefined function works properly
 */


module Sem_07010803_isvalue_operator_004 {

    type integer address;

    type component GeneralComp {
    }

    testcase TC_Sem_07010803_isvalue_operator_004 () runs on GeneralComp {

    var boolean v_res;

    var address MyAddr := null;



    v_res := isvalue(MyAddr);        //address, expected result: true



    if ( match(v_res, true)) {setverdict(pass," isvalue(MyAddr): ", v_res);}
           else{setverdict(fail," isvalue(MyAddr):", v_res, " expected result: true");}

    }


    control{
        execute(TC_Sem_07010803_isvalue_operator_004());
    }
}