File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -212,14 +212,14 @@ class MethodSystemGetProperty extends Method {
212212}
213213
214214/**
215- * Any method access to a method named `getProperty` on class `java.lang.System`.
215+ * An access to a method named `getProperty` on class `java.lang.System`.
216216 */
217217class MethodAccessSystemGetProperty extends MethodAccess {
218218 MethodAccessSystemGetProperty ( ) { getMethod ( ) instanceof MethodSystemGetProperty }
219219
220220 /**
221- * Holds true if this is a compile-time constant call for the specified `propertyName`.
222- * Eg. `System.getProperty("user.dir")`.
221+ * Holds if this call has a compile-time constant first argument with the value `propertyName`.
222+ * For example: `System.getProperty("user.dir")`.
223223 */
224224 predicate hasCompileTimeConstantGetPropertyName ( string propertyName ) {
225225 this .getArgument ( 0 ) .( CompileTimeConstantExpr ) .getStringValue ( ) = propertyName
Original file line number Diff line number Diff line change 1- /**
2- * @name SystemCall
3- * @description Test the definition of System Get Property
4- */
5-
6- import default
1+ import java
72
83from MethodAccessSystemGetProperty ma
94where ma .hasCompileTimeConstantGetPropertyName ( "user.dir" )
You can’t perform that action at this time.
0 commit comments