Nitlanguage.org
  • Nitdoc
  • nitc
  • compiler
  • global_compiler
  • GlobalCompilerVisitor
  • check_valid_reciever

fun check_valid_reciever(recvtype: MClassType)

nitc :: GlobalCompilerVisitor :: check_valid_reciever

  • Doc
  • Linearization

Summary

  • Property definitions

  • nitc$GlobalCompilerVisitor$check_valid_reciever

Property definitions

nitc $ GlobalCompilerVisitor :: check_valid_reciever
	fun check_valid_reciever(recvtype: MClassType)
	do
		if self.compiler.runtime_type_analysis.live_types.has(recvtype) or recvtype.mclass.name == "Object" then return
		print_error "{recvtype} is not a live type"
		abort
	end
src/compiler/global_compiler.nit:607,2--612,4
Nit tools. Version .