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

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.

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