Showing 591 of 2,492 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 false;
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 false;
Avoid too many return
statements within this method. Open
Open
return Result.exception(result.getCause());
Avoid too many return
statements within this method. Open
Open
return;
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 CombinedChainOutput(
envExportResult, null, null, null, verificationParametersList));
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.success(new VerificationChainOutput(
devExportResult, pcompResult, mpsatResult, verificationParameters,
"Property holds"));
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.success(new VerificationChainOutput(
exportResult, null, persistencyResult, persistencyParameters,
"Dataflow is not output-persistent"));
Avoid too many return
statements within this method. Open
Open
return Result.success(new SpotChainOutput(ltl2tgbaResult, mpsatResult));
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 ((VisualCircuitComponent) visualNode).getReferencedComponent();
Avoid too many return
statements within this method. Open
Open
return Result.failure(new VerificationChainOutput(
compositionExportResult, modPcompResult, conformationMpsatResult, conformationParameters));
Avoid too many return
statements within this method. Open
Open
return Result.failure(new CombinedChainOutput(
devExportResult, pcompResult, null, null, verificationParametersList));
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;