Include parameters when quoting extensible predicate name

owen-mc · owen-mc · commit ae66354b3680 · 2026-03-31T14:59:59.000+01:00
diff --git a/docs/codeql/codeql-language-guides/customizing-library-models-for-cpp.rst b/docs/codeql/codeql-language-guides/customizing-library-models-for-cpp.rst
@@ -77,7 +77,7 @@ This example shows how the CPP query pack models the return value from the ``rea
 
    boost::asio::read_until(socket, recv_buffer, '\0', error);
 
-We need to add a tuple to the ``sourceModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -113,7 +113,7 @@ This example shows how the CPP query pack models the second argument of the ``bo
 
    boost::asio::write(socket, send_buffer, error);
 
-We need to add a tuple to the ``sinkModel``\(namespace, type, subtypes, name, signature, ext, input, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sinkModel(namespace, type, subtypes, name, signature, ext, input, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -149,7 +149,7 @@ This example shows how the CPP query pack models flow through a function for a s
 
    boost::asio::write(socket, boost::asio::buffer(send_str), error);
 
-We need to add tuples to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -192,7 +192,7 @@ This function escapes special characters in a string for use in an SQL statement
    mysql_real_escape_string(mysql, escaped_name, name, strlen(name)); // The escaped_name is safe for SQL injection.
    sprintf(query_buffer, query, escaped_name);
 
-We need to add a tuple to the ``barrierModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -232,7 +232,7 @@ Consider a function called ``is_safe`` which returns ``true`` when the data is c
        mysql_query(user_input); // This is safe.
    }
 
-We need to add a tuple to the ``barrierGuardModel``\(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierGuardModel(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
diff --git a/docs/codeql/codeql-language-guides/customizing-library-models-for-csharp.rst b/docs/codeql/codeql-language-guides/customizing-library-models-for-csharp.rst
@@ -121,7 +121,7 @@ This is the ``GetStream`` method in the ``TcpClient`` class, which is located in
        ...
    }
 
-We need to add a tuple to the ``sourceModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -161,7 +161,7 @@ This pattern covers many of the cases where we need to summarize flow through a
        ...
    }
 
-We need to add tuples to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -218,7 +218,7 @@ This example shows how the C# query pack models flow through a method for a simp
        ...
    }
 
-We need to add a tuple to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add a tuple to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -262,7 +262,7 @@ Here we model flow through higher order methods and collection types, as well as
      ...
    }
 
-We need to add tuples to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -323,7 +323,7 @@ The ``RawUrl`` property returns the raw URL of the current request, which is con
        Response.Redirect(url); // This is not a URL redirection vulnerability.
    }
 
-We need to add a tuple to the ``barrierModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -365,7 +365,7 @@ When the ``IsAbsoluteUri`` property returns ``false``, the URL is relative and t
        }
    }
 
-We need to add a tuple to the ``barrierGuardModel``\(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierGuardModel(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -405,7 +405,7 @@ A neutral model is used to define that there is no flow through a method.
        ...
    }
 
-We need to add a tuple to the ``neutralModel``\(namespace, type, name, signature, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``neutralModel(namespace, type, name, signature, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
diff --git a/docs/codeql/codeql-language-guides/customizing-library-models-for-go.rst b/docs/codeql/codeql-language-guides/customizing-library-models-for-go.rst
@@ -122,7 +122,7 @@ This is the ``FormValue`` method of the ``Request`` type which is located in the
     }
 
 
-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -164,7 +164,7 @@ This pattern covers many of the cases where we need to summarize flow through a
         ...
     }
 
-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -209,7 +209,7 @@ This pattern covers many of the cases where we need to summarize flow through a
         ...
     }
 
-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -253,7 +253,7 @@ This pattern covers many of the cases where we need to summarize flow through a
         ...
     }
 
-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -310,7 +310,7 @@ This example shows how the Go query pack models flow through a method for a simp
         ...
     }
 
