hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Update ql doc comments.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-11 09:35:21 +02:00
parent 8352925257
commit 5b9ae5e6db
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
java/ql/src/utils/model-generator/internal/CaptureTypeBasedSummaryModels.qll
View File

@@ -297,14 +297,14 @@ class TypeBasedFlowTargetApi extends Specific::TargetApiSpecific {
* Gets the string representation of all type based summaries for `this`
* inspired by the Theorems for Free approach.
*
* Examples could be (see C# pseudo code below)
* (1) `Get` returns a value of type `T`. We assume that the returned
* Examples could be (see Java pseudo code below)
* (1) `get` returns a value of type `T`. We assume that the returned
* value was fetched from a (synthetic) field.
* (2) `Set` consumes a value of type `T`. We assume that the value is stored in
* (2) `set` consumes a value of type `T`. We assume that the value is stored in
* a (synthetic) field.
* (3) `Apply<S>` is assumed to apply the provided function to a value stored in
* (3) `apply<S>` is assumed to apply the provided function to a value stored in
* a (synthetic) field and return the result.
* (4) `Apply<S1,S2>` is assumed to apply the provided function to provided value
* (4) `apply<S1,S2>` is assumed to apply the provided function to provided value
* and return the result.
* ```java
* public class MyGeneric<T> {