CodeQL library for Java/Kotlin
codeql/java-all 4.2.1 (changelog, source)
Search

Module java

Provides all default Java QL imports.

Import path

import java

Predicates

argumentToExec

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.

bbDominates

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

bbIDominates

The immediate dominance relation for basic blocks.

bbIPostDominates

The immediate post-dominance relation on basic blocks.

bbPostDominates

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

bbStrictlyDominates

Holds if dom strictly dominates node.

bbStrictlyPostDominates

Holds if dom strictly post-dominates node.

declaresMember

Holds if type t declares member m.

depends

Holds if type t depends on type dep.

dominanceFrontier

The dominance frontier relation for basic blocks.

dominates

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

dominatingEdge

Holds if (bb1, bb2) is an edge that dominates bb2, that is, all other predecessors of bb2 are dominated by bb2. This implies that bb1 is the immediate dominator of bb2.

erasedHaveIntersection

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

hasDescendant

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

hasDominanceInformation

Holds if the dominance relation is calculated for bb.

hasName

Holds if element e has name name.

hasSubtype

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

haveIntersection

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

iDominates

Immediate dominance relation on control-flow graph nodes.

notHaveIntersection

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

overridesIgnoringAccess

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.

postDominates

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

strictlyDominates

Holds if dom strictly dominates node.

strictlyPostDominates

Holds if dom strictly post-dominates node.

usesType

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.

Classes

AddExpr

A binary expression using the + operator.

AfterAnnotation

An @org.junit.After annotation.

AfterClassAnnotation

An @org.junit.AfterClass annotation.

AndBitwiseExpr

A binary expression using the & operator.

AndLogicalExpr

A binary expression using the && operator.

Annotatable

An abstract representation of language elements that can be annotated.

AnnotatedGeneratedClass

A Java class annotated with a @Generated annotation.

Annotation

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

AnnotationElement

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

AnnotationType

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

AnonymousClass

An anonymous class.

AntTarget

An XML element that represents an Ant target.

AntlrGenerated

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

Argument

An argument to a call.

ArgumentToExec

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.

Array

An array type.

ArrayAccess

An array access.

ArrayCreationExpr

An array creation expression.

ArrayInit

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' }.

ArrayLengthField

The length field of the array type.

ArrayTypeAccess

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

AssertStmt

An assert statement.

AssignAddExpr

A compound assignment expression using the += operator.

AssignAndExpr

A compound assignment expression using the &= operator.

AssignDivExpr

A compound assignment expression using the /= operator.

AssignExpr

A simple assignment expression using the = operator.

AssignLeftShiftExpr

A compound assignment expression using the <<= operator.

AssignMulExpr

A compound assignment expression using the *= operator.

AssignOp

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

AssignOrExpr

A compound assignment expression using the |= operator.

AssignRemExpr

A compound assignment expression using the %= operator.

AssignRightShiftExpr

A compound assignment expression using the >>= operator.

AssignSubExpr

A compound assignment expression using the -= operator.

AssignUnsignedRightShiftExpr

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

AssignXorExpr

A compound assignment expression using the ^= operator.

Assignment

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

AuthorTag

A Javadoc @author tag.

BasicBlock

A control-flow node that represents the start of a basic block.

BeforeAnnotation

An @org.junit.Before annotation.

BeforeClassAnnotation

An @org.junit.BeforeClass annotation.

BinaryExpr

A common super-class to represent binary operator expressions.

BitNotExpr

A bit negation expression. For example, ~x.

BitwiseExpr

A bitwise expression.

BlockStmt

A block of statements.

BooleanLiteral

A boolean literal. Either true or false.

BooleanType

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

BoundedType

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

BoxedType

A boxed type.

BreakStmt

A break statement.

Call

Any call to a callable.

Callable

A callable is a method or constructor.

CastExpr

A cast expression.

CastingExpr

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

CatchClause

A catch clause in a try statement.

CharacterLiteral

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

