note
	description: "Summary description for {TEST_METADATA_TABLES_OM}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	TEST_METADATA_TABLES_OM



feature -- Tests

	test_empty_assembly
		local
			pe_file: PE_LIB
		do
				-- Create the working assembly `manus_assembly`
				-- md_emit.define_assembly
			create pe_file.make_with_name ("empty_assembly_om", {PE_LIB}.il_only)

			pe_file.dump_output_file ("test_define_empty_assembly_om.dll", {CIL_OUTPUT_MODE}.pedll, false)
		end

	test_define_type
			local
				pe_file: PE_LIB
				assembly: CIL_ASSEMBLY_DEF
				sig_main: CIL_METHOD_SIGNATURE
				method_main: CIL_METHOD
				mscorlib: CIL_ASSEMBLY_DEF
				l_result: TUPLE [type: CIL_FIND_TYPE; resource: detachable ANY]
				l_system: CIL_NAMESPACE
				l_console: CIL_CLASS
				l_exception: CIL_CLASS
				l_object: CIL_CLASS
				l_sig_write_line: CIL_METHOD_SIGNATURE

				l_method_sig: CIL_METHOD_SIGNATURE
				l_method: CIL_METHOD
				l_field: CIL_FIELD
				l_locals: CIL_LOCAL
				l_method_ctor: CIL_METHOD_SIGNATURE

				l_type: CIL_CLASS
				l_label, l_id2: CIL_OPERAND
				l_leave_label: CIL_OPERAND
			do
					-- Create the working assembly `manus_assembly`
					-- md_emit.define_assembly
				create pe_file.make_with_name ("typedef_assembly_om", {PE_LIB}.il_only)
				pe_file.set_assembly_name ("typedef_assembly_tk_om.dll")

				assembly := pe_file.working_assembly
				assembly.set_major (5)
				assembly.set_minor (2)

					-- CIL_WRITER
					-- md_emit.define_assembly_ref

					-- the feature mscorlib_assembly defines
					-- System.Object
					-- System.ValueType
					-- System.Enum

				mscorlib := pe_file.mscorlib_assembly

				mscorlib.set_major (1)
				mscorlib.set_minor (0)
				mscorlib.set_build (3300)
				mscorlib.public_key_token := {ARRAY [NATURAL_8]} <<0xB7, 0x7A, 0x5C, 0x56, 0x19, 0x34, 0xE0, 0x89>>

				l_result := pe_file.find ({STRING_32} "System", Void, Void)
				check
					l_result.type = {CIL_FIND_TYPE}.s_namespace and then
					attached {CIL_NAMESPACE} l_result.resource
				end
				if attached {CIL_NAMESPACE} l_result.resource as l_r then
					l_system := l_r
				end

					-- Adding System.Object

				l_result := pe_file.find ({STRING_32} "Object", Void, Void)
				if l_result.type /= {CIL_FIND_TYPE}.s_class then
					create l_object.make ({STRING_32} "Object", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public), -1, -1)
					if attached l_system then
						l_system.add (l_object)
						assembly.add (l_system)
					end
				else
					if attached {CIL_CLASS} l_result.resource as l_r then
						l_object := l_r
						assembly.add (l_object)
					end
				end

					-- Create Class TEST
				create l_type.make ("TEST", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.auto | {CIL_QUALIFIERS_ENUM}.ansi | {CIL_QUALIFIERS_ENUM}.public), -1, -1)
				l_type.set_extend_from (l_object)
				assembly.add (l_type)

				pe_file.dump_output_file ("test_typedef_assembly_om.dll", {CIL_OUTPUT_MODE}.pedll, false)
			end



	test_define_type_ref
			local
				pe_file: PE_LIB
				assembly: CIL_ASSEMBLY_DEF
				sig_main: CIL_METHOD_SIGNATURE
				method_main: CIL_METHOD
				mscorlib: CIL_ASSEMBLY_DEF
				l_result: TUPLE [type: CIL_FIND_TYPE; resource: detachable ANY]
				l_system: CIL_NAMESPACE
				l_console: CIL_CLASS
				l_exception: CIL_CLASS
				l_object: CIL_CLASS
				l_sig_write_line: CIL_METHOD_SIGNATURE

				l_method_sig: CIL_METHOD_SIGNATURE
				l_method: CIL_METHOD
				l_field: CIL_FIELD
				l_locals: CIL_LOCAL
				l_method_ctor: CIL_METHOD_SIGNATURE

				l_type: CIL_CLASS
				l_label, l_id2: CIL_OPERAND
				l_leave_label: CIL_OPERAND
			do
					-- Create the working assembly `manus_assembly`
					-- md_emit.define_assembly
				create pe_file.make_with_name ("typeref_assembly_om", {PE_LIB}.il_only)
				pe_file.set_assembly_name ("typeref_assembly_tk_om.dll")

				assembly := pe_file.working_assembly
				assembly.set_major (5)
				assembly.set_minor (2)

					-- CIL_WRITER
					-- md_emit.define_assembly_ref

					-- the feature mscorlib_assembly defines
					-- System.Object
					-- System.ValueType
					-- System.Enum

				mscorlib := pe_file.mscorlib_assembly

				mscorlib.set_major (1)
				mscorlib.set_minor (0)
				mscorlib.set_build (3300)
				mscorlib.public_key_token := {ARRAY [NATURAL_8]} <<0xB7, 0x7A, 0x5C, 0x56, 0x19, 0x34, 0xE0, 0x89>>

				l_result := pe_file.find ({STRING_32} "System", Void, Void)
				check
					l_result.type = {CIL_FIND_TYPE}.s_namespace and then
					attached {CIL_NAMESPACE} l_result.resource
				end
				if attached {CIL_NAMESPACE} l_result.resource as l_r then
					l_system := l_r
				end

					-- Adding System.Object

				l_result := pe_file.find ({STRING_32} "Object", Void, Void)
				if l_result.type /= {CIL_FIND_TYPE}.s_class then
					create l_object.make ({STRING_32} "Object", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public), -1, -1)
					if attached l_system then
						l_system.add (l_object)
						assembly.add (l_system)
					end
				else
					if attached {CIL_CLASS} l_result.resource as l_r then
						l_object := l_r
						assembly.add (l_object)
					end
				end


				pe_file.dump_output_file ("test_typeref_assembly_om.dll", {CIL_OUTPUT_MODE}.pedll, false)
			end


	test_define_method
			local
				pe_file: PE_LIB
				assembly: CIL_ASSEMBLY_DEF
				sig_main: CIL_METHOD_SIGNATURE
				method_main: CIL_METHOD
				mscorlib: CIL_ASSEMBLY_DEF
				l_result: TUPLE [type: CIL_FIND_TYPE; resource: detachable ANY]
				l_system: CIL_NAMESPACE
				l_console: CIL_CLASS
				l_exception: CIL_CLASS
				l_object: CIL_CLASS
				l_sig_write_line: CIL_METHOD_SIGNATURE

				l_method_sig: CIL_METHOD_SIGNATURE
				l_method: CIL_METHOD
				l_field: CIL_FIELD
				l_locals: CIL_LOCAL
				l_method_ctor: CIL_METHOD_SIGNATURE

				l_type: CIL_CLASS
				l_label, l_id2: CIL_OPERAND
				l_leave_label: CIL_OPERAND
			do
					-- Create the working assembly `manus_assembly`
					-- md_emit.define_assembly
				create pe_file.make_with_name ("method_assembly_om", {PE_LIB}.il_only)
				pe_file.set_assembly_name ("method_assembly_om.dll")

				assembly := pe_file.working_assembly
				assembly.set_major (5)
				assembly.set_minor (2)

					-- CIL_WRITER
					-- md_emit.define_assembly_ref

					-- the feature mscorlib_assembly defines
					-- System.Object
					-- System.ValueType
					-- System.Enum

				mscorlib := pe_file.mscorlib_assembly

				mscorlib.set_major (1)
				mscorlib.set_minor (0)
				mscorlib.set_build (3300)
				mscorlib.public_key_token := {ARRAY [NATURAL_8]} <<0xB7, 0x7A, 0x5C, 0x56, 0x19, 0x34, 0xE0, 0x89>>

				l_result := pe_file.find ({STRING_32} "System", Void, Void)
				check
					l_result.type = {CIL_FIND_TYPE}.s_namespace and then
					attached {CIL_NAMESPACE} l_result.resource
				end
				if attached {CIL_NAMESPACE} l_result.resource as l_r then
					l_system := l_r
				end

					-- Adding System.Exception.
				l_result := pe_file.find ({STRING_32} "Exception", Void, Void)
				if l_result.type /= {CIL_FIND_TYPE}.s_class then
					create l_exception.make ("Exception", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public), -1, -1)
					if attached l_system then
						l_system.add (l_exception)
					end
				else
					if attached {CIL_CLASS} l_result.resource as l_r then
						l_exception := l_r
					end
				end

				l_result := pe_file.find ({STRING_32} "Console", Void, Void)
				if l_result.type /= {CIL_FIND_TYPE}.s_class then
					create l_console.make ({STRING_32} "Console", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public), -1, -1)
					if attached l_system then
						l_system.add (l_console)
					end
				else
					if attached {CIL_CLASS} l_result.resource as l_r then
						l_console := l_r
					end
				end

				l_result := pe_file.find ({STRING_32} "Object", Void, Void)
				if l_result.type /= {CIL_FIND_TYPE}.s_class then
					create l_object.make ({STRING_32} "Object", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public), -1, -1)
					if attached l_system then
						l_system.add (l_object)
					end
				else
					if attached {CIL_CLASS} l_result.resource as l_r then
						l_object := l_r
					end
				end

					-- Method signature for System.object::.ctor()
				create l_method_ctor.make (".ctor", {CIL_METHOD_SIGNATURE_ATTRIBUTES}.managed | {CIL_METHOD_SIGNATURE_ATTRIBUTES}.instance_flag, l_object)
				l_method_ctor.set_return_type (create {CIL_TYPE}.make ({CIL_BASIC_TYPE}.Void_))

					-- Create Class TEST
				create l_type.make ("TEST", create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.auto | {CIL_QUALIFIERS_ENUM}.ansi | {CIL_QUALIFIERS_ENUM}.public), -1, -1)
				l_type.set_extend_from (l_object)
				assembly.add (l_type)

					-- Define the method signature
					-- define_member_ref
				create l_method_sig.make (".ctor", {CIL_METHOD_SIGNATURE_ATTRIBUTES}.managed, Void)
				l_method_sig.set_return_type (create {CIL_TYPE}.make ({CIL_BASIC_TYPE}.Void_))

					-- Define method
				create l_method.make (l_method_sig,
					create {CIL_QUALIFIERS}.make_with_flags (
							{CIL_QUALIFIERS_ENUM}.public |
							{CIL_QUALIFIERS_ENUM}.specialname |
							{CIL_QUALIFIERS_ENUM}.rtspecialname |
							{CIL_QUALIFIERS_ENUM}.cil |
							{CIL_QUALIFIERS_ENUM}.Managed
						), False)
				l_method.optimize

				l_type.add (l_method)

					-- Fields
				create l_field.make ({STRING_32} "item", create {CIL_TYPE}.make (create {CIL_BASIC_TYPE}.object), create {CIL_QUALIFIERS}.make_with_flags ({CIL_QUALIFIERS_ENUM}.public))
				l_type.add (l_field)

					-- Locals
				create l_locals.make ("l_obj", create {CIL_TYPE}.make (create {CIL_BASIC_TYPE}.object))
				l_method.add_local (l_locals)
				create l_locals.make ("l_type", create {CIL_TYPE}.make_with_container (l_type))
				l_method.add_local (l_locals)

					-- Method body
				l_label := {CIL_OPERAND_FACTORY}.label_operand ("label1")
				l_id2 := {CIL_OPERAND_FACTORY}.label_operand ("label2")

				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_label, l_id2))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_ldarg_0, Void))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_call, {CIL_OPERAND_FACTORY}.complex_operand (create {CIL_METHOD_NAME}.make (l_method_ctor))))

				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_br, l_label))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_ldc_i4_1, Void))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_pop, Void))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_br, l_id2))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_label, l_label))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_ret, Void))


									-- Method test
				create l_method_sig.make ("test", {CIL_METHOD_SIGNATURE_ATTRIBUTES}.managed, Void)
				l_method_sig.set_return_type (create {CIL_TYPE}.make ({CIL_BASIC_TYPE}.Void_))

					-- Define method
				create l_method.make (l_method_sig,
					create {CIL_QUALIFIERS}.make_with_flags (
							{CIL_QUALIFIERS_ENUM}.public |
							{CIL_QUALIFIERS_ENUM}.cil |
							{CIL_QUALIFIERS_ENUM}.Managed
						), False)
				l_method.optimize

				l_type.add (l_method)

					-- Locals
				create l_locals.make ("l_obj", create {CIL_TYPE}.make (create {CIL_BASIC_TYPE}.object))
				l_method.add_local (l_locals)
				create l_locals.make ("l_type", create {CIL_TYPE}.make_with_container (l_type))
				l_method.add_local (l_locals)

					-- Method body
				l_label := {CIL_OPERAND_FACTORY}.label_operand ("label1")
				l_id2 := {CIL_OPERAND_FACTORY}.label_operand ("label2")
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_label, l_id2))

				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_br, l_label))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_ldc_i4_1, Void))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_pop, Void))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_br, l_id2))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_label, l_label))
				l_method.add_instruction (create {CIL_INSTRUCTION}.make ({CIL_INSTRUCTION_OPCODES}.i_ret, Void))



				pe_file.dump_output_file ("method_assembly_om.dll", {CIL_OUTPUT_MODE}.pedll, false)

			end



end