Class SignedIntegralType
A signed integral type.
Import path
import semmle.code.cil.Types
Direct supertypes
Indirect supertypes
- @cil_declaration
- @cil_element
- @cil_type
- @cil_type_container
- @cil_valueorreftype
- @dotnet_declaration
- @dotnet_element
- @dotnet_named_element
- @dotnet_type
- @dotnet_valueorreftype
- Declaration
- Declaration
- Element
- Element
- NamedElement
- NumericType
- PrimitiveType
- Type
- Type
- TypeContainer
- ValueOrRefType
- ValueOrRefType
Known direct subtypes
Inherited predicates
compiledFromSource |
Holds if this element was compiled from source code that is also present in the database. That is, this element corresponds to another element from source. |
from NamedElement |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
getABaseInterface |
Gets an immediate base interface of this class, if any. |
from Type |
getABaseType | from ValueOrRefType | |
getALocation |
Gets a location of this element, which can include locations in both DLLs and source files. |
from Type |
getAMember |
Gets a member of this type, if any. |
from Type |
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
from Element |
getASubtype |
Gets an immediate subtype of this type, if any. |
from Type |
getAnAttribute |
Gets an attribute (for example |
from Declaration |
getBaseClass |
Gets the immediate base class of this class, if any. |
from Type |
getCSharpDeclaration |
Gets the C# declaration corresponding to this CIL declaration, if any. Note that this is only for source/unconstructed declarations. |
from Declaration |
getConversionIndex |
Gets an index for implicit conversions. A type can be converted to another numeric type of a higher index. |
from Type |
getDeclaringNamespace |
Gets the namespace declaring this type, if any. |
from ValueOrRefType |
getDeclaringType |
Gets the containing type of this type, if any. |
from ValueOrRefType |
getFile |
Gets the file containing this element. |
from Element |
getLabel |
Gets a unique string label for this element. |
from ValueOrRefType |
getLanguage |
Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”. |
from Element |
getLocation |
Gets the location of this element. |
from Element |
getName |
Gets the name of this element. |
from Type |
getNamespace |
Gets the namespace directly containing this type, if any. |
from Type |
getParent |
Gets the parent of this type container, if any. |
from Type |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from Element |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
from NamedElement |
getUnboundDeclaration |
Gets the unbound version of this declaration, that is, the declaration where all type arguments have been removed. For example, in |
from Type |
getUnboundType |
Gets the unbound generic type of this type, or |
from Type |
getUndecoratedName |
Gets the name of this type without additional syntax such as |
from ValueOrRefType |
getUnderlyingType |
Gets the machine type used to store this type. |
from Type |
hasName |
Holds if this element has name ‘name’. |
from NamedElement |
hasQualifiedName |
Holds if this element has the qualified name |
from Type |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasUndecoratedName |
Holds if this element has undecorated name ‘name’. |
from Declaration |
isClass |
Holds if this type is a class. |
from Type |
isEnum |
Holds if this type is an |
from Type |
isInterface |
Holds if this type is an interface. |
from Type |
isPrivate |
Holds if this type is private. |
from Type |
isPublic |
Holds if this type is public. |
from Type |
isRecord |
Holds if this type is a |
from ValueOrRefType |
isSystemType |
Holds if this type is a member of the |
from Type |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
matchesHandle |
Holds if |
from NamedElement |
toString |
Gets a textual representation of this element. |
from Type |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from TypeContainer |