-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -354,7 +354,7 @@ The ``Htmlquote`` function from the beego framework HTML-escapes a string, which
         ...
     }
 
-We need to add a tuple to the ``barrierModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -395,7 +395,7 @@ Consider a function called ``IsSafe`` which returns ``true`` when the data is co
         }
     }
 
-We need to add a tuple to the ``barrierGuardModel``\(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -434,7 +434,7 @@ This example shows how we can model a field read as a source of tainted data.
        ...
    }
 
-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
diff --git a/docs/codeql/codeql-language-guides/customizing-library-models-for-java-and-kotlin.rst b/docs/codeql/codeql-language-guides/customizing-library-models-for-java-and-kotlin.rst
@@ -87,7 +87,7 @@ This is the ``execute`` method in the ``Statement`` class, which is located in t
        stmt.execute(query); // The argument to this method is a SQL injection sink.
    }
 
-We need to add a tuple to the ``sinkModel``\(package, type, subtypes, name, signature, ext, input, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sinkModel(package, type, subtypes, name, signature, ext, input, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -127,7 +127,7 @@ This is the ``getInputStream`` method in the ``Socket`` class, which is located
        ...
    }
 
-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -167,7 +167,7 @@ This pattern covers many of the cases where we need to summarize flow through a
        ...
    }
 
-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -212,7 +212,7 @@ Here we model flow through higher order methods and collection types.
      ...
    }
 
-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
 
 .. code-block:: yaml
 
@@ -271,7 +271,7 @@ This is the ``getName`` method in the ``File`` class, which is located in the ``
        ...
    }
 
-We need to add a tuple to the ``barrierModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -315,7 +315,7 @@ When the ``isAbsolute`` method returns ``false``, the URI is relative and theref
        }
    }
 
-We need to add a tuple to the ``barrierGuardModel``\(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 
@@ -356,7 +356,7 @@ A neutral model is used to define that there is no flow through a method.
        ...
    }
 
-We need to add a tuple to the ``neutralModel``\(package, type, name, signature, kind, provenance) extensible predicate by updating a data extension file.
+We need to add a tuple to the ``neutralModel(package, type, name, signature, kind, provenance)`` extensible predicate by updating a data extension file.
 
 .. code-block:: yaml
 

