mirror of
https://github.com/github/codeql.git
synced 2026-07-29 23:00:09 +02:00
18 lines
406 B
Plaintext
18 lines
406 B
Plaintext
/**
|
|
* New-CFG version of AnnotationHasCfgNode.
|
|
*
|
|
* Checks that every timer annotation has a corresponding CFG node.
|
|
*/
|
|
|
|
import python
|
|
import NewCfgImpl
|
|
|
|
private module Utils = EvalOrderCfgUtils<NewCfg>;
|
|
|
|
private import Utils::CfgTests
|
|
|
|
from TimerAnnotation ann
|
|
where annotationWithoutCfgNode(ann)
|
|
select ann, "Annotation in $@ has no CFG node", ann.getTestFunction(),
|
|
ann.getTestFunction().getName()
|