3v4l.org

run code in 300+ PHP versions simultaneously
<?php class A {} class B extends A {} class C extends B {} class D {} interface InterfaceTest { public function foo($d); } abstract class AbstractTest { public abstract function foo($d); } class TestAbstractContravariance extends AbstractTest { public function foo($d) : D {} } class TestAbstractCovariance extends AbstractTest { public function foo($d) : D {} } class TestInterfaceContravariance implements InterfaceTest { public function foo($d) : D {} } class TestInterfaceCovariance implements InterfaceTest { public function foo($d) : D {} }
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  (null)
number of ops:  3
compiled vars:  none
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   19     0  E >   DECLARE_CLASS                                            'testinterfacecontravariance'
   23     1        DECLARE_CLASS                                            'testinterfacecovariance'
   25     2      > RETURN                                                   1

Class A: [no user functions]
Class B: [no user functions]
Class C: [no user functions]
Class D: [no user functions]
Class InterfaceTest:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  2
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
    8     0  E >   RECV                                             !0      
          1      > RETURN                                                   null

End of function foo

End of class InterfaceTest.

Class AbstractTest:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  2
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   10     0  E >   RECV                                             !0      
          1      > RETURN                                                   null

End of function foo

End of class AbstractTest.

Class TestAbstractContravariance:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  3
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   14     0  E >   RECV                                             !0      
          1        VERIFY_RETURN_TYPE                                       
          2      > RETURN                                                   null

End of function foo

End of class TestAbstractContravariance.

Class TestAbstractCovariance:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  3
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   17     0  E >   RECV                                             !0      
          1        VERIFY_RETURN_TYPE                                       
          2      > RETURN                                                   null

End of function foo

End of class TestAbstractCovariance.

Class TestInterfaceContravariance:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  3
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   21     0  E >   RECV                                             !0      
          1        VERIFY_RETURN_TYPE                                       
          2      > RETURN                                                   null

End of function foo

End of class TestInterfaceContravariance.

Class TestInterfaceCovariance:
Function foo:
Finding entry points
Branch analysis from position: 0
1 jumps found. (Code = 62) Position 1 = -2
filename:       /in/ecoVB
function name:  foo
number of ops:  3
compiled vars:  !0 = $d
line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   24     0  E >   RECV                                             !0      
          1        VERIFY_RETURN_TYPE                                       
          2      > RETURN                                                   null

End of function foo

End of class TestInterfaceCovariance.

Generated using Vulcan Logic Dumper, using php 8.0.0


preferences:
160.23 ms | 1399 KiB | 13 Q