indexing
	description: "Include all the information needed to generate xml assembly description file"
	external_name: "ISE.Reflection.EiffelAssemblyFactory"
	attribute: create {SYSTEM_RUNTIME_INTEROPSERVICES_CLASSINTERFACEATTRIBUTE}.make_classinterfaceattribute ((create {SYSTEM_RUNTIME_INTEROPSERVICES_CLASSINTERFACETYPE}).auto_dual) end

class 
	EIFFEL_ASSEMBLY_FACTORY
		
create
	make

feature {NONE} -- Initialization

	make is
		indexing
			description: "Initialize `types'."
			external_name: "Make"
		do
		end

feature -- Access

	assembly_name: STRING
		indexing
			description: "Assembly name"
			external_name: "AssemblyName"
		end
		
	assembly_version: STRING	
		indexing
			description: "Assembly version"
			external_name: "AssemblyVersion"
		end
	
	assembly_culture: STRING
		indexing
			description: "Assembly culture"
			external_name: "AssemblyCulture"
		end
		
	assembly_public_key: STRING
		indexing
			description: "Assembly public key"
			external_name: "AssemblyPublicKey"
		end
		
	eiffel_cluster_path: STRING
		indexing
			description: "Path to cluster where Eiffel classes will be generated"
			external_name: "EiffelClusterPath"
		end
		
	emitter_version_number: STRING
		indexing	
			description: "Emitter version number"
			external_name: "EmitterVersionNumber"
		end
		
feature -- Status Setting

	set_assembly_name (a_name: like assembly_name) is
		indexing
			description: "Set `assembly_name' with `a_name'."
			external_name: "SetAssemblyName"
		require
			non_void_assembly_name: a_name /= Void
			not_empty_assembly_name: a_name.get_length > 0
		do
			assembly_name := a_name
		ensure
			assembly_name_set: assembly_name.Equals_String (a_name)
		end
	
	set_assembly_version (a_version: like assembly_version) is
		indexing
			description: "Set `assembly_version' with `a_version'."
			external_name: "SetAssemblyVersion"
		require
			non_void_assembly_version: a_version /= Void
			not_empty_assembly_version: a_version.get_length > 0
		do
			assembly_version := a_version
		ensure
			assembly_version_set: assembly_version.Equals_String (a_version)
		end
		
	set_assembly_culture (a_culture: like assembly_culture) is
		indexing
			description: "Set `assembly_culture' with `a_culture'."
			external_name: "SetAssemblyCulture"
		require
			non_void_assembly_culture: a_culture /= Void
			not_empty_assembly_culture: a_culture.get_length > 0
		do
			assembly_culture := a_culture
		ensure
			assembly_culture_set: assembly_culture.Equals_String (a_culture)
		end
		
	set_assembly_public_key (a_public_key: like assembly_public_key) is
		indexing
			description: "Set `assembly_public_key' with `a_public_key'."
			external_name: "SetAssemblyPublicKey"
		require
			non_void_assembly_public_key: a_public_key /= Void
			not_empty_assembly_public_key: a_public_key.get_length > 0
		do
			assembly_public_key := a_public_key
		ensure
			assembly_public_key_set: assembly_public_key.Equals_String (a_public_key)
		end
		
	set_eiffel_cluster_path (a_path: like eiffel_cluster_path) is
		indexing
			description: "Set `eiffel_cluster_path' with `a_path'."
			external_name: "SetEiffelClusterPath"
		require
			non_void_eiffel_cluster_path: a_path /= Void
			not_empty_eiffel_cluster_path: a_path.get_length > 0
		do
			eiffel_cluster_path := a_path
		ensure
			eiffel_cluster_path_set: eiffel_cluster_path.Equals_String (a_path)
		end

	set_emitter_version_number (a_value: like emitter_version_number) is
		indexing
			description: "Set `emitter_version_number' with `a_value'."
			external_name: "SetEmitterVersionNumber"
		require
			non_void_emitter_version_number: a_value /= Void
			not_empty_emitter_version_number: a_value.get_length > 0
		do
			emitter_version_number := a_value
		ensure
			emitter_version_number_set: emitter_version_number.Equals_String (a_value)
		end

end -- class EIFFEL_ASSEMBLY_FACTORY