Module java

Holds if e is an expression used as an argument to a call that executes an external command. For calls to varargs method calls, this only includes the first argument, which will be the command to be executed.

Holds if type t declares member m.

Holds if type t depends on type dep.

The dominance frontier relation for basic blocks.

Holds if dom dominates node. (This is reflexive.)

Holds if there is a common (reflexive, transitive) subtype of the erased types t1 and t2.

Holds if reference type anc is a direct or indirect supertype of sub, including itself.

Holds if element e has name name.

Holds if reference type t is an immediate super-type of sub.

Holds if there is a common (reflexive, transitive) subtype of the erasures of types t1 and t2.

Immediate dominance relation on control-flow graph nodes.

Gets “java” or “jakarta”.

Holds if there is no common (reflexive, transitive) subtype of the erasures of types t1 and t2.

Auxiliary predicate: whether method m1 overrides method m2, ignoring any access modifiers. Additionally, this predicate binds t1 to the type declaring m1 and t2 to the type declaring m2.

Holds if dom post-dominates node. (This is reflexive.)

Holds if dom strictly dominates node.

Holds if dom strictly post-dominates node.

Bind the reference type dep to the source declaration of any types used to construct t, including (possibly nested) type parameters of parameterized types, element types of array types, and bounds of type variables or wildcards.

A binary expression using the + operator.

An @org.junit.After annotation.

An @org.junit.AfterClass annotation.

A binary expression using the & operator.

A binary expression using the && operator.

An abstract representation of language elements that can be annotated.

A Java class annotated with a @Generated annotation.

Any annotation used to annotate language elements with meta-information.

An annotation element is a member declared in an annotation type.

An annotation type is a special kind of interface type declaration.

An anonymous class.

An XML element that represents an Ant target.

A Java class generated by an ANTLR scanner or parser class.

An argument to a call.

An expression used as an argument to a call that executes an external command. For calls to varargs method calls, this only includes the first argument, which will be the command to be executed.

An array type.

An array access.

An array creation expression.

An array initializer consisting of an opening and closing curly bracket and optionally containing expressions (which themselves can be array initializers) representing the elements of the array. For example: { 'a', 'b' }.

The length field of the array type.

An array type access is a type access of the form String[].

An assert statement.

A compound assignment expression using the += operator.

A compound assignment expression using the &= operator.

A compound assignment expression using the /= operator.

A simple assignment expression using the = operator.

A compound assignment expression using the <<= operator.

A compound assignment expression using the *= operator.

A common super-class to represent compound assignments, which include an implicit operator.

A compound assignment expression using the |= operator.

A compound assignment expression using the %= operator.

A compound assignment expression using the >>= operator.

A compound assignment expression using the -= operator.

A compound assignment expression using the >>>= operator.

A compound assignment expression using the ^= operator.

A common super-class that represents many varieties of assignments.

A Javadoc @author tag.

An @org.junit.Before annotation.

An @org.junit.BeforeClass annotation.

A common super-class to represent binary operator expressions.

A bit negation expression. For example, ~x.

A bitwise expression.

A block of statements.

A boolean literal. Either true or false.

A boolean type, which may be either a primitive or a boxed type.

A common super-class for Java types that may have a type bound. This includes type parameters and wildcards.

A boxed type.

A break statement.

Any call to a callable.

A callable is a method or constructor.

A cast expression.

Any kind of expression that casts values from one type to another.

A catch clause in a try statement.

A character literal. For example, '\n'.

A character type, which may be either a primitive or a boxed type.

A conditional expression or a switch expression.

A class declaration.

A Kotlin ::class expression.

A class instance creation expression.

The method Class.getName().

A Kotlin object.

A class or interface.

The method Class.getSimpleName().

A method with the same signature as java.lang.Object.clone.

A Kotlin companion object.

A comparison expression.

An invocation of the compiler. Note that more than one file may be compiled per invocation. For example, this command compiles three source files:

A compilation unit is a .java or .class file.

A compile-time constant expression.

A control-flow node that branches based on a boolean condition.

