/*****************************************************************
 ** @author   STF 548
 ** @version  0.0.1
 ** @purpose  1:27.6, Verify that multiple extension attributes can be defined
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

// The following requirement is tested:
// Extension attributes can be used for proprietary extensions to TTCN-3. The with statement may contain
// any number of extension attributes.

module Sem_2706_extension_attributes_002 {

    type component GeneralComp {
	}

	type charstring MyType with {
		extension "My custom extension";
		extension "Second extension";
		extension "Yet another extension";
	};

	type record of universal charstring RoUC;

	testcase TC_Sem_2706_extension_attributes_002 () runs on GeneralComp {
		var RoUC v_ext := MyType.extension;
		if(v_ext == { "My custom extension", "Second extension", "Yet another extension" }) {
			setverdict(pass);
		} else {
			setverdict(fail);
		}
	}

	control{
		execute(TC_Sem_2706_extension_attributes_002());
	}

}