platform_from

	# Get platform compilation settings from its `name`
	protected fun platform_from_name(name: String): nullable Platform
	do
		return null
	end

src/platform/platform.nit:29,2--33,4

	redef fun platform_from_name(name)
	do
		if name == "emscripten" then return new EmscriptenPlatform
		return super
	end

src/platform/emscripten.nit:24,2--28,4

	redef fun platform_from_name(name)
	do
		if name == "ios" then return new IOSPlatform
		return super
	end

src/platform/ios.nit:24,2--28,4

	redef fun platform_from_name(name)
	do
		if name == "android" then return new AndroidPlatform
		return super
	end

src/platform/android.nit:27,2--31,4

protected fun platform_from_name(name: String): nullable Platform