Apply suggestions from code review

Co-authored-by: Asger F <asgerf@github.com>
This commit is contained in:
yoff 2023-06-07 13:54:31 +02:00 коммит произвёл GitHub
Родитель 820b5f235e
Коммит 7ab3cde3aa
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -1,10 +1,10 @@
/**
* Provides the implementation of a summary type tracker, that is type tracking through flow summaries.
* Provides the implementation of type tracking steps through flow summaries.
* To use this, you must implement the `Input` signature. You can then use the predicates in the `Output`
* signature to implement the predicates of the same names inside `TypeTrackerSpecific.qll`.
*/
/** The classes and predicates needed to generate a summary type tracker. */
/** The classes and predicates needed to generate type-tracking steps from summaries. */
signature module Input {
// Dataflow nodes
class Node;