Original file line number	Diff line number	Diff line change
@@ -121,7 +121,7 @@ This is the ``GetStream`` method in the ``TcpClient`` class, which is located in
`121`	`121`	`...`
`122`	`122`	`}`
`123`	`123`
`124`		-We need to add a tuple to the ``sourceModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`124`	+We need to add a tuple to the ``sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`125`	`125`
`126`	`126`	`.. code-block:: yaml`
`127`	`127`
`@@ -161,7 +161,7 @@ This pattern covers many of the cases where we need to summarize flow through a`
`161`	`161`	`...`
`162`	`162`	`}`
`163`	`163`
`164`		-We need to add tuples to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`164`	+We need to add tuples to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`165`	`165`
`166`	`166`	`.. code-block:: yaml`
`167`	`167`
`@@ -218,7 +218,7 @@ This example shows how the C# query pack models flow through a method for a simp`
`218`	`218`	`...`
`219`	`219`	`}`
`220`	`220`
`221`		-We need to add a tuple to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`221`	+We need to add a tuple to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`222`	`222`
`223`	`223`	`.. code-block:: yaml`
`224`	`224`
`@@ -262,7 +262,7 @@ Here we model flow through higher order methods and collection types, as well as`
`262`	`262`	`...`
`263`	`263`	`}`
`264`	`264`
`265`		-We need to add tuples to the ``summaryModel``\(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`265`	+We need to add tuples to the ``summaryModel(namespace, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`266`	`266`
`267`	`267`	`.. code-block:: yaml`
`268`	`268`
@@ -323,7 +323,7 @@ The ``RawUrl`` property returns the raw URL of the current request, which is con
`323`	`323`	`Response.Redirect(url); // This is not a URL redirection vulnerability.`
`324`	`324`	`}`
`325`	`325`
`326`		-We need to add a tuple to the ``barrierModel``\(namespace, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`326`	+We need to add a tuple to the ``barrierModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`327`	`327`
`328`	`328`	`.. code-block:: yaml`
`329`	`329`
@@ -365,7 +365,7 @@ When the ``IsAbsoluteUri`` property returns ``false``, the URL is relative and t
`365`	`365`	`}`
`366`	`366`	`}`
`367`	`367`
`368`		-We need to add a tuple to the ``barrierGuardModel``\(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
	`368`	+We need to add a tuple to the ``barrierGuardModel(namespace, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
`369`	`369`
`370`	`370`	`.. code-block:: yaml`
`371`	`371`
`@@ -405,7 +405,7 @@ A neutral model is used to define that there is no flow through a method.`
`405`	`405`	`...`
`406`	`406`	`}`
`407`	`407`
`408`		-We need to add a tuple to the ``neutralModel``\(namespace, type, name, signature, kind, provenance) extensible predicate by updating a data extension file.
	`408`	+We need to add a tuple to the ``neutralModel(namespace, type, name, signature, kind, provenance)`` extensible predicate by updating a data extension file.
`409`	`409`
`410`	`410`	`.. code-block:: yaml`
`411`	`411`
Original file line number	Diff line number	Diff line change
@@ -122,7 +122,7 @@ This is the ``FormValue`` method of the ``Request`` type which is located in the
`122`	`122`	`}`
`123`	`123`
`124`	`124`
`125`		-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`125`	+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`126`	`126`
`127`	`127`	`.. code-block:: yaml`
`128`	`128`
`@@ -164,7 +164,7 @@ This pattern covers many of the cases where we need to summarize flow through a`
`164`	`164`	`...`
`165`	`165`	`}`
`166`	`166`
`167`		-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`167`	+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`168`	`168`
`169`	`169`	`.. code-block:: yaml`
`170`	`170`
`@@ -209,7 +209,7 @@ This pattern covers many of the cases where we need to summarize flow through a`
`209`	`209`	`...`
`210`	`210`	`}`
`211`	`211`
`212`		-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`212`	+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`213`	`213`
`214`	`214`	`.. code-block:: yaml`
`215`	`215`
`@@ -253,7 +253,7 @@ This pattern covers many of the cases where we need to summarize flow through a`
`253`	`253`	`...`
`254`	`254`	`}`
`255`	`255`
`256`		-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`256`	+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`257`	`257`
`258`	`258`	`.. code-block:: yaml`
`259`	`259`
`@@ -310,7 +310,7 @@ This example shows how the Go query pack models flow through a method for a simp`
`310`	`310`	`...`
`311`	`311`	`}`
`312`	`312`
`313`		-We need to add a tuple to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`313`	+We need to add a tuple to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`314`	`314`
`315`	`315`	`.. code-block:: yaml`
`316`	`316`
@@ -354,7 +354,7 @@ The ``Htmlquote`` function from the beego framework HTML-escapes a string, which
`354`	`354`	`...`
`355`	`355`	`}`
`356`	`356`
`357`		-We need to add a tuple to the ``barrierModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`357`	+We need to add a tuple to the ``barrierModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`358`	`358`
`359`	`359`	`.. code-block:: yaml`
`360`	`360`
@@ -395,7 +395,7 @@ Consider a function called ``IsSafe`` which returns ``true`` when the data is co
`395`	`395`	`}`
`396`	`396`	`}`
`397`	`397`
`398`		-We need to add a tuple to the ``barrierGuardModel``\(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
	`398`	+We need to add a tuple to the ``barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
`399`	`399`
`400`	`400`	`.. code-block:: yaml`
`401`	`401`
`@@ -434,7 +434,7 @@ This example shows how we can model a field read as a source of tainted data.`
`434`	`434`	`...`
`435`	`435`	`}`
`436`	`436`
`437`		-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`437`	+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`438`	`438`
`439`	`439`	`.. code-block:: yaml`
`440`	`440`
Original file line number	Diff line number	Diff line change
@@ -87,7 +87,7 @@ This is the ``execute`` method in the ``Statement`` class, which is located in t
`87`	`87`	`stmt.execute(query); // The argument to this method is a SQL injection sink.`
`88`	`88`	`}`
`89`	`89`
`90`		-We need to add a tuple to the ``sinkModel``\(package, type, subtypes, name, signature, ext, input, kind, provenance) extensible predicate by updating a data extension file.
	`90`	+We need to add a tuple to the ``sinkModel(package, type, subtypes, name, signature, ext, input, kind, provenance)`` extensible predicate by updating a data extension file.
`91`	`91`
`92`	`92`	`.. code-block:: yaml`
`93`	`93`
@@ -127,7 +127,7 @@ This is the ``getInputStream`` method in the ``Socket`` class, which is located
`127`	`127`	`...`
`128`	`128`	`}`
`129`	`129`
`130`		-We need to add a tuple to the ``sourceModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`130`	+We need to add a tuple to the ``sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`131`	`131`
`132`	`132`	`.. code-block:: yaml`
`133`	`133`
`@@ -167,7 +167,7 @@ This pattern covers many of the cases where we need to summarize flow through a`
`167`	`167`	`...`
`168`	`168`	`}`
`169`	`169`
`170`		-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`170`	+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`171`	`171`
`172`	`172`	`.. code-block:: yaml`
`173`	`173`
`@@ -212,7 +212,7 @@ Here we model flow through higher order methods and collection types.`
`212`	`212`	`...`
`213`	`213`	`}`
`214`	`214`
`215`		-We need to add tuples to the ``summaryModel``\(package, type, subtypes, name, signature, ext, input, output, kind, provenance) extensible predicate by updating a data extension file:
	`215`	+We need to add tuples to the ``summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)`` extensible predicate by updating a data extension file:
`216`	`216`
`217`	`217`	`.. code-block:: yaml`
`218`	`218`
@@ -271,7 +271,7 @@ This is the ``getName`` method in the ``File`` class, which is located in the ``
`271`	`271`	`...`
`272`	`272`	`}`
`273`	`273`
`274`		-We need to add a tuple to the ``barrierModel``\(package, type, subtypes, name, signature, ext, output, kind, provenance) extensible predicate by updating a data extension file.
	`274`	+We need to add a tuple to the ``barrierModel(package, type, subtypes, name, signature, ext, output, kind, provenance)`` extensible predicate by updating a data extension file.
`275`	`275`
`276`	`276`	`.. code-block:: yaml`
`277`	`277`
@@ -315,7 +315,7 @@ When the ``isAbsolute`` method returns ``false``, the URI is relative and theref
`315`	`315`	`}`
`316`	`316`	`}`
`317`	`317`
`318`		-We need to add a tuple to the ``barrierGuardModel``\(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance) extensible predicate by updating a data extension file.
	`318`	+We need to add a tuple to the ``barrierGuardModel(package, type, subtypes, name, signature, ext, input, acceptingvalue, kind, provenance)`` extensible predicate by updating a data extension file.
`319`	`319`
`320`	`320`	`.. code-block:: yaml`
`321`	`321`
`@@ -356,7 +356,7 @@ A neutral model is used to define that there is no flow through a method.`
`356`	`356`	`...`
`357`	`357`	`}`
`358`	`358`
`359`		-We need to add a tuple to the ``neutralModel``\(package, type, name, signature, kind, provenance) extensible predicate by updating a data extension file.
	`359`	+We need to add a tuple to the ``neutralModel(package, type, name, signature, kind, provenance)`` extensible predicate by updating a data extension file.
`360`	`360`
`361`	`361`	`.. code-block:: yaml`
`362`	`362`