Issues - workcraft/workcraft

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

            return Result.success(new VerificationChainOutput(
                    exportResult, null, mpsatResult, verificationParameters, "Policy net is deadlock-free"));

Found in workcraft/PolicyPlugin/src/org/workcraft/plugins/policy/tasks/DeadlockFreenessTask.java - About 30 mins to fix

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

        return null;

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/CircuitUtils.java - About 30 mins to fix

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

                            return Result.cancel();

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                        return Result.success(new VerificationChainOutput(
                                devExportResult, pcompResult, persistencyMpsatResult, persistencyParameters,
                                "Circuit is not output-persistent after the following trace(s):"));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                    return;

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/commands/OptimiseZeroDelayTransformationCommand.java - About 30 mins to fix

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

        return null;

Found in workcraft/DtdPlugin/src/org/workcraft/plugins/dtd/tools/DtdSelectionTool.java - About 30 mins to fix

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

                return Result.failure(new SpotChainOutput(ltl2tgbaResult, mpsatResult));

Found in workcraft/MpsatTemporalPlugin/src/org/workcraft/plugins/mpsat_temporal/tasks/SpotChainTask.java - About 30 mins to fix

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

                    return Result.failure(new VerificationChainOutput(
                            devExportResult, modPcompResult, null, preparationParameters));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                return Result.success(new VerificationChainOutput(
                        envExportResult, null, mpsatResult, verificationParameters,
                        "Circuit does not strictly implement the environment after the following trace(s):"));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/StrictImplementationCheckTask.java - About 30 mins to fix

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

        return "!" + expression;

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/ExpressionUtils.java - About 30 mins to fix

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

            return Result.success(new VerificationChainOutput(
                    envExportResult, null, mpsatResult, verificationParameters,
                    "The circuit strictly implements its environment."));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/StrictImplementationCheckTask.java - About 30 mins to fix

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

        return null;

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/RefinementUtils.java - About 30 mins to fix

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

                return Result.failure(new SpotChainOutput(ltl2tgbaResult, devExportResult, pcompResult, mpsatResult));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/SpotChainTask.java - About 30 mins to fix

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

                    return Result.exception(e);

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                    return Result.failure(new VerificationChainOutput(
                            devExportResult, pcompResult, null, preparationParameters));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/AssertionCheckTask.java - About 30 mins to fix

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

                        return Result.failure(new VerificationChainOutput(
                                devExportResult, pcompResult, null, preparationParameters));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                        return Result.failure(new VerificationChainOutput(
                                devExportResult, pcompResult, deadlockMpsatResult, deadlockParameters));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

                        return Result.failure(new VerificationChainOutput(
                                devExportResult, pcompResult, persistencyMpsatResult, persistencyParameters));

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckTask.java - About 30 mins to fix

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

            return Result.success(new VerificationChainOutput(
                    exportResult, null, null, completionParameters,
                    "Dataflow is deadlock-free and output-persistent"));

Found in workcraft/DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckTask.java - About 30 mins to fix

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

            return new Result<>(e);

Found in workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/StrictImplementationCheckTask.java - About 30 mins to fix

workcraft/workcraft

Showing 591 of 2,492 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 591 of 2,492 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