CharacterType

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

ChooseExpr

A conditional expression or a switch expression.

Class

A class declaration.

ClassExpr

A Kotlin ::class expression.

ClassInstanceExpr

A class instance creation expression.

ClassNameMethod

The method Class.getName().

ClassObject

A Kotlin object.

ClassOrInterface

A class or interface.

ClassSimpleNameMethod

The method Class.getSimpleName().

CloneMethod

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

CompanionObject

A Kotlin companion object.

ComparisonExpr

A comparison expression.

Compilation

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

CompilationUnit

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

CompileTimeConstantExpr

A compile-time constant expression.

ConditionNode

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

ConditionalExpr

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.

ConditionalStmt

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

ConstCase

A constant case of a switch statement.

Constructor

A constructor is a particular kind of callable.

ConstructorCall

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

Container

A file or folder.

ContinueStmt

A continue statement.

ControlFlowNode

A node in the expression-level control-flow graph.

DataClass

A Kotlin data class declaration.

DeclAnnotation

An Annotation that applies to a declaration.

DefaultCase

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

DelegatedProperty

A Kotlin delegated property.

DeprecatedAnnotation

A @Deprecated annotation.

Directive

A directive in a module declaration.

DivExpr

A binary expression using the / operator.

DoStmt

A do loop.

Documentable

A documentable element that can have an attached Javadoc comment.

DoubleLiteral

A double literal. For example, 4.2.

EQExpr

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

Element

A program element that has a name.

EmptyStmt

The empty statement.

EnhancedForStmt

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

EnterpriseBean

An enterprise bean.

EntityBean

An entity bean.

EnumConstant

An enum constant is a member of a enum type.

EnumType

An enumerated type.

EqualityTest

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

EqualsMethod

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

ErrorExpr

An error expression.

ErrorStmt

An error statement.

ErrorType

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

Exception

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

ExportsDirective

An exports directive in a module declaration.

Expr

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

ExprParent

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

ExprStmt

An expression statement.

ExtensionMethod

A Kotlin extension function.

ExtensionReceiverAccess

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

Field

A class or instance field.

FieldAccess

An expression that accesses a field.

FieldDeclaration

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

FieldRead

An expression that reads a field.

FieldWrite

An expression that assigns a value to a field.

File

A file.

FinalizeMethod

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

FloatLiteral

A float literal. For example, 4.2f.

FloatingPointType

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

Folder

A folder.

ForStmt

A for loop.

FunctionalExpr

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

FunctionalInterface

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.

GEExpr

A binary expression using the >= operator.

GTExpr

A binary expression using the > operator.

GeneratedCallable

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

GeneratedClass

A Java class that is detected as having been generated.

GeneratedFile

A file that is detected as having been generated.

GenericCall

A call where the callee is a generic callable.

GenericCallable

A generic callable is a callable with a type parameter.

GenericClass

A generic type that is a class.

GenericConstructor

A generic constructor is a constructor with a type parameter.

GenericInterface

A generic type that is an interface.

GenericMethod

A generic method is a method with a type parameter.

GenericSrcMethod

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

GenericType

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

GetterMethod

A getter method is a method with the following properties:

GreaterThanComparison

A comparison expression using the operator > or >=.

HashCodeMethod

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

IfStmt

An if statement.

IgnoreAnnotation

An @org.junit.Ignore annotation.

ImmutableType

An immutable type.

ImplicitCastExpr

An implicit cast expression.

ImplicitCoercionToUnitExpr

An implicit coercion-to-unit expression.

ImplicitNotNullExpr

An implicit cast-to-non-null expression.

Import

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

ImportOnDemandFromPackage

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

ImportOnDemandFromType

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

ImportStaticOnDemand

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

ImportStaticTypeMember

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

ImportType

A single-type-import declaration.

InitializerMethod

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.

InnerClass

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

InstanceAccess

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

InstanceField

An instance field.

InstanceInitializer

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

