src/Phan/Analysis/NegatedConditionVisitor.php

Summary

Maintainability
F
1 wk
Test Coverage

File NegatedConditionVisitor.php has 702 lines of code (exceeds 250 allowed). Consider refactoring.
Open

<?php

declare(strict_types=1);

namespace Phan\Analysis;
Severity: Major
Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 day to fix

    Method createNegationCallbackMap has 123 lines of code (exceeds 25 allowed). Consider refactoring.
    Open

        private static function createNegationCallbackMap(): array
        {
            /** @param list<Node|mixed> $unused_args */
            $remove_null_cb = static function (CodeBase $unused_code_base, Context $unused_context, Variable $variable, array $unused_args): void {
                $variable->setUnionType($variable->getUnionType()->nonNullableClone());
    Severity: Major
    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 4 hrs to fix

      Function checkComplexIsset has a Cognitive Complexity of 24 (exceeds 5 allowed). Consider refactoring.
      Open

          public function checkComplexIsset(Node $var_node): Context
          {
              $context = $this->context;
              if ($var_node->kind === ast\AST_DIM) {
                  $expr_node = $var_node;
      Severity: Minor
      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 3 hrs to fix

      Cognitive Complexity

      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

      A method's cognitive complexity is based on a few simple rules:

      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
      • Code is considered more complex for each "break in the linear flow of the code"
      • Code is considered more complex when "flow breaking structures are nested"

      Further reading

      The class NegatedConditionVisitor has an overall complexity of 154 which is very high. The configured complexity threshold is 50.
      Open

      class NegatedConditionVisitor extends KindVisitorImplementation implements ConditionVisitorInterface
      {
          // TODO: if (a || b || c || d) might get really slow, due to creating both ConditionVisitor and NegatedConditionVisitor
          use ConditionVisitorUtil;
      
      

      The class NegatedConditionVisitor has 15 public methods. Consider refactoring NegatedConditionVisitor to keep number of public methods under 10.
      Open

      class NegatedConditionVisitor extends KindVisitorImplementation implements ConditionVisitorInterface
      {
          // TODO: if (a || b || c || d) might get really slow, due to creating both ConditionVisitor and NegatedConditionVisitor
          use ConditionVisitorUtil;
      
      

      TooManyPublicMethods

      Since: 0.1

      A class with too many public methods is probably a good suspect for refactoring, in order to reduce its complexity and find a way to have more fine grained objects.

      By default it ignores methods starting with 'get' or 'set'.

      Example

      Source https://phpmd.org/rules/codesize.html#toomanypublicmethods

      NegatedConditionVisitor has 25 functions (exceeds 20 allowed). Consider refactoring.
      Open

      class NegatedConditionVisitor extends KindVisitorImplementation implements ConditionVisitorInterface
      {
          // TODO: if (a || b || c || d) might get really slow, due to creating both ConditionVisitor and NegatedConditionVisitor
          use ConditionVisitorUtil;
      
      
      Severity: Minor
      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 2 hrs to fix

        Function checkComplexNegatedEmpty has a Cognitive Complexity of 19 (exceeds 5 allowed). Consider refactoring.
        Open

            private function checkComplexNegatedEmpty(Node $var_node): Context
            {
                $context = $this->context;
                // TODO: !empty($obj->prop['offset']) should imply $obj is not null (removeNullFromVariable)
                if ($var_node->kind === ast\AST_DIM) {
        Severity: Minor
        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 2 hrs to fix

        Cognitive Complexity

        Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

        A method's cognitive complexity is based on a few simple rules:

        • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
        • Code is considered more complex for each "break in the linear flow of the code"
        • Code is considered more complex when "flow breaking structures are nested"

        Further reading

        Function visitEmpty has a Cognitive Complexity of 16 (exceeds 5 allowed). Consider refactoring.
        Open

            public function visitEmpty(Node $node): Context
            {
                $context = $this->context;
                $var_node = $node->children['expr'];
                if (!($var_node instanceof Node)) {
        Severity: Minor
        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 2 hrs to fix

        Cognitive Complexity

        Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

        A method's cognitive complexity is based on a few simple rules:

        • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
        • Code is considered more complex for each "break in the linear flow of the code"
        • Code is considered more complex when "flow breaking structures are nested"

        Further reading

        Method checkComplexIsset has 47 lines of code (exceeds 25 allowed). Consider refactoring.
        Open

            public function checkComplexIsset(Node $var_node): Context
            {
                $context = $this->context;
                if ($var_node->kind === ast\AST_DIM) {
                    $expr_node = $var_node;
        Severity: Minor
        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

          Method visitInstanceof has 42 lines of code (exceeds 25 allowed). Consider refactoring.
          Open

              public function visitInstanceof(Node $node): Context
              {
                  //$this->checkVariablesDefined($node);
                  // Only look at things of the form
                  // `$variable instanceof ClassName`
          Severity: Minor
          Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

            Method checkComplexNegatedEmpty has 39 lines of code (exceeds 25 allowed). Consider refactoring.
            Open

                private function checkComplexNegatedEmpty(Node $var_node): Context
                {
                    $context = $this->context;
                    // TODO: !empty($obj->prop['offset']) should imply $obj is not null (removeNullFromVariable)
                    if ($var_node->kind === ast\AST_DIM) {
            Severity: Minor
            Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

              Method visitCall has 37 lines of code (exceeds 25 allowed). Consider refactoring.
              Open

                  public function visitCall(Node $node): Context
                  {
                      $raw_function_name = self::getFunctionName($node);
                      if (!\is_string($raw_function_name)) {
                          return $this->context;
              Severity: Minor
              Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                Method visitEmpty has 36 lines of code (exceeds 25 allowed). Consider refactoring.
                Open

                    public function visitEmpty(Node $node): Context
                    {
                        $context = $this->context;
                        $var_node = $node->children['expr'];
                        if (!($var_node instanceof Node)) {
                Severity: Minor
                Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                  Method visitBinaryOp has 34 lines of code (exceeds 25 allowed). Consider refactoring.
                  Open

                      public function visitBinaryOp(Node $node): Context
                      {
                          $flags = $node->flags ?? 0;
                          switch ($flags) {
                              case flags\BINARY_BOOL_OR:
                  Severity: Minor
                  Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                    Method withNonFalseyArrayShapeTypes has 29 lines of code (exceeds 25 allowed). Consider refactoring.
                    Open

                        private function withNonFalseyArrayShapeTypes(Variable $variable, $dim_node, Context $context, bool $non_nullable): Context
                        {
                            $dim_value = $dim_node instanceof Node ? (new ContextNode($this->code_base, $this->context, $dim_node))->getEquivalentPHPScalarValue() : $dim_node;
                            // TODO: detect and warn about null
                            if (!\is_scalar($dim_value)) {
                    Severity: Minor
                    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                      Function visitUnaryOp has a Cognitive Complexity of 10 (exceeds 5 allowed). Consider refactoring.
                      Open

                          public function visitUnaryOp(Node $node): Context
                          {
                              $expr_node = $node->children['expr'];
                              $flags = $node->flags;
                              if ($flags !== flags\UNARY_BOOL_NOT) {
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function filterNonArrayTypes has a Cognitive Complexity of 10 (exceeds 5 allowed). Consider refactoring.
                      Open

                          private static function filterNonArrayTypes(array $type_set): array
                          {
                              $new_types = [];
                              $has_null = false;
                              $has_other_nullable_types = false;
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 1 hr to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function visitExprList has a Cognitive Complexity of 9 (exceeds 5 allowed). Consider refactoring.
                      Open

                          public function visitExprList(Node $node): Context
                          {
                              $children = $node->children;
                              $count = \count($children);
                              if ($count > 1) {
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 55 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function visitCall has a Cognitive Complexity of 9 (exceeds 5 allowed). Consider refactoring.
                      Open

                          public function visitCall(Node $node): Context
                          {
                              $raw_function_name = self::getFunctionName($node);
                              if (!\is_string($raw_function_name)) {
                                  return $this->context;
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 55 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function createNegationCallbackMap has a Cognitive Complexity of 8 (exceeds 5 allowed). Consider refactoring.
                      Open

                          private static function createNegationCallbackMap(): array
                          {
                              /** @param list<Node|mixed> $unused_args */
                              $remove_null_cb = static function (CodeBase $unused_code_base, Context $unused_context, Variable $variable, array $unused_args): void {
                                  $variable->setUnionType($variable->getUnionType()->nonNullableClone());
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 45 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function analyzeShortCircuitingAnd has a Cognitive Complexity of 8 (exceeds 5 allowed). Consider refactoring.
                      Open

                          private function analyzeShortCircuitingAnd($left, $right): Context
                          {
                              // Analyze expressions such as if (!(is_string($x) || is_int($x)))
                              // which would be equivalent to if (!is_string($x)) { if (!is_int($x)) { ... }}
                      
                      
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 45 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function withNonFalseyArrayShapeTypes has a Cognitive Complexity of 8 (exceeds 5 allowed). Consider refactoring.
                      Open

                          private function withNonFalseyArrayShapeTypes(Variable $variable, $dim_node, Context $context, bool $non_nullable): Context
                          {
                              $dim_value = $dim_node instanceof Node ? (new ContextNode($this->code_base, $this->context, $dim_node))->getEquivalentPHPScalarValue() : $dim_node;
                              // TODO: detect and warn about null
                              if (!\is_scalar($dim_value)) {
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 45 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Function visitInstanceof has a Cognitive Complexity of 7 (exceeds 5 allowed). Consider refactoring.
                      Open

                          public function visitInstanceof(Node $node): Context
                          {
                              //$this->checkVariablesDefined($node);
                              // Only look at things of the form
                              // `$variable instanceof ClassName`
                      Severity: Minor
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 35 mins to fix

                      Cognitive Complexity

                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                      A method's cognitive complexity is based on a few simple rules:

                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                      • Code is considered more complex for each "break in the linear flow of the code"
                      • Code is considered more complex when "flow breaking structures are nested"

                      Further reading

                      Avoid too many return statements within this method.
                      Open

                                              return $null_type_set ?? ($null_type_set = UnionType::typeSetFromString('null'));
                      Severity: Major
                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                        Avoid too many return statements within this method.
                        Open

                                        return $this->analyzeAndUpdateToBeEqual($node->children['left'], $node->children['right']);
                        Severity: Major
                        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                          Avoid too many return statements within this method.
                          Open

                                          return $this->analyzeAndUpdateToBeCompared($node->children['left'], $node->children['right'], flags\BINARY_IS_GREATER);
                          Severity: Major
                          Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                            Avoid too many return statements within this method.
                            Open

                                                return [];
                            Severity: Major
                            Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                              Avoid too many return statements within this method.
                              Open

                                              return [$type];
                              Severity: Major
                              Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                Avoid too many return statements within this method.
                                Open

                                                    return [];
                                Severity: Major
                                Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                  Avoid too many return statements within this method.
                                  Open

                                                  return [$type];
                                  Severity: Major
                                  Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                    Avoid too many return statements within this method.
                                    Open

                                                return $this($left);
                                    Severity: Major
                                    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                      Avoid too many return statements within this method.
                                      Open

                                              return (new ContextMergeVisitor($context, [$left_false_context, $right_false_context]))->combineChildContextList();
                                      Severity: Major
                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                        Avoid too many return statements within this method.
                                        Open

                                                        return $context;
                                        Severity: Major
                                        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                          Avoid too many return statements within this method.
                                          Open

                                                              return [];
                                          Severity: Major
                                          Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                            Avoid too many return statements within this method.
                                            Open

                                                                return [ArrayType::instance($type->isNullable())];
                                            Severity: Major
                                            Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                              Avoid too many return statements within this method.
                                              Open

                                                      return $context;
                                              Severity: Major
                                              Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                Avoid too many return statements within this method.
                                                Open

                                                        return [
                                                            'count' => $zero_count_callback,
                                                            'is_null' => $remove_null_cb,
                                                            'is_array' => $remove_array_callback,
                                                            'is_bool' => $remove_bool_callback,
                                                Severity: Major
                                                Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                  Avoid too many return statements within this method.
                                                  Open

                                                                  return $this->analyzeAndUpdateToBeCompared($node->children['left'], $node->children['right'], flags\BINARY_IS_SMALLER);
                                                  Severity: Major
                                                  Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                    Avoid too many return statements within this method.
                                                    Open

                                                            return $context;
                                                    Severity: Major
                                                    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                      Avoid too many return statements within this method.
                                                      Open

                                                                          return [];
                                                      Severity: Major
                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                        Avoid too many return statements within this method.
                                                        Open

                                                                            return [$type];
                                                        Severity: Major
                                                        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                          Avoid too many return statements within this method.
                                                          Open

                                                                          return $this->analyzeAndUpdateToBeCompared($node->children['left'], $node->children['right'], flags\BINARY_IS_GREATER_OR_EQUAL);
                                                          Severity: Major
                                                          Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                            Avoid too many return statements within this method.
                                                            Open

                                                                            return [$type->asNonTruthyType()];
                                                            Severity: Major
                                                            Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                              Avoid too many return statements within this method.
                                                              Open

                                                                                      return $null_type_set ?? ($null_type_set = UnionType::typeSetFromString('null'));
                                                              Severity: Major
                                                              Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                Avoid too many return statements within this method.
                                                                Open

                                                                                return [$type];
                                                                Severity: Major
                                                                Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                  Avoid too many return statements within this method.
                                                                  Open

                                                                                  return $this->analyzeAndUpdateToBeIdentical($node->children['left'], $node->children['right']);
                                                                  Severity: Major
                                                                  Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                    Avoid too many return statements within this method.
                                                                    Open

                                                                                    return $this->analyzeAndUpdateToBeCompared($node->children['left'], $node->children['right'], flags\BINARY_IS_SMALLER_OR_EQUAL);
                                                                    Severity: Major
                                                                    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                      Avoid too many return statements within this method.
                                                                      Open

                                                                                      return $this->context;
                                                                      Severity: Major
                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                        Avoid too many return statements within this method.
                                                                        Open

                                                                                        return $context;
                                                                        Severity: Major
                                                                        Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                          Avoid too many return statements within this method.
                                                                          Open

                                                                                  return $context;
                                                                          Severity: Major
                                                                          Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                            Avoid too many return statements within this method.
                                                                            Open

                                                                                        return $type->isInBoolFamily();
                                                                            Severity: Major
                                                                            Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                              Avoid too many return statements within this method.
                                                                              Open

                                                                                          return $context->withScopeVariable(
                                                                                              $variable
                                                                                          );
                                                                              Severity: Major
                                                                              Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                                Avoid too many return statements within this method.
                                                                                Open

                                                                                        return $context;
                                                                                Severity: Major
                                                                                Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                                  Avoid too many return statements within this method.
                                                                                  Open

                                                                                                          return $null_type_set ?? ($null_type_set = UnionType::typeSetFromString('null'));
                                                                                  Severity: Major
                                                                                  Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                                    Avoid too many return statements within this method.
                                                                                    Open

                                                                                            return $context;
                                                                                    Severity: Major
                                                                                    Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 30 mins to fix

                                                                                      Function withNullOrUnsetArrayShapeTypes has a Cognitive Complexity of 6 (exceeds 5 allowed). Consider refactoring.
                                                                                      Open

                                                                                          private function withNullOrUnsetArrayShapeTypes(UnionType $union_type, $dim_node, Context $context, bool $remove_offset): UnionType
                                                                                          {
                                                                                              $dim_value = $dim_node instanceof Node ? (new ContextNode($this->code_base, $context, $dim_node))->getEquivalentPHPScalarValue() : $dim_node;
                                                                                              // TODO: detect and warn about null
                                                                                              if (!\is_scalar($dim_value)) {
                                                                                      Severity: Minor
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php - About 25 mins to fix

                                                                                      Cognitive Complexity

                                                                                      Cognitive Complexity is a measure of how difficult a unit of code is to intuitively understand. Unlike Cyclomatic Complexity, which determines how difficult your code will be to test, Cognitive Complexity tells you how difficult your code will be to read and comprehend.

                                                                                      A method's cognitive complexity is based on a few simple rules:

                                                                                      • Code is not considered more complex when it uses shorthand that the language provides for collapsing multiple statements into one
                                                                                      • Code is considered more complex for each "break in the linear flow of the code"
                                                                                      • Code is considered more complex when "flow breaking structures are nested"

                                                                                      Further reading

                                                                                      The method createNegationCallbackMap() has an NPath complexity of 648. The configured NPath complexity threshold is 200.
                                                                                      Open

                                                                                          private static function createNegationCallbackMap(): array
                                                                                          {
                                                                                              /** @param list<Node|mixed> $unused_args */
                                                                                              $remove_null_cb = static function (CodeBase $unused_code_base, Context $unused_context, Variable $variable, array $unused_args): void {
                                                                                                  $variable->setUnionType($variable->getUnionType()->nonNullableClone());

                                                                                      NPathComplexity

                                                                                      Since: 0.1

                                                                                      The NPath complexity of a method is the number of acyclic execution paths through that method. A threshold of 200 is generally considered the point where measures should be taken to reduce complexity.

                                                                                      Example

                                                                                      class Foo {
                                                                                          function bar() {
                                                                                              // lots of complicated code
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#npathcomplexity

                                                                                      The method createNegationCallbackMap() has 159 lines of code. Current threshold is set to 100. Avoid really long methods.
                                                                                      Open

                                                                                          private static function createNegationCallbackMap(): array
                                                                                          {
                                                                                              /** @param list<Node|mixed> $unused_args */
                                                                                              $remove_null_cb = static function (CodeBase $unused_code_base, Context $unused_context, Variable $variable, array $unused_args): void {
                                                                                                  $variable->setUnionType($variable->getUnionType()->nonNullableClone());

                                                                                      The class NegatedConditionVisitor has 1030 lines of code. Current threshold is 1000. Avoid really long classes.
                                                                                      Open

                                                                                      class NegatedConditionVisitor extends KindVisitorImplementation implements ConditionVisitorInterface
                                                                                      {
                                                                                          // TODO: if (a || b || c || d) might get really slow, due to creating both ConditionVisitor and NegatedConditionVisitor
                                                                                          use ConditionVisitorUtil;
                                                                                      
                                                                                      

                                                                                      The method checkComplexNegatedEmpty() has a Cyclomatic Complexity of 10. The configured cyclomatic complexity threshold is 10.
                                                                                      Open

                                                                                          private function checkComplexNegatedEmpty(Node $var_node): Context
                                                                                          {
                                                                                              $context = $this->context;
                                                                                              // TODO: !empty($obj->prop['offset']) should imply $obj is not null (removeNullFromVariable)
                                                                                              if ($var_node->kind === ast\AST_DIM) {

                                                                                      CyclomaticComplexity

                                                                                      Since: 0.1

                                                                                      Complexity is determined by the number of decision points in a method plus one for the method entry. The decision points are 'if', 'while', 'for', and 'case labels'. Generally, 1-4 is low complexity, 5-7 indicates moderate complexity, 8-10 is high complexity, and 11+ is very high complexity.

                                                                                      Example

                                                                                      // Cyclomatic Complexity = 11
                                                                                      class Foo {
                                                                                      1   public function example() {
                                                                                      2       if ($a == $b) {
                                                                                      3           if ($a1 == $b1) {
                                                                                                      fiddle();
                                                                                      4           } elseif ($a2 == $b2) {
                                                                                                      fiddle();
                                                                                                  } else {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      5       } elseif ($c == $d) {
                                                                                      6           while ($c == $d) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      7        } elseif ($e == $f) {
                                                                                      8           for ($n = 0; $n < $h; $n++) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                              } else {
                                                                                                  switch ($z) {
                                                                                      9               case 1:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      10              case 2:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      11              case 3:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                      default:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                  }
                                                                                              }
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#cyclomaticcomplexity

                                                                                      The method createNegationCallbackMap() has a Cyclomatic Complexity of 21. The configured cyclomatic complexity threshold is 10.
                                                                                      Open

                                                                                          private static function createNegationCallbackMap(): array
                                                                                          {
                                                                                              /** @param list<Node|mixed> $unused_args */
                                                                                              $remove_null_cb = static function (CodeBase $unused_code_base, Context $unused_context, Variable $variable, array $unused_args): void {
                                                                                                  $variable->setUnionType($variable->getUnionType()->nonNullableClone());

                                                                                      CyclomaticComplexity

                                                                                      Since: 0.1

                                                                                      Complexity is determined by the number of decision points in a method plus one for the method entry. The decision points are 'if', 'while', 'for', and 'case labels'. Generally, 1-4 is low complexity, 5-7 indicates moderate complexity, 8-10 is high complexity, and 11+ is very high complexity.

                                                                                      Example

                                                                                      // Cyclomatic Complexity = 11
                                                                                      class Foo {
                                                                                      1   public function example() {
                                                                                      2       if ($a == $b) {
                                                                                      3           if ($a1 == $b1) {
                                                                                                      fiddle();
                                                                                      4           } elseif ($a2 == $b2) {
                                                                                                      fiddle();
                                                                                                  } else {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      5       } elseif ($c == $d) {
                                                                                      6           while ($c == $d) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      7        } elseif ($e == $f) {
                                                                                      8           for ($n = 0; $n < $h; $n++) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                              } else {
                                                                                                  switch ($z) {
                                                                                      9               case 1:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      10              case 2:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      11              case 3:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                      default:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                  }
                                                                                              }
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#cyclomaticcomplexity

                                                                                      The method visitBinaryOp() has a Cyclomatic Complexity of 11. The configured cyclomatic complexity threshold is 10.
                                                                                      Open

                                                                                          public function visitBinaryOp(Node $node): Context
                                                                                          {
                                                                                              $flags = $node->flags ?? 0;
                                                                                              switch ($flags) {
                                                                                                  case flags\BINARY_BOOL_OR:

                                                                                      CyclomaticComplexity

                                                                                      Since: 0.1

                                                                                      Complexity is determined by the number of decision points in a method plus one for the method entry. The decision points are 'if', 'while', 'for', and 'case labels'. Generally, 1-4 is low complexity, 5-7 indicates moderate complexity, 8-10 is high complexity, and 11+ is very high complexity.

                                                                                      Example

                                                                                      // Cyclomatic Complexity = 11
                                                                                      class Foo {
                                                                                      1   public function example() {
                                                                                      2       if ($a == $b) {
                                                                                      3           if ($a1 == $b1) {
                                                                                                      fiddle();
                                                                                      4           } elseif ($a2 == $b2) {
                                                                                                      fiddle();
                                                                                                  } else {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      5       } elseif ($c == $d) {
                                                                                      6           while ($c == $d) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      7        } elseif ($e == $f) {
                                                                                      8           for ($n = 0; $n < $h; $n++) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                              } else {
                                                                                                  switch ($z) {
                                                                                      9               case 1:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      10              case 2:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      11              case 3:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                      default:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                  }
                                                                                              }
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#cyclomaticcomplexity

                                                                                      The method checkComplexIsset() has a Cyclomatic Complexity of 11. The configured cyclomatic complexity threshold is 10.
                                                                                      Open

                                                                                          public function checkComplexIsset(Node $var_node): Context
                                                                                          {
                                                                                              $context = $this->context;
                                                                                              if ($var_node->kind === ast\AST_DIM) {
                                                                                                  $expr_node = $var_node;

                                                                                      CyclomaticComplexity

                                                                                      Since: 0.1

                                                                                      Complexity is determined by the number of decision points in a method plus one for the method entry. The decision points are 'if', 'while', 'for', and 'case labels'. Generally, 1-4 is low complexity, 5-7 indicates moderate complexity, 8-10 is high complexity, and 11+ is very high complexity.

                                                                                      Example

                                                                                      // Cyclomatic Complexity = 11
                                                                                      class Foo {
                                                                                      1   public function example() {
                                                                                      2       if ($a == $b) {
                                                                                      3           if ($a1 == $b1) {
                                                                                                      fiddle();
                                                                                      4           } elseif ($a2 == $b2) {
                                                                                                      fiddle();
                                                                                                  } else {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      5       } elseif ($c == $d) {
                                                                                      6           while ($c == $d) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      7        } elseif ($e == $f) {
                                                                                      8           for ($n = 0; $n < $h; $n++) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                              } else {
                                                                                                  switch ($z) {
                                                                                      9               case 1:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      10              case 2:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      11              case 3:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                      default:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                  }
                                                                                              }
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#cyclomaticcomplexity

                                                                                      The method visitCall() has a Cyclomatic Complexity of 10. The configured cyclomatic complexity threshold is 10.
                                                                                      Open

                                                                                          public function visitCall(Node $node): Context
                                                                                          {
                                                                                              $raw_function_name = self::getFunctionName($node);
                                                                                              if (!\is_string($raw_function_name)) {
                                                                                                  return $this->context;

                                                                                      CyclomaticComplexity

                                                                                      Since: 0.1

                                                                                      Complexity is determined by the number of decision points in a method plus one for the method entry. The decision points are 'if', 'while', 'for', and 'case labels'. Generally, 1-4 is low complexity, 5-7 indicates moderate complexity, 8-10 is high complexity, and 11+ is very high complexity.

                                                                                      Example

                                                                                      // Cyclomatic Complexity = 11
                                                                                      class Foo {
                                                                                      1   public function example() {
                                                                                      2       if ($a == $b) {
                                                                                      3           if ($a1 == $b1) {
                                                                                                      fiddle();
                                                                                      4           } elseif ($a2 == $b2) {
                                                                                                      fiddle();
                                                                                                  } else {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      5       } elseif ($c == $d) {
                                                                                      6           while ($c == $d) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                      7        } elseif ($e == $f) {
                                                                                      8           for ($n = 0; $n < $h; $n++) {
                                                                                                      fiddle();
                                                                                                  }
                                                                                              } else {
                                                                                                  switch ($z) {
                                                                                      9               case 1:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      10              case 2:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                      11              case 3:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                      default:
                                                                                                          fiddle();
                                                                                                          break;
                                                                                                  }
                                                                                              }
                                                                                          }
                                                                                      }

                                                                                      Source https://phpmd.org/rules/codesize.html#cyclomaticcomplexity

                                                                                      The class NegatedConditionVisitor has a coupling between objects value of 26. Consider to reduce the number of dependencies under 13.
                                                                                      Open

                                                                                      class NegatedConditionVisitor extends KindVisitorImplementation implements ConditionVisitorInterface
                                                                                      {
                                                                                          // TODO: if (a || b || c || d) might get really slow, due to creating both ConditionVisitor and NegatedConditionVisitor
                                                                                          use ConditionVisitorUtil;
                                                                                      
                                                                                      

                                                                                      CouplingBetweenObjects

                                                                                      Since: 1.1.0

                                                                                      A class with too many dependencies has negative impacts on several quality aspects of a class. This includes quality criteria like stability, maintainability and understandability

                                                                                      Example

                                                                                      class Foo {
                                                                                          /**
                                                                                           * @var \foo\bar\X
                                                                                           */
                                                                                          private $x = null;
                                                                                      
                                                                                          /**
                                                                                           * @var \foo\bar\Y
                                                                                           */
                                                                                          private $y = null;
                                                                                      
                                                                                          /**
                                                                                           * @var \foo\bar\Z
                                                                                           */
                                                                                          private $z = null;
                                                                                      
                                                                                          public function setFoo(\Foo $foo) {}
                                                                                          public function setBar(\Bar $bar) {}
                                                                                          public function setBaz(\Baz $baz) {}
                                                                                      
                                                                                          /**
                                                                                           * @return \SplObjectStorage
                                                                                           * @throws \OutOfRangeException
                                                                                           * @throws \InvalidArgumentException
                                                                                           * @throws \ErrorException
                                                                                           */
                                                                                          public function process(\Iterator $it) {}
                                                                                      
                                                                                          // ...
                                                                                      }

                                                                                      Source https://phpmd.org/rules/design.html#couplingbetweenobjects

                                                                                      Similar blocks of code found in 2 locations. Consider refactoring.
                                                                                      Open

                                                                                          public function visitProp(Node $node): Context
                                                                                          {
                                                                                              $expr_node = $node->children['expr'];
                                                                                              if (!($expr_node instanceof Node)) {
                                                                                                  return $this->context;
                                                                                      Severity: Major
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php and 1 other location - About 4 hrs to fix
                                                                                      src/Phan/Analysis/ConditionVisitor.php on lines 573..596

                                                                                      Duplicated Code

                                                                                      Duplicated code can lead to software that is hard to understand and difficult to change. The Don't Repeat Yourself (DRY) principle states:

                                                                                      Every piece of knowledge must have a single, unambiguous, authoritative representation within a system.

                                                                                      When you violate DRY, bugs and maintenance problems are sure to follow. Duplicated code has a tendency to both continue to replicate and also to diverge (leaving bugs as two similar implementations differ in subtle ways).

                                                                                      Tuning

                                                                                      This issue has a mass of 171.

                                                                                      We set useful threshold defaults for the languages we support but you may want to adjust these settings based on your project guidelines.

                                                                                      The threshold configuration represents the minimum mass a code block must have to be analyzed for duplication. The lower the threshold, the more fine-grained the comparison.

                                                                                      If the engine is too easily reporting duplication, try raising the threshold. If you suspect that the engine isn't catching enough duplication, try lowering the threshold. The best setting tends to differ from language to language.

                                                                                      See codeclimate-duplication's documentation for more information about tuning the mass threshold in your .codeclimate.yml.

                                                                                      Refactorings

                                                                                      Further Reading

                                                                                      Identical blocks of code found in 2 locations. Consider refactoring.
                                                                                      Open

                                                                                          public function visitAssign(Node $node): Context
                                                                                          {
                                                                                              $context = (new BlockAnalysisVisitor($this->code_base, $this->context))->visitAssign($node);
                                                                                              $left = $node->children['var'];
                                                                                              if (!($left instanceof Node)) {
                                                                                      Severity: Major
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php and 1 other location - About 3 hrs to fix
                                                                                      src/Phan/Analysis/ConditionVisitor.php on lines 1169..1185

                                                                                      Duplicated Code

                                                                                      Duplicated code can lead to software that is hard to understand and difficult to change. The Don't Repeat Yourself (DRY) principle states:

                                                                                      Every piece of knowledge must have a single, unambiguous, authoritative representation within a system.

                                                                                      When you violate DRY, bugs and maintenance problems are sure to follow. Duplicated code has a tendency to both continue to replicate and also to diverge (leaving bugs as two similar implementations differ in subtle ways).

                                                                                      Tuning

                                                                                      This issue has a mass of 151.

                                                                                      We set useful threshold defaults for the languages we support but you may want to adjust these settings based on your project guidelines.

                                                                                      The threshold configuration represents the minimum mass a code block must have to be analyzed for duplication. The lower the threshold, the more fine-grained the comparison.

                                                                                      If the engine is too easily reporting duplication, try raising the threshold. If you suspect that the engine isn't catching enough duplication, try lowering the threshold. The best setting tends to differ from language to language.

                                                                                      See codeclimate-duplication's documentation for more information about tuning the mass threshold in your .codeclimate.yml.

                                                                                      Refactorings

                                                                                      Further Reading

                                                                                      Similar blocks of code found in 2 locations. Consider refactoring.
                                                                                      Open

                                                                                              try {
                                                                                                  // Get the variable we're operating on
                                                                                                  $variable = $this->getVariableFromScope($first_arg, $context);
                                                                                      
                                                                                                  if (\is_null($variable)) {
                                                                                      Severity: Major
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php and 1 other location - About 1 hr to fix
                                                                                      src/Phan/Analysis/ConditionVisitor.php on lines 1023..1046

                                                                                      Duplicated Code

                                                                                      Duplicated code can lead to software that is hard to understand and difficult to change. The Don't Repeat Yourself (DRY) principle states:

                                                                                      Every piece of knowledge must have a single, unambiguous, authoritative representation within a system.

                                                                                      When you violate DRY, bugs and maintenance problems are sure to follow. Duplicated code has a tendency to both continue to replicate and also to diverge (leaving bugs as two similar implementations differ in subtle ways).

                                                                                      Tuning

                                                                                      This issue has a mass of 112.

                                                                                      We set useful threshold defaults for the languages we support but you may want to adjust these settings based on your project guidelines.

                                                                                      The threshold configuration represents the minimum mass a code block must have to be analyzed for duplication. The lower the threshold, the more fine-grained the comparison.

                                                                                      If the engine is too easily reporting duplication, try raising the threshold. If you suspect that the engine isn't catching enough duplication, try lowering the threshold. The best setting tends to differ from language to language.

                                                                                      See codeclimate-duplication's documentation for more information about tuning the mass threshold in your .codeclimate.yml.

                                                                                      Refactorings

                                                                                      Further Reading

                                                                                      Identical blocks of code found in 2 locations. Consider refactoring.
                                                                                      Open

                                                                                              if ($flags !== flags\UNARY_BOOL_NOT) {
                                                                                                  if (Config::getValue('redundant_condition_detection')) {
                                                                                                      $this->checkRedundantOrImpossibleTruthyCondition($node, $this->context, null, true);
                                                                                                  }
                                                                                                  if ($expr_node instanceof Node) {
                                                                                      Severity: Minor
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php and 1 other location - About 45 mins to fix
                                                                                      src/Phan/Analysis/ConditionVisitor.php on lines 292..304

                                                                                      Duplicated Code

                                                                                      Duplicated code can lead to software that is hard to understand and difficult to change. The Don't Repeat Yourself (DRY) principle states:

                                                                                      Every piece of knowledge must have a single, unambiguous, authoritative representation within a system.

                                                                                      When you violate DRY, bugs and maintenance problems are sure to follow. Duplicated code has a tendency to both continue to replicate and also to diverge (leaving bugs as two similar implementations differ in subtle ways).

                                                                                      Tuning

                                                                                      This issue has a mass of 95.

                                                                                      We set useful threshold defaults for the languages we support but you may want to adjust these settings based on your project guidelines.

                                                                                      The threshold configuration represents the minimum mass a code block must have to be analyzed for duplication. The lower the threshold, the more fine-grained the comparison.

                                                                                      If the engine is too easily reporting duplication, try raising the threshold. If you suspect that the engine isn't catching enough duplication, try lowering the threshold. The best setting tends to differ from language to language.

                                                                                      See codeclimate-duplication's documentation for more information about tuning the mass threshold in your .codeclimate.yml.

                                                                                      Refactorings

                                                                                      Further Reading

                                                                                      Identical blocks of code found in 2 locations. Consider refactoring.
                                                                                      Open

                                                                                          public function visitAssignRef(Node $node): Context
                                                                                          {
                                                                                              $context = (new BlockAnalysisVisitor($this->code_base, $this->context))->visitAssignRef($node);
                                                                                              $left = $node->children['var'];
                                                                                              if (!($left instanceof Node)) {
                                                                                      Severity: Minor
                                                                                      Found in src/Phan/Analysis/NegatedConditionVisitor.php and 1 other location - About 30 mins to fix
                                                                                      src/Phan/Analysis/ConditionVisitor.php on lines 1197..1206

                                                                                      Duplicated Code

                                                                                      Duplicated code can lead to software that is hard to understand and difficult to change. The Don't Repeat Yourself (DRY) principle states:

                                                                                      Every piece of knowledge must have a single, unambiguous, authoritative representation within a system.

                                                                                      When you violate DRY, bugs and maintenance problems are sure to follow. Duplicated code has a tendency to both continue to replicate and also to diverge (leaving bugs as two similar implementations differ in subtle ways).

                                                                                      Tuning

                                                                                      This issue has a mass of 90.

                                                                                      We set useful threshold defaults for the languages we support but you may want to adjust these settings based on your project guidelines.

                                                                                      The threshold configuration represents the minimum mass a code block must have to be analyzed for duplication. The lower the threshold, the more fine-grained the comparison.

                                                                                      If the engine is too easily reporting duplication, try raising the threshold. If you suspect that the engine isn't catching enough duplication, try lowering the threshold. The best setting tends to differ from language to language.

                                                                                      See codeclimate-duplication's documentation for more information about tuning the mass threshold in your .codeclimate.yml.

                                                                                      Refactorings

                                                                                      Further Reading

                                                                                      There are no issues that match your filters.

                                                                                      Category
                                                                                      Status