A conditional expression of the form a ? b : c, where a is the condition, b is the expression that is evaluated if the condition evaluates to true, and c is the expression that is evaluated if the condition evaluates to false.

A conditional statement, including if, for, while and dowhile statements.

A constant case of a switch statement.

A constructor is a particular kind of callable.

A constructor call, which occurs either as a constructor invocation inside a constructor, or as part of a class instance expression.

A file or folder.

A continue statement.

A Kotlin data class declaration.

An Annotation that applies to a declaration.

A default or case null, default case of a switch statement or expression.

A Kotlin delegated property.

A @Deprecated annotation.

A directive in a module declaration.

A binary expression using the / operator.

A do loop.

A documentable element that can have an attached Javadoc comment.

A double literal. For example, 4.2.

A binary expression using Java’s == or Kotlin’s === operator.

A program element that has a name.

The empty statement.

An enhanced for loop. (Introduced in Java 5.)

An enterprise bean.

An entity bean.

An enum constant is a member of a enum type.

An enumerated type.

An equality test is a binary expression using Java’s == or != operators, or Kotlin’s ==, !=, === or !== operators.

A method with the same signature as java.lang.Object.equals.

An error expression.

An error statement.

An ErrorType is generated when CodeQL is unable to correctly extract a type.

An Exception represents an element listed in the throws clause of a method or constructor.

A basic block that ends in an exit node.

An exports directive in a module declaration.

A common super-class that represents all kinds of expressions.

An expression parent is an element that may have an expression as its child.

An expression statement.

A Kotlin extension function.

An access to an extension receiver parameter. This is a parameter access that takes the form of this in Kotlin.

A class or instance field.

An expression that accesses a field.

A field declaration that declares one or more class or instance fields.

An expression that reads a field.

An expression that assigns a value to a field.

A file.

A finalizer method, with name finalize, return type void and no parameters.

A float literal. For example, 4.2f.

A floating point type, which may be either a primitive or a boxed type.

A folder.

A for loop.

A functional expression is either a lambda expression or a member reference expression.

A functional interface is an interface that has just one abstract method (aside from the methods of Object), and thus represents a single function contract.

A binary expression using the >= operator.

A binary expression using the > operator.

A generated callable is a callable declared in a generated class.

A Java class that is detected as having been generated.

A file that is detected as having been generated.

A call where the callee is a generic callable.

A generic callable is a callable with a type parameter.

A generic type that is a class.

A generic constructor is a constructor with a type parameter.

A generic type that is an interface.

A generic method is a method with a type parameter.

A generic method that is the same as its source declaration.

A generic type is a type that has a type parameter.

A getter method is a method with the following properties:

A comparison expression using the operator > or >=.

A method with the same signature as java.lang.Object.hashCode.

An if statement.

An @org.junit.Ignore annotation.

An immutable type.

An implicit cast expression.

An implicit coercion-to-unit expression.

An implicit cast-to-non-null expression.

A common super-class for all kinds of Java import declarations.

A type-import-on-demand declaration that allows all accessible types of a named package to be imported as needed.

A type-import-on-demand declaration that allows all accessible nested types of a named type to be imported as needed.

A static-import-on-demand declaration, which allows all accessible static members of a named type to be imported as needed.

A single-static-import declaration, which imports all accessible static members with a given simple name from a type.

A single-type-import declaration.

A compiler-generated initializer method (could be static or non-static), which is used to hold (static or non-static) field initializers, as well as explicit initializer blocks.

An inner class is a nested class that is neither explicitly nor implicitly declared static. This includes anonymous and local classes.

A use of one of the keywords this or super, which may be qualified.

An instance field.

An instance initializer is a method that contains field initializations and explicit instance initializer blocks.

An instanceof expression.

An integer literal. For example, 23.

An integral type, which may be either a primitive or a boxed type. This includes the types char and Character.

An interface.

An intersection type.

An intersection type access expression is a type access of the form T0 & T1 & ... & Tn, where T0 is a class or interface type and T1, ..., Tn are interface types.

A JUnit 3.8 test class.

A test method declared within a JUnit 3.8 test class.

A JUnit 3.8 test suite method.

A JUnit test method that is annotated with the org.junit.Test annotation.

