A specific method call site with its associated informations.

# A specific method call site with its associated informations.
class CallSite
	super MEntity

	redef var location

	# The static type of the receiver (possibly unresolved)
	var recv: MType

	# The module where the callsite is present
	var mmodule: MModule

	# The anchor to use with `recv` or `msignature`
	var anchor: nullable MClassType

	# Is the receiver self?
	# If "for_self", virtual types of the signature are kept
	# If "not_for_self", virtual type are erased
	var recv_is_self: Bool

	# The designated method
	var mproperty: MMethod

	# The statically designated method definition
	# The most specif one, it is.
	var mpropdef: MMethodDef

	# The resolved signature for the receiver
	var msignature: MSignature

	# Is a implicit cast required on erasure typing policy?
	var erasure_cast: Bool

	# The mapping used on the call to associate arguments to parameters
	# If null then no specific association is required.
	var signaturemap: nullable SignatureMap = null

	private fun check_signature(v: TypeVisitor, node: ANode, args: Array[AExpr]): Bool
	do
		var map = v.check_signature(node, args, self.mproperty, self.msignature)
		signaturemap = map
		if map == null then is_broken = true
		return map == null
	end

	# Information about the callsite to display on a node
	fun dump_info(v: ASTDump): String do
		return "{recv}.{mpropdef}{msignature}"
	end

	redef fun mdoc_or_fallback do return mproperty.intro.mdoc
end

src/semantize/typing.nit:774,1--825,3

nitc :: vm_optimizations $ CallSite

# Add informations to optimize some method calls
redef class CallSite
	# Position of the method in virtual table
	#
	# The relative position of this MMethod if perfect hashing is used,
	# The absolute position of this MMethod if SST is used
	var offset: Int

	# Indicate the status of the optimization for this node
	#
	# 0: default value
	# 1: SST (direct access) can be used
	# 2: PH (multiple inheritance implementation) must be used
	var status: Int = 0

	# Identifier of the class which introduced the MMethod
	var id: Int

	# Optimize a method dispatch,
	# If this method is always at the same position in virtual table, we can use direct access,
	# Otherwise we must use perfect hashing
	fun optimize(recv: Instance)
	do
		var position = recv.mtype.as(MClassType).mclass.get_position_methods(mproperty.intro_mclassdef.mclass)
		if position > 0 then
			offset = position + mproperty.offset
			status = 1
		else
			offset = mproperty.offset
			status = 2
		end
		id = mproperty.intro_mclassdef.mclass.vtable.id
	end
end

src/vm/vm_optimizations.nit:157,1--190,3

nitc :: htmlight $ CallSite

redef class CallSite
	redef fun infobox(v)
	do
		var res = new HInfoBox(v, "call {mpropdef}")
		res.href = v.hrefto(mpropdef)
		if not v.show_infobox then return res
		res.new_field("call").add(mpropdef.linkto(v)).add(msignature.linkto(v))
		if mpropdef.is_intro then
		else
			res.new_field("intro").add mproperty.intro.linkto_text(v, "in {mproperty.intro.mclassdef}")
		end
		add_doc_to_infobox(res)

		return res
	end
	redef fun linkto(v)
	do
		return mpropdef.linkto(v)
	end
end

src/htmlight.nit:684,1--703,3

class CallSite

Summary

A specific method call site with its associated informations.

Introduced properties

_anchor

_erasure_cast

_id

_location

_mmodule

_mpropdef

_mproperty

_msignature

_offset

_recv

_recv_is_self

_signaturemap

_status

anchor

anchor=

check_signature

defaultinit

dump_info

erasure_cast

erasure_cast=

id

id=

location=

mmodule

mmodule=

mpropdef

mpropdef=

mproperty

mproperty=

msignature

msignature=

offset

offset=

optimize

recv

recv=

recv_is_self

recv_is_self=

signaturemap

signaturemap=

status

status=

Redefined properties

SELF

infobox

linkto

location

mdoc_or_fallback

A specific method call site with its associated informations.

Introduced properties

private var _anchor: nullable MClassType

private var _erasure_cast: Bool

private var _id: Int

private var _location: Location

private var _mmodule: MModule

private var _mpropdef: MMethodDef

private var _mproperty: MMethod

private var _msignature: MSignature

private var _offset: Int

private var _recv: MType

private var _recv_is_self: Bool

private var _signaturemap: nullable SignatureMap

private var _status: Int

fun anchor: nullable MClassType

protected fun anchor=(anchor: nullable MClassType)

private fun check_signature(v: TypeVisitor, node: ANode, args: Array[AExpr]): Bool

init defaultinit(location: Location, recv: MType, mmodule: MModule, anchor: nullable MClassType, recv_is_self: Bool, mproperty: MMethod, mpropdef: MMethodDef, msignature: MSignature, erasure_cast: Bool)

fun dump_info(v: ASTDump): String

fun erasure_cast: Bool

protected fun erasure_cast=(erasure_cast: Bool)

fun id: Int

protected fun id=(id: Int)

protected fun location=(location: Location)

fun mmodule: MModule

protected fun mmodule=(mmodule: MModule)

fun mpropdef: MMethodDef