Skip to content

Commit d7f0870

Browse files
committed
QL: QL: Add some more model classes that represent builtin QL classes.
1 parent d1721d0 commit d7f0870

1 file changed

Lines changed: 15 additions & 0 deletions

File tree

ql/src/codeql_ql/ast/internal/Builtins.qll

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,3 +65,18 @@ string getArgType(string args, int i) { result = args.splitAt(",", i).trim() }
6565
class StringClass extends PrimitiveType {
6666
StringClass() { this.getName() = "string" }
6767
}
68+
69+
/** The primitive 'int' class. */
70+
class IntClass extends PrimitiveType {
71+
IntClass() { this.getName() = "int" }
72+
}
73+
74+
/** The primitive 'float' class. */
75+
class FloatClass extends PrimitiveType {
76+
FloatClass() { this.getName() = "float" }
77+
}
78+
79+
/** The primitive 'boolean' class. */
80+
class BooleanClass extends PrimitiveType {
81+
BooleanClass() { this.getName() = "boolean" }
82+
}

0 commit comments

Comments
 (0)