/***************************************************
 ** @author   STF 548 
 ** @version  0.0.1
 ** @purpose  1:16.1.2, Verify that the decvalue function supports the dynamic_encoding parameter
 ** @verdict  pass accept, noexecution
 ***************************************************/
// The following requirements are tested:
// The optional dynamic_encoding parameter is used for dynamic selection of encode
// attribute of the decoded_value parameter for this single decvalue call. The rules
// for dynamic selection of the encode attribute are described in clause 27.9.

// NOTE: the test is not executed as it would require dedicated codec support

module Sem_160102_predefined_functions_103 {

	type component GeneralComp {	
	}
	
	type integer I with { 
		encode "Codec 1";
		encode "Codec 2"
	};

    testcase TC_Sem_160102_predefined_functions_103 () runs on GeneralComp {
        var template I v_target := 0;
		var bitstring v_src := oct2bit('00000000'O);
		decvalue(v_src, v_target, -, "Codec 1");
		setverdict(pass);
    }

    //control{
    //    execute(TC_Sem_160102_predefined_functions_103());
    //}

}