mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
60226801aa
A more in-depth attempt at changing terminology for GHU. I've only updated the non-language specific topics so far.
19 lines
604 B
ReStructuredText
19 lines
604 B
ReStructuredText
Advanced QL
|
|
===========
|
|
|
|
.. toctree::
|
|
:glob:
|
|
:hidden:
|
|
|
|
./*
|
|
|
|
|
|
Topics on advanced uses of QL. These topics assume that you are familiar with QL and the basics of query writing.
|
|
|
|
- :doc:`Semantics of abstract classes <abstract-classes>`
|
|
- :doc:`Choosing appropriate ways to constrain types <constraining-types>`
|
|
- :doc:`Determining the most specific types of a variable <determining-specific-types-variables>`
|
|
- :doc:`Folding predicates <folding-predicates>`
|
|
- :doc:`Understanding the difference between != and not(=) <equivalence>`
|
|
- :doc:`Monotonic aggregates in QL <monotonic-aggregates>`
|