QL: Make Class.getType() only return ClassType

asgerf · asgerf · commit 0aceedac78ad · 2023-03-27T13:39:01.000+02:00
Previously this would return both the ClassCharType and ClassType
diff --git a/ql/ql/src/codeql_ql/ast/Ast.qll b/ql/ql/src/codeql_ql/ast/Ast.qll
@@ -972,7 +972,7 @@ class Class extends TClass, TypeDeclaration, ModuleDeclaration {
   }
 
   /** Gets the class type defined by this class declaration. */
-  Type getType() { result.getDeclaration() = this }
+  ClassType getType() { result.getDeclaration() = this }
 
   override AstNode getAChild(string pred) {
     result = super.getAChild(pred)

Original file line number	Diff line number	Diff line change
`@@ -972,7 +972,7 @@ class Class extends TClass, TypeDeclaration, ModuleDeclaration {`
`972`	`972`	`}`
`973`	`973`
`974`	`974`	`/** Gets the class type defined by this class declaration. */`
`975`		`- Type getType() { result.getDeclaration() = this }`
	`975`	`+ ClassType getType() { result.getDeclaration() = this }`
`976`	`976`
`977`	`977`	`override AstNode getAChild(string pred) {`
`978`	`978`	`result = super.getAChild(pred)`