workcraft/workcraft

Avoid too many return statements within this method.

Open

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

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):"));

Avoid too many return statements within this method.

Open

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

Avoid too many return statements within this method.

Open

                    return Result.exception(e);

Avoid too many return statements within this method.

Open

            return Result.success(new VerificationChainOutput(
                    devExportResult, pcompResult, mpsatResult, completionParameters, message));

Avoid too many return statements within this method.

Open

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

Avoid too many return statements within this method.

Open

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

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 Result.failure(new VerificationChainOutput(
                            compositionExportResult, modPcompResult, conformationMpsatResult, conformationParameters));

Avoid too many return statements within this method.

Open

                        return Result.success(new VerificationChainOutput(
                                devExportResult, pcompResult, deadlockMpsatResult, deadlockParameters,
                                "Circuit has a deadlock after the following trace(s):"));

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.cancel();

Avoid too many return statements within this method.

Open

                    return Result.success(new VerificationChainOutput(
                            compositionExportResult, modPcompResult, conformationMpsatResult, conformationParameters,
                            "Circuit does not conform to the environment after the following trace(s):"));

Avoid too many return statements within this method.

Open

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

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 Result.cancel();

Avoid too many return statements within this method.

Open

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

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

Open

                if (!conformationMpsatResult.isSuccess()) {
                    if (conformationMpsatResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                    if (!pcompResult.isSuccess()) {
                        if (pcompResult.isCancel()) {
                            return Result.cancel();
                        }
                        return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

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

• Read up
  Read up

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

Open

            if (!devExportResult.isSuccess()) {
                if (devExportResult.isCancel()) {
                    return Result.cancel();
                }
                return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                    if (!deadlockMpsatResult.isSuccess()) {
                        if (deadlockMpsatResult.isCancel()) {
                            return Result.cancel();
                        }
                        return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                if (!modEnvExportResult.isSuccess()) {
                    if (modEnvExportResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                if (!unfoldingResult.isSuccess()) {
                    if (unfoldingResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                    if (!persistencyMpsatResult.isSuccess()) {
                        if (persistencyMpsatResult.isCancel()) {
                            return Result.cancel();
                        }
                        return Result.failure(new VerificationChainOutput(

• Read up
  Read up

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

Open

                if (!modPcompResult.isSuccess()) {
                    if (modPcompResult.isCancel()) {
                        return Result.cancel();
                    }
                    return Result.failure(new VerificationChainOutput(

• Read up
  Read up