Issues - workcraft/workcraft

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 new Result<>(devExportResult.getOutcome(), payload);

Found in workcraft/MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat_verification/tasks/ConformationTask.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 output transitions.\n" +
                                "Problematic signal", specificationToggleOutputs));

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.success(new CombinedChainOutput()
                    .applyVerificationParametersList(TRIVIAL_VIOLATION_PARAMETERS_LIST)
                    .applyMessage(HandshakeParameters.VIOLATION_PREFIX
                            + "Acknowledgements must be of opposite to requests type (outputs)."));

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 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 other.getMin() <= number && number <= other.getMax();

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 Result.success(payload.applyExportResult(extendedExportResult));

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

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

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

Found in workcraft/MsfsmPlugin/src/org/workcraft/plugins/msfsm/tasks/ConversionTask.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/RefinementTask.java - About 30 mins to fix

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

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

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

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 Mutex(name, r1Signal, g1Signal, r2Signal, g2Signal, protocol);

Found in workcraft/StgPlugin/src/org/workcraft/plugins/stg/utils/MutexUtils.java - About 30 mins to fix

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

            return CENTER;

Found in workcraft/WorkcraftCore/src/org/workcraft/gui/layouts/MultiBorderLayout.java - About 30 mins to fix

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

                            return;

Found in workcraft/WorkcraftCore/src/org/workcraft/gui/tools/SelectionTool.java - About 30 mins to fix

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

                return true;

Found in workcraft/WorkcraftCore/src/org/workcraft/gui/tools/SelectionTool.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 false;

Found in workcraft/WtgPlugin/src/org/workcraft/plugins/wtg/utils/VerificationUtils.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