InstanceOfExpr

An instanceof expression.

IntegerLiteral

An integer literal. For example, 23.

IntegralType

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

Interface

An interface.

IntersectionType

An intersection type.

IntersectionTypeAccess

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.

JUnit38TestClass

A JUnit 3.8 test class.

JUnit3TestMethod

A test method declared within a JUnit 3.8 test class.

JUnit3TestSuite

A JUnit 3.8 test suite method.

JUnit4TestMethod

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

JUnitCategoryAnnotation

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

JUnitIgnoreAnnotation

A JUnit @Ignore annotation.

JUnitIgnoredMethod

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

JUnitJupiterTestMethod

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

JUnitTheoryTest

A test class that will be run with theories.

JarFile

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

Javadoc

A Javadoc comment.

JavadocElement

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

JavadocParent

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

JavadocTag

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

JavadocText

A piece of Javadoc text.

JmxRegistrationCall

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

JmxRegistrationMethod

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

JumpStmt

A break, yield or continue statement.

KotlinNotnullType
KotlinNullableType
KotlinType
KotlinTypeAlias
KtComment

A Kotlin comment.

KtCommentSection

A Kotlin comment.

KtInitializerAssignExpr

A Kotlin class member initializer assignment.

LEExpr

A binary expression using the <= operator.

LTExpr

A binary expression using the < operator.

LabeledStmt

A labeled statement.

LambdaExpr

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).

LeftShiftExpr

A binary expression using the << operator.

LessThanComparison

A comparison expression using the operator < or <=.

Literal

A common super-class to represent constant literals.

LocalClass

A local class.

LocalClassOrInterface

A local class or interface.

LocalEjbHomeInterface

A local EJB home interface.

LocalEjbInterface

A local EJB interface.

LocalScopeVariable

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

LocalTypeDeclStmt

A statement that declares a local class or interface.

LocalVariableDecl

A local variable declaration

LocalVariableDeclExpr

A local variable declaration expression.

LocalVariableDeclStmt

A statement that declares one or more local variables.

Location

A location maps language elements to positions in source files.

LogNotExpr

A logical negation expression. For example, !b.

LogicExpr

A logical expression.

LongLiteral

A long literal. For example, 23L.

LoopStmt

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

MBean

An MBean.

MXBean

An MXBean.

MainAntTarget

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

MainMethod

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

ManagedBean

A managed bean.

MarkerCommentGeneratedFile

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

Member

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

MemberRefExpr

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.

MemberType

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

MessageBean

A message bean.

Method

A method is a particular kind of callable.

MethodAbs

The method Math.abs.

MethodCall

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

MethodCallSystemGetProperty

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

MethodExit

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

MethodMathMax

The method Math.min.

MethodMathMin

The method Math.min.

MethodSystemGetProperty

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

MethodSystemGetenv

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

MetricCallable

This class provides access to metrics information for callables.

MetricElement

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

MetricField

This class provides access to metrics information for fields.

MetricPackage

This class provides access to metrics information for packages.

MetricRefType

This class provides access to metrics information for reference types.

MetricStmt

This class provides access to metrics information for statements.

MinusExpr

A unary minus expression. For example, -i.

Modifiable

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

Modifier

A modifier such as private, static or abstract.

Module

A module.

MulExpr

A binary expression using the * operator.

NEExpr

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

NestedClass

A class declared within another type.

NestedType

A nested type is a type declared within another type.

NewClassExpr

An explicit new TypeName(...) expression.

NonReflectiveAnnotation

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

NotInstanceOfExpr

An instanceof expression.

NotNullExpr

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

NullDefaultCase

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

NullLiteral

The null literal, written null.

NullType

The type of the null literal.

NumberType

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

NumericOrCharType

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

NumericType

A numeric type, including both primitive and boxed types.

OpensDirective

An opens directive in a module declaration.

OrBitwiseExpr

A binary expression using the | operator.

OrLogicalExpr

