A type prefixed with "nullable"

# A type prefixed with "nullable"
class MNullableType
	super MProxyType

	init
	do
		self.to_s = "nullable {mtype}"
	end

	redef var to_s is noinit

	redef var full_name is lazy do return "nullable {mtype.full_name}"

	redef var c_name is lazy do return "nullable__{mtype.c_name}"

	redef fun as_nullable do return self
	redef fun resolve_for(mtype, anchor, mmodule, cleanup_virtual)
	do
		var res = super
		return res.as_nullable
	end

	# Efficiently returns `mtype.lookup_fixed(mmodule, resolved_receiver).as_nullable`
	redef fun lookup_fixed(mmodule, resolved_receiver)
	do
		var t = super
		if t == mtype then return self
		return t.as_nullable
	end

	redef fun mdoc_or_fallback do return mtype.mdoc_or_fallback
end

src/model/model.nit:1830,1--1861,3

nitc :: nitni_base $ MNullableType

redef class MNullableType
	redef fun mangled_cname do return "nullable_{mtype.mangled_cname}"
end

src/nitni/nitni_base.nit:138,1--140,3

nitc :: neo $ MNullableType

redef class MNullableType
	redef fun to_node(nodes: HashMap[MEntity, NeoNode], model_name: nullable String): NeoNode do
		if nodes.has_key(self) then return nodes[self]
		var node = super
		node.labels.add "MNullableType"
		node.out_edges.add(new NeoEdge(node, "TYPE", mtype.to_node(nodes, model_name)))
		return node
	end
end

src/neo.nit:924,1--932,3

nitc :: term_model $ MNullableType

redef class MNullableType
	redef fun cs_signature(no_color) do
		var tpl = new FlatBuffer
		tpl.append "nullable "
		tpl.append mtype.cs_signature(no_color)
		return tpl.write_to_string
	end
end

src/doc/templates/term_model.nit:221,1--228,3

nitc :: uml_class $ MNullableType

redef class MNullableType
	redef fun tpl_class(model) do
		var t = new Template
		t.add "nullable "
		t.add mtype.tpl_class(model)
		return t
	end
end

src/uml/uml_class.nit:207,1--214,3

nitc :: nitrestful $ MNullableType

redef class MNullableType
	redef fun needs_type_check do return name != "nullable String" and name != "nullable Object"
end

src/nitrestful.nit:145,1--147,3

nitc :: htmlight $ MNullableType

redef class MNullableType
	redef fun infobox(v)
	do
		return mtype.infobox(v)
	end
	redef fun linkto(v)
	do
		var res = new HTMLTag("span")
		res.append("nullable ").add(mtype.linkto(v))
		return res
	end
end

src/htmlight.nit:616,1--627,3

nitc :: compiler_ffi $ MNullableType

redef class MNullableType
	redef fun compile_extern_helper_functions(v, ccu, compile_implementation_too)
	do
		super

		var base_cname = "null_{mtype.mangled_cname}"
		var full_cname = "NIT_NULL___{base_cname}"

		# In nitni files, declare internal function as extern
		var full_friendly_csignature = "{cname_blind} {full_cname}()"
		ccu.header_decl.add("extern {full_friendly_csignature};\n")

		# In nitni files, #define friendly as extern
		ccu.header_decl.add("#define {base_cname} {full_cname}\n")

		if not compile_implementation_too then return

		# FIXME: This is ugly an broke the separate compilation principle
		# The real function MUST be compiled only once, #define pragma only protect the compiler, not the loader
		# However, I am not sure of the right approach here (eg. week refs are ugly)
		if v.compiler.compiled_null_types.has(self) then return
		v.compiler.compiled_null_types.add self

		# Internally, implement internal function
		var nitni_visitor = v.compiler.new_visitor
		nitni_visitor.frame = v.frame
		var full_internal_csignature = "{cname_blind} {full_cname}()"
		nitni_visitor.add("{full_internal_csignature} \{")
		nitni_visitor.add("struct nitni_instance* ret_for_c;")
		nitni_visitor.add("ret_for_c = nit_alloc(sizeof(struct nitni_instance));")
		nitni_visitor.add("ret_for_c->value = NULL;")
		nitni_visitor.add("return ret_for_c;")
		nitni_visitor.add("\}")
	end
end

src/compiler/compiler_ffi/compiler_ffi.nit:163,1--197,3

nitc :: html_model $ MNullableType

redef class MNullableType
	redef fun html_signature(short) do
		var tpl = new Template
		tpl.add "nullable "
		tpl.add mtype.html_signature(short)
		return tpl
	end
end

src/doc/templates/html_model.nit:283,1--290,3

nitc :: api_base $ MNullableType

redef class MNullableType
	redef var web_url = mtype.web_url is lazy
	redef var api_url = mtype.api_url is lazy
end

src/doc/api/api_base.nit:214,1--217,3

class MNullableType

Summary

A type prefixed with "nullable"

Introduced properties

_api_url

_c_name

_full_name

_to_s

_web_url

api_url=

c_name=

defaultinit

full_name=

to_s=

web_url=

Redefined properties

SELF

api_url

as_nullable

c_name

compile_extern_helper_functions

cs_signature

full_name

html_signature

infobox

init

linkto

lookup_fixed

mangled_cname

mdoc_or_fallback

needs_type_check

resolve_for

to_node

to_s

tpl_class

web_url

A type prefixed with "nullable"

Introduced properties

private var _api_url: String

private var _c_name: String

private var _full_name: String

private var _to_s: String

private var _web_url: String

protected fun api_url=(api_url: String)

protected fun c_name=(c_name: String)

init defaultinit(mtype: MType)

protected fun full_name=(full_name: String)

protected fun to_s=(to_s: String)

protected fun web_url=(web_url: String)

Redefined properties

redef type SELF: MNullableType

redef fun api_url: String

redef fun as_nullable: MType

redef fun c_name: String

redef fun compile_extern_helper_functions(v: AbstractCompilerVisitor, ccu: CCompilationUnit, compile_implementation_too: Bool)

redef fun cs_signature(no_color: nullable Bool): String

redef fun full_name: String

redef fun html_signature(short: nullable Bool): Template

redef fun infobox(v: HtmlightVisitor): HInfoBox

redef init init

redef fun linkto(v: HtmlightVisitor): HTMLTag

redef fun lookup_fixed(mmodule: MModule, resolved_receiver: MType): MType

redef fun mangled_cname: String

redef fun mdoc_or_fallback: nullable MDoc

redef fun needs_type_check: Bool

redef fun resolve_for(mtype: MType, anchor: nullable MClassType, mmodule: MModule, cleanup_virtual: Bool): MType

redef fun to_node(nodes: HashMap[MEntity, NeoNode], model_name: nullable String): NeoNode

redef fun to_s: String

redef fun tpl_class(model: UMLModel): Writable

redef fun web_url: String

Summary

All properties

!=

==

CLASS

MENTITY

SELF

_api_url

_as_nullable_cache

_c_name