workcraft/workcraft

Avoid too many return statements within this method.

Open

                    return Result.cancel();

Avoid too many return statements within this method.

Open

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

Avoid too many return statements within this method.

Open

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

Avoid too many return statements within this method.

Open

                    return Result.failure(new SpotChainOutput(ltl2tgbaResult, envExportResult, null, null));

Avoid too many return statements within this method.

Open

                    return Result.failure(new SpotChainOutput(ltl2tgbaResult, envExportResult, pcompResult, null));

Avoid too many return statements within this method.

Open

                        return Result.cancel();

Avoid too many return statements within this method.

Open

                        return Result.cancel();

Avoid too many return statements within this method.

Open

            return new Result<>(e);

Avoid too many return statements within this method.

Open

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

Identical blocks of code found in 3 locations. Consider refactoring.

Open

            if (envStg != null) {
                // Make sure that input signals of the device STG are also inputs in the environment STG
                Set<String> inputSignalNames = devStg.getSignalNames(Signal.Type.INPUT, null);
                Set<String> outputSignalNames = devStg.getSignalNames(Signal.Type.OUTPUT, null);
                StgUtils.restoreInterfaceSignals(envStg, inputSignalNames, outputSignalNames);

• Read up
  Read up

Identical blocks of code found in 6 locations. Consider refactoring.

Open

            if (!mpsatResult.isSuccess()) {
                if (mpsatResult.isCancel()) {
                    return Result.cancel();
                }
                return Result.failure(new SpotChainOutput(ltl2tgbaResult, devExportResult, pcompResult, mpsatResult));

• Read up
  Read up

Identical blocks of code found in 2 locations. Consider refactoring.

Open

            if (!devExportResult.isSuccess()) {
                if (devExportResult.isCancel()) {
                    return Result.cancel();
                }
                return Result.failure(new SpotChainOutput(ltl2tgbaResult, devExportResult, null, null));

• Read up
  Read up

Identical blocks of code found in 2 locations. Consider refactoring.

Open

                if (!envExportResult.isSuccess()) {
                    if (envExportResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new SpotChainOutput(ltl2tgbaResult, envExportResult, null, null));

• Read up
  Read up