Uses of Interface
dev.civl.abc.ast.type.IF.IntegerType
Packages that use IntegerType
Package
Description
Submodule ast.conversion provides classes for representing
to C's "implicit conversions".
The ast.type submodule defines the (abstract) types
that can be specified in a program.
The ast.value submodule defines classes for representing
constant values that can occur in a program, such as numeric literals,
characters, strings, pointer constants, and so on.
-
Uses of IntegerType in dev.civl.abc.ast.conversion.IF
Methods in dev.civl.abc.ast.conversion.IF that return IntegerTypeModifier and TypeMethodDescriptionPointer2IntegerConversion.getNewType()Integer2PointerConversion.getOldType()Methods in dev.civl.abc.ast.conversion.IF with parameters of type IntegerTypeModifier and TypeMethodDescriptionConversionFactory.integer2PointerConversion(IntegerType oldType, PointerType newType) creates a integer-to-pointer type conversionConversionFactory.pointer2IntegerConversion(PointerType oldType, IntegerType newType) creates a pointer-to-integer type conversion -
Uses of IntegerType in dev.civl.abc.ast.type.IF
Subinterfaces of IntegerType in dev.civl.abc.ast.type.IFModifier and TypeInterfaceDescriptioninterfaceAn enumeration type.interfaceinterfaceRepresents a C "signed or unsigned integer type."interfaceThe 5 "standard" signed integer types.interfaceinterfaceMethods in dev.civl.abc.ast.type.IF that return IntegerTypeModifier and TypeMethodDescriptionTypeFactory.integerPromotion(IntegerType type) C11 6.3.1.1:TypeFactory.rangeChoice(BigInteger value, IntegerType[] typeList) Returns an IntegerType T with the following semantics: if the value falls within the range of typeList[0] then typeList[0], else if the value falls within the range of typeList[1] then typeList[1], else if ...., else if the value falls within the range of typeList[n-1] then typeList[n-1], else null.TypeFactory.rangeChoice(BigInteger value, IntegerType type1, IntegerType type2) Returns a integer type object T with the following semantics: if the value falls within the range of type1, T represents type1, else T represents type2.TypeFactory.wchar_t()Returns the type wchar_t: an integer type whose range of values can represent distinct codes for all members of the largest extended character set specified among the supported locales; the null character shall have the code value zero.Methods in dev.civl.abc.ast.type.IF with parameters of type IntegerTypeModifier and TypeMethodDescriptionTypeFactory.integerPromotion(IntegerType type) C11 6.3.1.1:TypeFactory.rangeChoice(BigInteger value, IntegerType[] typeList) Returns an IntegerType T with the following semantics: if the value falls within the range of typeList[0] then typeList[0], else if the value falls within the range of typeList[1] then typeList[1], else if ...., else if the value falls within the range of typeList[n-1] then typeList[n-1], else null.TypeFactory.rangeChoice(BigInteger value, IntegerType type1, IntegerType type2) Returns a integer type object T with the following semantics: if the value falls within the range of type1, T represents type1, else T represents type2. -
Uses of IntegerType in dev.civl.abc.ast.value.IF
Methods in dev.civl.abc.ast.value.IF that return IntegerTypeMethods in dev.civl.abc.ast.value.IF with parameters of type IntegerTypeModifier and TypeMethodDescriptionValueFactory.integerValue(IntegerType type, int intValue) An integer value of the given type and with the given Java int value.ValueFactory.integerValue(IntegerType type, BigInteger integerValue)