A JUnit inner test class that is non-anonymous, non-local, and non-private.

A JUnit 5 test class.

A JUnit 5 test method.

A @Category annotation on a class or method, that categorizes the annotated test.

A JUnit @Ignore annotation.

A method which, directly or indirectly, is treated as ignored by JUnit due to a @Ignore annotation.

A JUnit test method that is annotated with the org.junit.jupiter.api.Test annotation.

A test class that will be run with theories.

A Java archive file with a “.jar” extension.

A Javadoc comment.

A common super-class for Javadoc elements, which may be either tags or text.

A Javadoc parent is an element whose child can be some Javadoc documentation.

A Javadoc block tag. This does not include inline tags.

A piece of Javadoc text.

A call that registers an object with the MBeanServer, directly or indirectly.

A method used to register MBean and MXBean instances with the MBeanServer.

A break, yield or continue statement.

A Kotlin comment.

A Kotlin comment.

A Kotlin class member initializer assignment.

A binary expression using the <= operator.

A binary expression using the < operator.

A labeled statement.

Lambda expressions are represented by their implicit class instance creation expressions, which instantiate an anonymous class that overrides the unique method designated by their functional interface type. The parameters of the lambda expression correspond to the parameters of the overriding method, and the lambda body corresponds to the body of the overriding method (enclosed by a return statement and a block in the case of lambda expressions whose body is an expression).

A binary expression using the << operator.

A comparison expression using the operator < or <=.

A Method that is public, has no parameters, has a “void” return type, AND either has a name that starts with “test” OR has an annotation that ends with “Test”

A class that is likely a test class. That is either a definite test class, or a class whose name, package, or location suggests that it might be a test class.

A method that is likely a test method.

A common super-class to represent constant literals.

A local class.

A local class or interface.

A local EJB home interface.

A local EJB interface.

A locally scoped variable, that is, either a local variable or a parameter.

A statement that declares a local class or interface.

A local variable declaration

A local variable declaration expression.

A statement that declares one or more local variables.

A location maps language elements to positions in source files.

A logical negation expression. For example, !b.

A logical expression.

A long literal. For example, 23L.

An MBean.

An MXBean.

An Ant target that occurs in an Ant build file with the default name build.xml.

The public static main method, with a single formal parameter of type String[] and return type void.

A managed bean.

A file detected as generated based on commonly-used marker comments.

A common abstraction for type member declarations, including methods, constructors, fields, and nested types.

Member references are represented by their implicit class instance expressions, which instantiate an anonymous class that overrides the unique method designated by their functional interface type. The correspondence of the parameters of the overriding method in the anonymous class with the parameters of the callable that is referenced differs depending on the particular kind of member reference expression.

A nested type which is a direct member of the enclosing type, that is, neither an anonymous nor local class.

A message bean.

A method is a particular kind of callable.

The method Math.abs.

A method call is an invocation of a method with a list of arguments.

A call to a method named getProperty on class java.lang.System.

Any method named exit on class java.lang.Runtime or java.lang.System.

The method Math.min.

The method Math.min.

Any method named getProperty on class java.lang.System.

Any method named getenv on class java.lang.System.

This class provides access to metrics information for callables.

This class provides access to metrics information for elements in Java programs.

This class provides access to metrics information for fields.

This class provides access to metrics information for packages.

This class provides access to metrics information for reference types.

This class provides access to metrics information for statements.

A unary minus expression. For example, -i.

An element of the Java syntax tree that may have a modifier.

A modifier such as private, static or abstract.

A module.

A module import declaration, which imports an entire module.

A binary expression using the * operator.

A binary expression using Java’s != or Kotlin’s !== operator.

A class declared within another type.

A nested type is a type declared within another type.

An explicit new TypeName(...) expression.

An annotation that does not indicate that a field may be accessed reflectively.

An instanceof expression.

A Kotlin not-null expression. For example, expr!!.

A case null, default statement of a switch statement or expression.

The null literal, written null.

The type of the null literal.

A (reflexive, transitive) subtype of java.lang.Number.

A numeric or character type, which may be either a primitive or a boxed type.

