Showing 591 of 2,492 total issues
Avoid too many return
statements within this method. Open
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
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
Open
return new Result<>(e);
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return true;
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
exportResult, null, persistencyResult, persistencyParameters));
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return new Result<>(e);
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
exportResult, null, mpsatResult, verificationParameters, "Policy net has a deadlock"));
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
exportResult, null, deadlockResult, deadlockParameters));
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
exportResult, null, deadlockResult, deadlockParameters,
"Dataflow has a deadlock"));
Avoid too many return
statements within this method. Open
Open
return;
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
exportResult, null, mpsatResult, verificationParameters,
"Dataflow is output-persistent"));
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return Result.failure(new CombinedChainOutput(
devExportResult, pcompResult, unfoldingResult, mpsatResultList, verificationParametersList));
Avoid too many return
statements within this method. Open
Open
return Result.failure(new SpotChainOutput(ltl2tgbaResult, devExportResult, null, null));
Avoid too many return
statements within this method. Open
Open
return false;