@@ -16,7 +16,7 @@ predicate applyDeviationsAtQueryLevel() {
16
16
}
17
17
18
18
/** A `coding-standards.xml` configuration file (usually generated from an YAML configuration file). */
19
- class CodingStandardsFile extends XMLFile {
19
+ class CodingStandardsFile extends XmlFile {
20
20
CodingStandardsFile ( ) {
21
21
this .getBaseName ( ) = "coding-standards.xml" and
22
22
// Must be within the users source code.
@@ -25,7 +25,7 @@ class CodingStandardsFile extends XMLFile {
25
25
}
26
26
27
27
/** A "Coding Standards" configuration file */
28
- class CodingStandardsConfig extends XMLElement {
28
+ class CodingStandardsConfig extends XmlElement {
29
29
CodingStandardsConfig ( ) {
30
30
any ( CodingStandardsFile csf ) .getARootElement ( ) = this and
31
31
this .getName ( ) = "codingstandards"
@@ -36,31 +36,31 @@ class CodingStandardsConfig extends XMLElement {
36
36
}
37
37
38
38
/** An element which tells the analysis whether to report deviated results. */
39
- class CodingStandardsReportDeviatedAlerts extends XMLElement {
39
+ class CodingStandardsReportDeviatedAlerts extends XmlElement {
40
40
CodingStandardsReportDeviatedAlerts ( ) {
41
41
getParent ( ) instanceof CodingStandardsConfig and
42
42
hasName ( "report-deviated-alerts" )
43
43
}
44
44
}
45
45
46
46
/** A container of deviation records. */
47
- class DeviationRecords extends XMLElement {
47
+ class DeviationRecords extends XmlElement {
48
48
DeviationRecords ( ) {
49
49
getParent ( ) instanceof CodingStandardsConfig and
50
50
hasName ( "deviations" )
51
51
}
52
52
}
53
53
54
54
/** A container for the deviation permits records. */
55
- class DeviationPermits extends XMLElement {
55
+ class DeviationPermits extends XmlElement {
56
56
DeviationPermits ( ) {
57
57
getParent ( ) instanceof CodingStandardsConfig and
58
58
hasName ( "deviation-permits" )
59
59
}
60
60
}
61
61
62
62
/** A deviation permit record, that is specified by a permit identifier */
63
- class DeviationPermit extends XMLElement {
63
+ class DeviationPermit extends XmlElement {
64
64
DeviationPermit ( ) {
65
65
getParent ( ) instanceof DeviationPermits and
66
66
hasName ( "deviation-permits-entry" )
@@ -143,7 +143,7 @@ class DeviationPermit extends XMLElement {
143
143
}
144
144
145
145
/** A deviation record, that is a specified rule or query */
146
- class DeviationRecord extends XMLElement {
146
+ class DeviationRecord extends XmlElement {
147
147
DeviationRecord ( ) {
148
148
getParent ( ) instanceof DeviationRecords and
149
149
hasName ( "deviations-entry" )
@@ -159,13 +159,13 @@ class DeviationRecord extends XMLElement {
159
159
160
160
private string getRawPermitId ( ) { result = getAChild ( "permit-id" ) .getTextValue ( ) }
161
161
162
- private XMLElement getRawRaisedBy ( ) { result = getAChild ( "raised-by" ) }
162
+ private XmlElement getRawRaisedBy ( ) { result = getAChild ( "raised-by" ) }
163
163
164
164
private string getRawRaisedByName ( ) { result = getRawRaisedBy ( ) .getAChild ( "name" ) .getTextValue ( ) }
165
165
166
166
private string getRawRaisedByDate ( ) { result = getRawRaisedBy ( ) .getAChild ( "date" ) .getTextValue ( ) }
167
167
168
- private XMLElement getRawApprovedBy ( ) { result = getAChild ( "approved-by" ) }
168
+ private XmlElement getRawApprovedBy ( ) { result = getAChild ( "approved-by" ) }
169
169
170
170
private string getRawApprovedByName ( ) {
171
171
result = getRawApprovedBy ( ) .getAChild ( "name" ) .getTextValue ( )
0 commit comments