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.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.success(new CombinedChainOutput(
                    devExportResult, pcompResult, unfoldingResult, mpsatResultList, verificationParametersList));

Avoid too many return statements within this method.

Open

                    return Result.failure(new CombinedChainOutput(
                            envExportResult, null, null, null, verificationParametersList));

Avoid too many return statements within this method.

Open

                    return Result.failure(new CombinedChainOutput(
                            devExportResult, pcompResult, unfoldingResult, mpsatResultList, verificationParametersList));

Avoid too many return statements within this method.

Open

                    return Result.failure(new CombinedChainOutput(
                            devExportResult, pcompResult, null, null, verificationParametersList));

Avoid too many return statements within this method.

Open

                return Result.failure(new CombinedChainOutput(
                        devExportResult, pcompResult, unfoldingResult, null, verificationParametersList));

Avoid too many return statements within this method.

Open

                        return Result.cancel();

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 2 locations. Consider refactoring.

Open

                if (!envExportResult.isSuccess()) {
                    if (envExportResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new CombinedChainOutput(

• 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 CombinedChainOutput(

• Read up
  Read up