public function __construct(ControlFlowGraph $cfg) { parent::__construct($cfg, new ConstPropJoinOp()); }
public function __construct(ControlFlowGraph $cfg, Scope $scope) { parent::__construct($cfg, self::createJoinOperation()); $this->scope = $scope; }
public function __construct(ControlFlowGraph $cfg, ReverseInterpreterInterface $reverseInterpreter, FunctionInterpreterInterface $functionInterpreter, MethodInterpreter\MethodInterpreterInterface $methodInterpreter, \Scrutinizer\PhpAnalyzer\PhpParser\DocCommentParser $commentParser, Scope $functionScope, TypeRegistry $registry, LoggerInterface $logger = null) { parent::__construct($cfg, self::createJoinOperation()); $this->reverseInterpreter = $reverseInterpreter; $this->functionInterpreter = $functionInterpreter; $this->methodInterpreter = $methodInterpreter; $this->syntacticScope = $functionScope; $this->commentParser = $commentParser; $this->functionScope = LinkedFlowScope::createLatticeElement($functionScope); $this->bottomScope = LinkedFlowScope::createLatticeElement(Scope::createBottomScope($functionScope->getRootNode(), $functionScope->getTypeOfThis())); $this->typeRegistry = $registry; $this->logger = $logger ?: new NullLogger(); }