Issues - workcraft/workcraft

Avoid too many `return` statements within this method.
Open

            return Result.success(new CombinedChainOutput()
                    .applyVerificationParametersList(TRIVIAL_VIOLATION_PARAMETERS_LIST)
                    .applyMessage(HandshakeParameters.VIOLATION_PREFIX
                            + "Acknowledgements must be of opposite to requests type (inputs)."));

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/HandshakeChainTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

        return null;

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/AbstractChainResultHandlingMonitor.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return new Result<>(implementationExportResult.getOutcome(), payload);

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/RefinementTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

        return Result.success(payload.applyExportResult(extendedExportResult));

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/RefinementTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return result;

Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/VisualSON.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return new Result<>(specificationExportResult.getOutcome(), payload);

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/RefinementTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

                return Result.exception(TextUtils.wrapMessageWithItems(
                        "Refinement cannot be checked for specification STG with toggle input transitions.\n" +
                                "Problematic signal", specificationToggleInputs));

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/RefinementTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return args;

Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return x;

Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/formula/PrettifyBooleanWorker.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return Result.failure(new MpsatOutput(output, verificationParameters, netFile, unfoldingFile, null));

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/MpsatTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

        return false;

Found in workcraft/SonPlugin/src/org/workcraft/plugins/son/util/Interval.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

        return reducedWorker.and(x, y);

Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/formula/PrettifyBooleanWorker.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

            return Result.cancel();

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/MpsatTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

        return null;

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/HandshakeChainTask.java - About 30 mins to fix

Avoid too many `return` statements within this method.
Open

                return args;

Found in workcraft/CpogPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoSolver.java - About 30 mins to fix

workcraft/workcraft

Showing 2,511 of 2,511 total issues

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Severity

Category

Status

Source

Language

workcraft/workcraft

Showing 2,511 of 2,511 total issues

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Avoid too many return statements within this method. Open

Severity

Category

Status

Source

Language

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open

Avoid too many `return` statements within this method.
Open