Class NumType
Import path
import semmle.code.java.arithmetic.OverflowDirect 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 | 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 | 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 | from Element |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Top |
| hasName | Holds if this element has the specified | 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 | from Element |
| toString | Gets a textual representation of this element. | from Top |