Showing 591 of 2,488 total issues
Avoid too many return
statements within this method. Open
Open
return false;
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.failure(new VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, verificationParameters));
Avoid too many return
statements within this method. Open
Open
return Result.cancel();
Avoid too many return
statements within this method. Open
Open
return ((VisualCircuitComponent) visualNode).getReferencedComponent();
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
devExportResult, pcompResult, unfoldingResult, preparationParameters));
Avoid too many return
statements within this method. Open
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
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 getAdjacentBufferOrInverter(circuit, drivenContact);
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
devExportResult, pcompResult, null, preparationParameters));
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 false;
Avoid too many return
statements within this method. Open
Open
return Result.failure(new SpotChainOutput(ltl2tgbaResult, mpsatResult));
Avoid too many return
statements within this method. Open
Open
return Result.exception(e);
Avoid too many return
statements within this method. Open
Open
return Result.success(new VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, completionParameters, message));
Avoid too many return
statements within this method. Open
Open
return 0.0;
Avoid too many return
statements within this method. Open
Open
return null;
Avoid too many return
statements within this method. Open
Open
return null;