@@ -611,16 +611,12 @@ module CodeExecution {
611
611
* Extend this class to refine existing API models. If you want to model new APIs,
612
612
* extend `XmlParserCall::Range` instead.
613
613
*/
614
- class XmlParserCall extends DataFlow:: Node {
615
- XmlParserCall:: Range range ;
616
-
617
- XmlParserCall ( ) { this = range }
618
-
614
+ class XmlParserCall extends DataFlow:: Node instanceof XmlParserCall:: Range {
619
615
/** Gets the argument that specifies the XML content to be parsed. */
620
- DataFlow:: Node getInput ( ) { result = range .getInput ( ) }
616
+ DataFlow:: Node getInput ( ) { result = super .getInput ( ) }
621
617
622
618
/** Holds if this XML parser call is configured to process external entities */
623
- predicate externalEntitiesEnabled ( ) { range .externalEntitiesEnabled ( ) }
619
+ predicate externalEntitiesEnabled ( ) { super .externalEntitiesEnabled ( ) }
624
620
}
625
621
626
622
/** Provides a class for modeling new XML parsing APIs. */
@@ -790,13 +786,9 @@ module CookieSecurityConfigurationSetting {
790
786
* Extend this class to refine existing API models. If you want to model new APIs,
791
787
* extend `Logging::Range` instead.
792
788
*/
793
- class Logging extends DataFlow:: Node {
794
- Logging:: Range range ;
795
-
796
- Logging ( ) { this = range }
797
-
789
+ class Logging extends DataFlow:: Node instanceof Logging:: Range {
798
790
/** Gets an input that is logged. */
799
- DataFlow:: Node getAnInput ( ) { result = range .getAnInput ( ) }
791
+ DataFlow:: Node getAnInput ( ) { result = super .getAnInput ( ) }
800
792
}
801
793
802
794
/** Provides a class for modeling new logging mechanisms. */
0 commit comments