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

Class NumType

Import path

import semmle.code.java.arithmetic.Overflow

Direct supertypes

Indirect supertypes

Predicates

getOrdPrimitiveType

Gets the width-ordered primitive type corresponding to this type.

getWidthRank
widerThan
widerThanOrEqualTo

Inherited predicates

compilerGeneratedReason

Gets the reason this element was generated by the compiler, if any.

from Element
contains

Holds if this element transitively contains the specified element e.

from Element
fromSource

Holds if this element pertains to a source file.

from Element
getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

from Top
getCompilationUnit

Gets the compilation unit that this element belongs to.

from Element
getDoc

Cast this element to a Documentable.

from Element
getErasure

Gets the erasure of this type.

from Type
getFile

Gets the file associated with this element.

from Top
getLocation

Gets the source location for this element.

from Top
getName

Gets the name of this element.

from Element
getNumberOfCommentLines

Gets the number of comment lines that this element ranges over.

from Top
getNumberOfLinesOfCode

Gets the number of lines of code that this element ranges over.

from Top
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Top
getTotalNumberOfLines

Gets the total number of lines that this element ranges over, including lines of code, comment and whitespace-only lines.

from Top
getTypeDescriptor

Gets the JVM descriptor for this type, as used in bytecode.

from Type
hasChildElement

Holds if this element is the immediate parent of the specified element e.

from Element
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from Top
hasName

Holds if this element has the specified name.

from Element
isCompilerGenerated

Holds if this is an auxiliary program element generated by the compiler.

from Element
isStub

Holds if this element is from source and classified as a stub implementation. An implementation is considered a stub, if the the path to the source file contains /stubs/.

from Element
toString

Gets a textual representation of this element.

from Top

Charpred