Sign upLogin

workcraft/workcraft

View on GitHub
Star

Showing 591 of 2,492 total issues

Avoid deeply nested control flow statements.
Open

                        if (preCondition instanceof Condition) {
                            result.add((Condition) preCondition);
                        }
Severity: Major
Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java - About 45 mins to fix

    Avoid deeply nested control flow statements.
    Open

                            for (Time ndin : preset) {
                            ndin.setEndTime(nd.getStartTime());
                        }
    Severity: Major
    Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/BFSEntireEstimationAlg.java - About 45 mins to fix

      Avoid deeply nested control flow statements.
      Open

                              if (!hasMarking) {
                            c2.setMarked(false);
                        }
      Severity: Major
      Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java - About 45 mins to fix

        Avoid deeply nested control flow statements.
        Open

                                if (!nd.getEndTime().isSpecified()) {
                            nd.setEndTime(end);
                            addModify(t, 3);
                        } else {
                            if (!nd.getEndTime().equals(end)) {
        Severity: Major
        Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/BFSEstimationAlg.java - About 45 mins to fix

          Avoid deeply nested control flow statements.
          Open

                                  if (u.contains(e3)) {
                            u.remove(e3);
                            stack.push(e3);
                        }
          Severity: Major
          Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java - About 45 mins to fix

            Avoid deeply nested control flow statements.
            Open

                                    if (n instanceof TransitionNode) {
                            ((TransitionNode) n).setFillColor(new Color(255, 228, 181));
                        }
            Severity: Major
            Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java - About 45 mins to fix

              Method buildCpog has 6 arguments (exceeds 4 allowed). Consider refactoring.
              Open

                  protected void buildCpog(int n, int m, char[][][] constraints,
            VisualCpog cpog, VisualVertex[] vertices, HashMap<String,
            BooleanFormula> formulaeName) {
              Severity: Minor
              Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 45 mins to fix

                Avoid deeply nested control flow statements.
                Open

                                        if ((!q.isEmpty() || i.hasNext()) && !"+".equals(expression.get(expression.size() - 1))) {
                            expression.add("+");
                        }
                Severity: Major
                Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tools/CpogParsingTool.java - About 45 mins to fix

                  Avoid deeply nested control flow statements.
                  Open

                                          if ("to".equals(piece[0])) {
                            VisualSONConnection con = null;
                            try {
                                if (piece[2].equals(Semantics.PNLINE.toString())) {
                                    con = (VisualSONConnection) visualNet.connect(p, e, Semantics.PNLINE);
                  Severity: Major
                  Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/BlockConnector.java - About 45 mins to fix

                    Avoid deeply nested control flow statements.
                    Open

                                            if (constraints[k][i][i] == '0' || constraints[k][j][j] == '0') ch = '-';
                    Severity: Major
                    Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 45 mins to fix

                      Avoid deeply nested control flow statements.
                      Open

                                              if (node instanceof TransitionEvent) {
                            TransitionEvent dstTransition = (TransitionEvent) node;
                            if (dstTransition.getSignal().getType() == Signal.Type.INPUT) {
                                String msg = "Internal signal '" + wtg.getName(transition.getSignal())
                                        + "' triggers input signal '"
                      Severity: Major
                      Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 45 mins to fix

                        Avoid deeply nested control flow statements.
                        Open

                                                if (!hasPreAsyn) {
                            setSyncErrNum(eventCycle, phases, isLower);
                            removeList.addAll(eventCycle);
                            b = true;
                            break;
                        Severity: Major
                        Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/ErrorTracingAlg.java - About 45 mins to fix

                          Avoid deeply nested control flow statements.
                          Open

                                                  if (u.contains(e3)) {
                            u.remove(e3);
                            stack.push(e3);
                        }
                          Severity: Major
                          Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java - About 45 mins to fix

                            Avoid deeply nested control flow statements.
                            Open

                                                    for (ONGroup group : getBSONAlg().getLowerGroups(pre)) {
                            if (preMax.containsAll(getRelationAlg().getONFinal(group))) {
                                containFinal = true;
                                break;
                            }
                            Severity: Major
                            Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java - About 45 mins to fix

                              Avoid deeply nested control flow statements.
                              Open

                                                      if (!containFinal) {
                            match = false;
                        }
                              Severity: Major
                              Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/tasks/BSONStructureTask.java - About 45 mins to fix

                                Avoid deeply nested control flow statements.
                                Open

                                                        for (int j = 0; j < n; j++) {
                            if (graph[t][j] > 0) graph[i][j] = 2;
                        }
                                Severity: Major
                                Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExecutionSupport.java - About 45 mins to fix

                                  Avoid deeply nested control flow statements.
                                  Open

                                                          if (formulaToString(nextArc.getCondition()).equals(arcCondition)) {
                            insert += " -> ";
                            String nextVertexCondition = formulaToString(nextVertex.getCondition());
                            String childCondition = formulaToString(child.getCondition());
                            if (!"1".equals(nextVertexCondition) || !childCondition.equals(arcCondition)) {
                                  Severity: Major
                                  Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tools/CpogParsingTool.java - About 45 mins to fix

                                    Avoid deeply nested control flow statements.
                                    Open

                                                            for (Time ndin : postset) {
                            ndin.setStartTime(nd.getEndTime());
                        }
                                    Severity: Major
                                    Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/BFSEntireEstimationAlg.java - About 45 mins to fix

                                      Avoid deeply nested control flow statements.
                                      Open

                                                              if ((n2 instanceof Condition) && net.getSONConnectionType(post, n2) == Semantics.PNLINE) {
                            result.add((Condition) n2);
                        }
                                      Severity: Major
                                      Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/RelationAlgorithm.java - About 45 mins to fix

                                        Avoid deeply nested control flow statements.
                                        Open

                                                                for (Condition c3 : bsonAlg.getUpperConditions(c2)) {
                            if (c3.isMarked()) {
                                hasMarking = true;
                            }
                        }
                                        Severity: Major
                                        Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/algorithm/SimulationAlg.java - About 45 mins to fix
                                          Severity
                                          Category
                                          Status
                                          Source
                                          Language