A binary expression using the || operator.

OverrideAnnotation

An @Override annotation.

Package

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

PackageAccess

A package access.

ParamTag

A Javadoc @param tag.

Parameter

A formal parameter of a callable.

ParameterizedClass

A parameterized type that is a class.

ParameterizedInterface

A parameterized type that is an interface.

ParameterizedJUnitTest

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

ParameterizedType

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

PatternCase

A pattern case of a switch statement

PatternExpr

A binding, unnamed or record pattern.

PlusExpr

A unary plus expression. For example, +i.

PostDecExpr

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

PostIncExpr

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

PreDecExpr

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

PreIncExpr

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

PreMainMethod

A premain method is an agent entry-point.

PrimitiveType

A primitive type.

Property

A Kotlin property.

PropertyRefExpr

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.

ProvidesDirective

A provides directive in a module declaration.

RawClass

A raw type that is a class.

RawInterface

A raw type that is an interface.

RawType

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.

ReadObjectMethod

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

Record

A record declaration.

RecordBindingVariableExpr

A local variable declaration that occurs within a record pattern.

RecordPatternExpr

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

RefType

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

ReferenceEqualityTest

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

ReflectiveAccessAnnotation

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

RegisteredManagedBeanImpl

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

RemExpr

A binary expression using the % operator.

RemoteEjbHomeInterface

A remote EJB home interface.

RemoteEjbInterface

A remote EJB interface.

RepeatableAnnotation

A @Repeatable annotation.

RequiresDirective

A requires directive in a module declaration.

RetentionAnnotation

A @Retention annotation.

ReturnStmt

A return statement.

RightShiftExpr

A binary expression using the >> operator.

RunWithAnnotation

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

SafeCastExpr

A safe cast expression.

SeeTag

A Javadoc @see tag.

SessionBean

A session bean.

SetterMethod

A setter method is a method with the following properties:

SingletonBlock

A block with only a single statement.

SrcCallable

A callable that is the same as its source declaration.

SrcMethod

A method that is the same as its source declaration.

SrcRefType

A type that is the same as its source declaration.

StandardNonReflectiveAnnotation
StaticInitializer

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

StaticMethodCall

A static method call.

Stmt

A common super-class of all statements.

StmtExpr

A statement expression.

StmtParent

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

StringArgumentToExec

An ArgumentToExec of type String.

StringBuildingType

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

StringContainsMethod

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

StringLengthMethod

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

StringLiteral

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

StringPartialMatchMethod

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

StringTemplateExpr

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

SubExpr

A binary expression using the - operator.

SuperAccess

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

SuperConstructorInvocationStmt

An explicit super(...) constructor invocation.

SuperMethodCall

A call to a method in the superclass.

SuppressWarningsAnnotation

A @SuppressWarnings annotation.

SwitchBlock

A switch statement or expression.

SwitchCase

A case of a switch statement or expression.

SwitchExpr

A switch expression.

SwitchStmt

A switch statement.

SynchronizedStmt

A synchronized statement.

SystemErr

The field System.err.

SystemIn

The field System.in.

SystemOut

The field System.out.

TargetAnnotation

A @Target annotation.

TearDownMethod

A JUnit 3.8 tearDown method.

TestAnnotation

An @org.junit.Test annotation.

TestClass

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.

TestMethod

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

TestNGAfterAnnotation

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

TestNGAnnotation

An annotation in TestNG.

TestNGBeforeAnnotation

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

TestNGDataProviderAnnotation

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

TestNGDataProviderMethod

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

TestNGFactoryAnnotation

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

TestNGFactoryCallable

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

TestNGListenerImpl

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

TestNGListenersAnnotation

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

TestNGTestAnnotation

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

TestNGTestMethod

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

ThisAccess

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

ThisConstructorInvocationStmt

An explicit this(...) constructor invocation.

ThrowStmt

A throw statement.

ThrowableType

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

ThrowsTag

