Skip to content

Commit 4effc11

Browse files
author
Stephan Brandauer
committed
Java: comments
1 parent c4f5213 commit 4effc11

File tree

1 file changed

+18
-1
lines changed

1 file changed

+18
-1
lines changed

java/ql/automodel/src/AutomodelApplicationModeCharacteristics.qll

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,16 +46,32 @@ newtype TApplicationModeEndpoint =
4646
* An endpoint is a node that is a candidate for modeling.
4747
*/
4848
abstract private class ApplicationModeEndpoint extends TApplicationModeEndpoint {
49+
/**
50+
* Gets the callable to be modeled that this endpoint represents.
51+
*/
4952
abstract Callable getCallable();
5053

5154
abstract Call getCall();
5255

56+
/**
57+
* Gets the input (if any) for this endpoint, eg.: `Argument[0]`.
58+
*
59+
* For endpoints that are source candidates, this will be `none()`.
60+
*/
5361
abstract string getMaDInput();
5462

63+
/**
64+
* Gets the output (if any) for this endpoint, eg.: `ReturnValue`.
65+
*
66+
* For endpoints that are sink candidates, this will be `none()`.
67+
*/
5568
abstract string getMaDOutput();
5669

5770
abstract Top asTop();
5871

72+
/**
73+
* Converts the endpoint to a node that can be used in a data flow graph.
74+
*/
5975
abstract DataFlow::Node asNode();
6076

6177
string getExtensibleType() {
@@ -149,7 +165,8 @@ class ImplicitVarargsArray extends ApplicationModeEndpoint, TImplicitVarargsArra
149165
}
150166

151167
/**
152-
* An endpoint that represents a method call.
168+
* An endpoint that represents a method call. The `ReturnValue` of a method call
169+
* may be a source.
153170
*/
154171
class MethodCall extends ApplicationModeEndpoint, TMethodCall {
155172
Call call;

0 commit comments

Comments
 (0)