A numeric type, including both primitive and boxed types.

An opens directive in a module declaration.

A binary expression using the | operator.

A binary expression using the || operator.

An @Override annotation.

A package may be used to abstract over all of its members, regardless of which compilation unit they are defined in.

A package access.

A Javadoc @param tag.

A formal parameter of a callable.

A parameterized type that is a class.

A parameterized type that is an interface.

A class that will be run using the org.junit.runners.Parameterized JUnit runner.

A parameterized type is an instantiation of a generic type, where each formal type variable has been replaced with a type argument.

A pattern case of a switch statement

A binding, unnamed or record pattern.

A unary plus expression. For example, +i.

A post-decrement expression. For example, i--.

A post-increment expression. For example, i++.

A pre-decrement expression. For example, --i.

A pre-increment expression. For example, ++i.

A premain method is an agent entry-point.

A primitive type.

A Kotlin property.

Property references are represented by their implicit class instance expressions, which instantiate an anonymous class that overrides the get and set methods designated by their functional interface type.

A provides directive in a module declaration.

A raw type that is a class.

A raw type that is an interface.

The raw version of a generic type is the type that is formed by using the name of a generic type without specifying its type arguments.

A method that reads an object on type java.io.ObjectInputStream, including readObject, readObjectOverride, readUnshared and resolveObject.

A record declaration.

A local variable declaration that occurs within a record pattern.

A record pattern expr, as in if (x instanceof SomeRecord(int field)).

A common super-class for various kinds of reference types, including classes, interfaces, type parameters and arrays.

An equality test is a binary expression using Java’s == or != operators or Kotlin’s === or !== operators.

An annotation suggesting that the annotated element may be accessed reflectively.

An expression that represents a regular expression match.

An managed bean implementation which is seen to be registered with the MBeanServer, directly or indirectly.

A binary expression using the % operator.

A remote EJB home interface.

A remote EJB interface.

A @Repeatable annotation.

A requires directive in a module declaration.

A @Retention annotation.

A return statement.

A binary expression using the >> operator.

An @org.junit.runner.RunWith annotation, which indicates that tests within a class should be run with a special Runner.

A safe cast expression.

A Javadoc @see tag.

A session bean.

A setter method is a method with the following properties:

A block with only a single statement.

A callable that is the same as its source declaration.

A method that is the same as its source declaration.

A type that is the same as its source declaration.

A static initializer is a method that contains all static field initializations and static initializer blocks.

A static method call.

A common super-class of all statements.

A statement expression.

A statement parent is any element that can have a statement as its child.

An ArgumentToExec of type String.

Class java.lang.StringBuffer or java.lang.StringBuilder.

The contains() method of the class java.lang.String.

The length() method of the class java.lang.String.

A string literal or text block (Java 15 feature). For example, "hello world" or java """ Text with "quotes" """

A call to the java.lang.String.matches method.

The methods on the class java.lang.String that are used to perform partial matches with a specified substring or char.

A call to the java.lang.String.replaceAll method.

A call to the java.lang.String.replace method.

A Kotlin string template expression. For example, "foo${bar}baz".

A binary expression using the - operator.

A use of the keyword super, which may be qualified.

An explicit super(...) constructor invocation.

A call to a method in the superclass.

A @SuppressWarnings annotation.

A switch statement or expression.

A case of a switch statement or expression.

A switch expression.

A switch statement.

A synchronized statement.

The field System.err.

The field System.in.

The field System.out.

A @Target annotation.

A JUnit 3.8 tearDown method.

An @org.junit.Test annotation.

A class detected to be a test class, either because it or one of its super-types and/or enclosing types contains a test method or method with a unit-test-related annotation.

Any method detected to be a test method of a common testing framework, including JUnit and TestNG.

A TestNG annotation used to mark a method that runs “after”.

An annotation in TestNG.

A TestNG annotation used to mark a method that runs “before”.

An annotation of type org.testng.annotations.DataProvider which is applied to methods to mark them as data provider methods for TestNG.

A method annotated with org.testng.annotations.DataProvider marking it as a data provider method for TestNG.

