You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since we are adding flow through a method, we need to add tuples to the ``summaryModel`` extensible predicate.
177
173
Each tuple defines flow from one argument to the return value.
178
174
The first row defines flow from the first argument (``s1`` in the example) to the return value (``t`` in the example) and the second row defines flow from the second argument (``s2`` in the example) to the return value (``t`` in the example).
179
175
@@ -229,7 +225,6 @@ We need to add a tuple to the ``summaryModel(namespace, type, subtypes, name, si
Since we are adding a neutral model, we need to add tuples to the ``neutralModel`` extensible predicate.
421
410
The first four values identify the callable (in this case the getter of the ``Now`` property) to be modeled as a neutral, the fifth value is the kind, and the sixth value is the provenance (origin) of the neutral.
422
411
423
412
- The first value ``System`` is the namespace name.
Since we are adding flow through a method, we need to add tuples to the ``summaryModel`` extensible predicate.
269
263
Each tuple defines flow from one argument to the return value.
270
264
The first row defines flow from the first argument (``elems`` in the example) to the return value (``t`` in the example) and the second row defines flow from the second argument (``sep`` in the example) to the return value (``t`` in the example).
271
265
@@ -321,7 +315,6 @@ We need to add a tuple to the ``summaryModel(package, type, subtypes, name, sign
Since we are adding a barrier, we need to add a tuple to the ``barrierModel`` extensible predicate.
369
361
The first five values identify the function to be modeled as a barrier.
370
362
371
363
- The first value ``group:beego`` is the package group name. The ``group:`` prefix indicates that this is a package group, which is used to match multiple package paths that refer to the same package.
@@ -406,7 +398,6 @@ We need to add a tuple to the ``barrierGuardModel(package, type, subtypes, name,
Since we are adding flow through a method, we need to add tuples to the ``summaryModel`` extensible predicate.
183
178
Each tuple defines flow from one argument to the return value.
184
179
The first row defines flow from the qualifier (``s1`` in the example) to the return value (``t`` in the example) and the second row defines flow from the first argument (``s2`` in the example) to the return value (``t`` in the example).
185
180
@@ -224,8 +219,6 @@ We need to add tuples to the ``summaryModel(package, type, subtypes, name, signa
Since we are adding a neutral model, we need to add tuples to the ``neutralModel`` extensible predicate.
372
359
The first four values identify the callable (in this case a method) to be modeled as a neutral, the fifth value is the kind, and the sixth value is the provenance (origin) of the neutral.
373
360
374
361
- The first value ``java.time`` is the package name.
0 commit comments