A Javadoc @throws or @exception tag.

ToStringMethod

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

Top

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

TopLevelClass

A top-level class.

TopLevelType

A top-level type.

TryStmt

A try statement.

Type

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

TypeAccess

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

TypeAnnotation

An Annotation that applies to a type.

TypeBound

A type bound on a type variable.

TypeClass

The class java.lang.Class.

TypeClassCastException

The class java.lang.ClassCastException.

TypeCloneable

The interface java.lang.Cloneable.

TypeConstructor

The class java.lang.Constructor.

TypeError

The class java.lang.Error.

TypeException

The class java.lang.Exception.

TypeFile

The class java.io.File.

TypeFileSystem

The class java.nio.file.FileSystem.

TypeInputStream

The class java.io.InputStream.

TypeJUnitTest

The Java interface junit.framework.Test.

TypeJUnitTestCase

The Java class junit.framework.TestCase.

TypeJUnitTestSuite

The Java class junit.framework.TestSuite.

TypeJmxConnectorFactory

The class javax.management.remote.JMXConnectorFactory.

TypeJmxServiceUrl

The class javax.management.remote.JMXServiceURL.

TypeLiteral

A type literal. For example, String.class.

TypeMath

The class java.lang.Math.

TypeNullPointerException

The class java.lang.NullPointerException.

TypeNumber

The class java.lang.Number.

TypeObject

The class java.lang.Object.

TypeObjectInputStream

The type java.io.ObjectInputStream.

TypeObjectOutput

The interface java.io.ObjectOutput.

TypeObjectOutputStream

The type java.io.ObjectOutputStream.

TypePath

The type java.nio.file.Path.

TypePaths

The class java.nio.file.Paths.

TypeProcessBuilder

The class java.lang.ProcessBuilder.

TypeRmiConnector

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

TypeRuntime

The class java.lang.Runtime.

TypeRuntimeException

The class java.lang.RuntimeException.

TypeSerializable

The interface java.io.Serializable.

TypeString

The class java.lang.String.

TypeStringBuffer

The class java.lang.StringBuffer.

TypeStringBuilder

The class java.lang.StringBuilder.

TypeSystem

The class java.lang.System.

TypeThrowable

The class java.lang.Throwable.

TypeVariable

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

UnaryAssignExpr

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

UnaryExpr

A common super-class that represents unary operator expressions.

UncheckedThrowableType

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

UnionTypeAccess

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

Unit

The trivial type with a single element.

UnsafeCoerceExpr

An unsafe coerce expression.

UnsignedRightShiftExpr

A binary expression using the >>> operator.

UsesDirective

A uses directive in a module declaration.

ValueDiscardingExpr

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.

ValueEQExpr

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

ValueNEExpr

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

ValueOrReferenceEqualsExpr

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

ValueOrReferenceNotEqualsExpr

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

VarAccess

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

VarRead

A read access to a variable.

VarWrite

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

Variable

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

VariableAssign

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

VariableUpdate

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

VirtualMethodCall

A polymorphic call to an instance method.

VoidType

The void type.

WhenBranch

A Kotlin when branch.

WhenExpr

A Kotlin when expression.

WhileStmt

A while loop.

Wildcard

A wildcard used as a type argument.

WildcardTypeAccess

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

WriteObjectMethod

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

XorBitwiseExpr

A binary expression using the ^ operator.

YieldStmt

A yield statement.

Aliases

LValue

DEPRECATED: Alias for VarWrite.

MethodAccess

DEPRECATED: Alias for MethodCall.

MethodAccessSystemGetProperty

DEPRECATED: Alias for MethodCallSystemGetProperty.

RValue

DEPRECATED: Alias for VarRead.

StaticMethodAccess

DEPRECATED: Alias for StaticMethodCall.

SuperMethodAccess

DEPRECATED: Alias for SuperMethodCall.

VirtualMethodAccess

DEPRECATED: Alias for VirtualMethodCall.