private class CallSiteVisitor

nitc :: CallSiteVisitor

This visitor checks the callsite to see if the target mpropdef has a contract.

Introduced properties

private var _toolcontext: ToolContext

nitc :: CallSiteVisitor :: _toolcontext

Instance of the toolcontext
private var _visited_propdef: APropdef

nitc :: CallSiteVisitor :: _visited_propdef

Actual visited method
private fun ast_builder=(ast_builder: ASTBuilder)

nitc :: CallSiteVisitor :: ast_builder=

init defaultinit(toolcontext: ToolContext, ast_builder: ASTBuilder)

nitc :: CallSiteVisitor :: defaultinit

private fun drive_callsite_to_contract(callsite: CallSite): CallSite

nitc :: CallSiteVisitor :: drive_callsite_to_contract

Check if the callsite is bound on a property with a contract.
private fun toolcontext: ToolContext

nitc :: CallSiteVisitor :: toolcontext

Instance of the toolcontext
private fun toolcontext=(toolcontext: ToolContext)

nitc :: CallSiteVisitor :: toolcontext=

Instance of the toolcontext
private fun visited_propdef: APropdef

nitc :: CallSiteVisitor :: visited_propdef

Actual visited method
private fun visited_propdef=(visited_propdef: APropdef)

nitc :: CallSiteVisitor :: visited_propdef=

Actual visited method

Redefined properties

redef type SELF: CallSiteVisitor

nitc $ CallSiteVisitor :: SELF

Type of this instance, automatically specialized in every class
redef fun visit(node: ANode)

nitc $ CallSiteVisitor :: visit

What the visitor do when a node is visited

All properties

fun !=(other: nullable Object): Bool

core :: Object :: !=

Have self and other different values?
fun ==(other: nullable Object): Bool

core :: Object :: ==

Have self and other the same value?
type CLASS: Class[SELF]

core :: Object :: CLASS

The type of the class of self.
type SELF: Object

core :: Object :: SELF

Type of this instance, automatically specialized in every class
private var _current_node: nullable ANode

nitc :: Visitor :: _current_node

The current visited node
private var _toolcontext: ToolContext

nitc :: CallSiteVisitor :: _toolcontext

Instance of the toolcontext
private var _visited_propdef: APropdef

nitc :: CallSiteVisitor :: _visited_propdef

Actual visited method
private fun ast_builder=(ast_builder: ASTBuilder)

nitc :: CallSiteVisitor :: ast_builder=

protected fun class_factory(name: String): CLASS

core :: Object :: class_factory

Implementation used by get_class to create the specific class.
fun class_name: String

core :: Object :: class_name

The class name of the object.
fun current_node: nullable ANode

nitc :: Visitor :: current_node

The current visited node
fun current_node=(current_node: nullable ANode)

nitc :: Visitor :: current_node=

The current visited node
init defaultinit(toolcontext: ToolContext, ast_builder: ASTBuilder)

nitc :: CallSiteVisitor :: defaultinit

private fun drive_callsite_to_contract(callsite: CallSite): CallSite

nitc :: CallSiteVisitor :: drive_callsite_to_contract

Check if the callsite is bound on a property with a contract.
fun enter_visit(e: nullable ANode)

nitc :: Visitor :: enter_visit

Ask the visitor to visit a given node.
fun get_class: CLASS

core :: Object :: get_class

The meta-object representing the dynamic type of self.
fun hash: Int

core :: Object :: hash

The hash code of the object.
init init

core :: Object :: init

fun inspect: String

core :: Object :: inspect

Developer readable representation of self.
protected fun inspect_head: String

core :: Object :: inspect_head

Return "CLASSNAME:#OBJECTID".
intern fun is_same_instance(other: nullable Object): Bool

core :: Object :: is_same_instance

Return true if self and other are the same instance (i.e. same identity).
fun is_same_serialized(other: nullable Object): Bool

core :: Object :: is_same_serialized

Is self the same as other in a serialization context?
intern fun is_same_type(other: Object): Bool

core :: Object :: is_same_type

Return true if self and other have the same dynamic type.
private intern fun native_class_name: CString

core :: Object :: native_class_name

The class name of the object in CString format.
intern fun object_id: Int

core :: Object :: object_id

An internal hash code for the object based on its identity.
fun output

core :: Object :: output

Display self on stdout (debug only).
intern fun output_class_name

core :: Object :: output_class_name

Display class name on stdout (debug only).
fun serialization_hash: Int

core :: Object :: serialization_hash

Hash value use for serialization
intern fun sys: Sys

core :: Object :: sys

Return the global sys object, the only instance of the Sys class.
abstract fun to_jvalue(env: JniEnv): JValue

core :: Object :: to_jvalue

fun to_s: String

core :: Object :: to_s

User readable representation of self.
private fun toolcontext: ToolContext

nitc :: CallSiteVisitor :: toolcontext

Instance of the toolcontext
private fun toolcontext=(toolcontext: ToolContext)

nitc :: CallSiteVisitor :: toolcontext=

Instance of the toolcontext
protected abstract fun visit(e: ANode)

nitc :: Visitor :: visit

What the visitor do when a node is visited
private fun visited_propdef: APropdef

nitc :: CallSiteVisitor :: visited_propdef

Actual visited method
private fun visited_propdef=(visited_propdef: APropdef)

nitc :: CallSiteVisitor :: visited_propdef=

Actual visited method
package_diagram nitc::contracts::CallSiteVisitor CallSiteVisitor nitc::Visitor Visitor nitc::contracts::CallSiteVisitor->nitc::Visitor core::Object Object nitc::Visitor->core::Object ...core::Object ... ...core::Object->core::Object

Ancestors

interface Object

core :: Object

The root of the class hierarchy.

Parents

abstract class Visitor

nitc :: Visitor

Abstract standard visitor on the AST

Class definitions

nitc $ CallSiteVisitor 
# This visitor checks the `callsite` to see if the target `mpropdef` has a contract.
private class CallSiteVisitor
	super Visitor

	# Instance of the toolcontext
	var toolcontext: ToolContext

	var ast_builder: ASTBuilder

	# Actual visited method
	var visited_propdef: APropdef is noinit

	redef fun visit(node)
	do
		node.check_callsite(self)
		node.visit_all(self)
	end

	# Check if the callsite is bound on a property with a contract.
	# If the property is linked to a contract a new callsite will be created towards the correct facet,
	# in the other case the returned callsite wall be the same as the given `callsite`
	private fun drive_callsite_to_contract(callsite: CallSite): CallSite
	do
		var contract_facet = callsite.mproperty.mcontract_facet
		var visited_mpropdef = visited_propdef.mpropdef

		if visited_mpropdef isa MContract or visited_mpropdef isa MFacet then return callsite
		if visited_mpropdef == null or contract_facet == null then return callsite

		return ast_builder.create_callsite(toolcontext.modelbuilder, visited_propdef, contract_facet, callsite.recv_is_self)
	end
end
src/contracts.nit:218,1--249,3
Nit tools. Version .