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

Module Conversions

Provides support for conversion contexts, in which an expression is converted (implicitly or explicitly) to a different type.

See the Java Language Specification, Section 5, for details.

Import path

import semmle.code.java.Conversions

Imports

Overflow
java

Provides all default Java QL imports.

Classes

AssignmentConversionContext

An assignment conversion. For example, x += b converts b to be of the type of x.

CastingConversionContext
ConversionSite

A expression where an implicit conversion can occur.

InvocationConversionContext

An invocation conversion. For example f(b) converts b to have the type of the corresponding parameter of f.

NumericConversionContext

A numeric conversion. For example, a * b converts a and b to have an appropriate numeric type.

ReturnConversionSite

An return conversion. For example, return b converts b to be of the return type of the enclosing callable.

StringConversionContext

A string conversion. For example a + b, where a is a String, converts b to have type String.