An annotation of type org.testng.annotations.Factory which is applied to methods to mark them as factory methods for TestNG.

A constructor or method annotated with org.testng.annotations.Factory marking it as a factory for TestNG.

A concrete implementation class of one or more of the TestNG listener interfaces.

An annotation of type org.testng.annotations.Listeners which is applied to classes to define which listeners apply to them.

An annotation of type org.test.ng.annotations.Test.

A TestNG test method, annotated with the org.testng.annotations.Test annotation.

A use of the keyword this, which may be qualified.

An explicit this(...) constructor invocation.

A throw statement.

A (reflexive, transitive) subtype of java.lang.Throwable.

A Javadoc @throws or @exception tag.

A method with the same signature as java.lang.Object.toString.

Top is the root of the QL type hierarchy; it defines some default methods for obtaining locations and a standard toString() method.

A top-level class.

A top-level type.

A try statement.

A common abstraction for all Java types, including primitive, class, interface and array types.

A type access is a (possibly qualified) reference to a type.

An Annotation that applies to a type.

A type bound on a type variable.

The class java.lang.Class.

The class java.lang.ClassCastException.

The interface java.lang.Cloneable.

The class java.lang.Constructor.

The class java.lang.Error.

The class java.lang.Exception.

The class java.io.File.

The class java.nio.file.FileSystem.

The class java.io.InputStream.

The Java interface junit.framework.Test.

The Java class junit.framework.TestCase.

The Java class junit.framework.TestSuite.

The class javax.management.remote.JMXConnectorFactory.

The class javax.management.remote.JMXServiceURL.

A type literal. For example, String.class.

The class java.lang.Math.

The class java.lang.NullPointerException.

The class java.lang.Number.

The class java.lang.Object.

The type java.io.ObjectInput.

The type java.io.ObjectInputStream.

The interface java.io.ObjectOutput.

The type java.io.ObjectOutputStream.

The type java.nio.file.Path.

The class java.nio.file.Paths.

The class java.lang.ProcessBuilder.

The class javax.management.remote.rmi.RMIConnector.

The class java.lang.Runtime.

The class java.lang.RuntimeException.

The interface java.io.Serializable.

The class java.lang.String.

The class java.lang.StringBuffer.

The class java.lang.StringBuilder.

The class java.lang.System.

The class java.lang.Throwable.

A type parameter used in the declaration of a generic type or method.

A unary assignment expression is a unary expression using the prefix or postfix ++ or -- operator.

A common super-class that represents unary operator expressions.

An unchecked exception. That is, a (reflexive, transitive) subtype of java.lang.Error or java.lang.RuntimeException.

A union type access is a type access of the form T1 | T2.

The trivial type with a single element.

An unsafe coerce expression.

A binary expression using the >>> operator.

A uses directive in a module declaration.

An expression for which the value of the expression as a whole is discarded. Only cases of discarded values at the language level (as described by the JLS) are considered; data flow, for example to determine if an assigned variable value is ever read, is not considered. Such expressions can for example appear as part of an ExprStmt or as initializer of a for loop.

A binary expression using the Kotlin == operator, semantically equivalent to Objects.equals.

A binary expression using the Kotlin != operator, semantically equivalent to Objects.equals.

A binary expression using either Java or Kotlin’s == operator.

A binary expression using either Java or Kotlin’s != operator.

A variable access is a (possibly qualified) reference to a field, parameter or local variable.

A read access to a variable.

A write access to a variable, which occurs as the destination of an assignment.

A variable is a field, a local variable or a parameter.

An assignment to a variable or an initialization of the variable.

An update of a variable or an initialization of the variable.

A write to a variable. This is either a local variable declaration, including parameter declarations, or an update to a variable.

A polymorphic call to an instance method.

The void type.

A Kotlin when branch.

A Kotlin when expression.

A while loop.

A wildcard used as a type argument.

A wildcard type access, which may have either a lower or an upper bound.

A method named writeObject on type java.io.ObjectOutput or java.io.ObjectOutputStream.

A binary expression using the ^ operator.

A yield statement.

Provides classes for modeling regular-expression execution APIs.

A loop statement, including for, enhanced for, while and do statements.