workcraft/workcraft

View on GitHub

Showing 2,488 of 2,488 total issues

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);

                Avoid too many return statements within this method.
                Open

                            return false;

                  Avoid too many return statements within this method.
                  Open

                          return new Iff(x, y);

                    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 new Or(x, y);

                          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;
                            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 false;

                                Avoid too many return statements within this method.
                                Open

                                        return true;

                                  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
                                          Category
                                          Status
                                          Source
                                          Language