Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
if dcp.is_disabled then return res
var anchor = self.anchor
if dcp.is_disabled then return res
var anchor = self.anchor
var supx = sup
var subx = sub
var p = node.parent.as(not null)
var supx = sup
var subx = sub
var p = node.parent.as(not null)
# The static type of the receiver
# Mainly used for type tests and type resolutions
# The static type of the receiver
# Mainly used for type tests and type resolutions
- var anchor: nullable MClassType = null
+ var anchor: MClassType is noinit
# The analyzed mclassdef
var mclassdef: MClassDef is noinit
# The analyzed mclassdef
var mclassdef: MClassDef is noinit
redef fun accept_typing(v)
do
var anchor = v.anchor
redef fun accept_typing(v)
do
var anchor = v.anchor
var recvtype = v.get_variable(self, v.selfvariable)
assert recvtype != null
var mproperty = v.mpropdef.mproperty
var recvtype = v.get_variable(self, v.selfvariable)
assert recvtype != null
var mproperty = v.mpropdef.mproperty
private fun process_superinit(v: TypeVisitor)
do
var anchor = v.anchor
private fun process_superinit(v: TypeVisitor)
do
var anchor = v.anchor
var recvtype = v.get_variable(self, v.selfvariable)
assert recvtype != null
var mpropdef = v.mpropdef
var recvtype = v.get_variable(self, v.selfvariable)
assert recvtype != null
var mpropdef = v.mpropdef