workcraft/workcraft

View on GitHub

Showing 591 of 2,488 total issues

Avoid too many return statements within this method.
Open

        return true;

    Avoid too many return statements within this method.
    Open

                        return false;

      Avoid too many return statements within this method.
      Open

                      return false;

        Avoid too many return statements within this method.
        Open

                    return false;
        Severity: Major
        Found in workcraft/WorkcraftCore/src/org/workcraft/types/Triple.java - About 30 mins to fix

          Avoid too many return statements within this method.
          Open

                  return true;

            Avoid too many return statements within this method.
            Open

                        return false;

              Avoid too many return statements within this method.
              Open

                          return false;

                Avoid too many return statements within this method.
                Open

                            return false;

                  Avoid too many return statements within this method.
                  Open

                              return x;

                    Avoid too many return statements within this method.
                    Open

                            return new Xor(x, y);

                      Avoid too many return statements within this method.
                      Open

                                  return other.second == null;
                      Severity: Major
                      Found in workcraft/WorkcraftCore/src/org/workcraft/types/Pair.java - About 30 mins to fix

                        Avoid too many return statements within this method.
                        Open

                                            return Result.exception(result.getCause());

                          Avoid too many return statements within this method.
                          Open

                                      return false;

                            Avoid too many return statements within this method.
                            Open

                                        return false;

                              Avoid too many return statements within this method.
                              Open

                                              return false;

                                Avoid too many return statements within this method.
                                Open

                                            return x;

                                  Avoid too many return statements within this method.
                                  Open

                                              return Result.success(new SynthesisChainOutput(exportResult, mpsatResult, synthesisMode));

                                    Avoid too many return statements within this method.
                                    Open

                                            return Pair.of(EMPTY, str);
                                    Severity: Major
                                    Found in workcraft/WorkcraftCore/src/org/workcraft/utils/TraceUtils.java - About 30 mins to fix

                                      Avoid too many return statements within this method.
                                      Open

                                                  return Result.cancel();

                                        Avoid too many return statements within this method.
                                        Open

                                                return new Imply(x, y);
                                          Severity
                                          Category
                                          Status
                                          Source
                                          Language