Module dev.civl.abc

Package dev.civl.abc.ast.type.IF

Interface StandardSignedIntegerType

All Superinterfaces:

ArithmeticType, IntegerType, ObjectType, SignedIntegerType, SignedOrUnsignedIntegerType, StandardBasicType, Type, UnqualifiedObjectType

public interface StandardSignedIntegerType
extends SignedIntegerType, StandardBasicType

The 5 "standard" signed integer types. There are 5 standard signed types and 6 standard unsigned types (as BOOL exists only in unsigned form). The set of standard signed or unsigned integer types is a subset of the set of standard basic types, so the information provided by this interface is redundant---it is completely determined by the basic type kind. However, in some situations it is convenient to use this view of the information.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	StandardSignedIntegerType.SignedIntKind	The 5 kinds of standard signed integer types.

Nested classes/interfaces inherited from interface dev.civl.abc.ast.type.IF.StandardBasicType

StandardBasicType.BasicTypeKind

Nested classes/interfaces inherited from interface dev.civl.abc.ast.type.IF.Type

Type.TypeKind

Method Summary

Modifier and Type	Method	Description
StandardSignedIntegerType.SignedIntKind	getIntKind()	Returns the kind of standard signed integer
BigInteger	getMinimumMaxValue()	The minimum greatest integer in this type
BigInteger	getMinimumMinValue()	The minimum absolute value of the least integer in this type.
boolean	inMinimumRange(BigInteger intVal)	Is -m invalid input: '<'= x invalid input: '<'= M, where m=getMinimumMinValue(), M=getMinimumMaxValue.

Methods inherited from interface dev.civl.abc.ast.type.IF.ArithmeticType

inComplexDomain, inRealDomain, isEnumeration, isFloating, isInteger

Methods inherited from interface dev.civl.abc.ast.type.IF.ObjectType

hasKnownConstantSize, isComplete, isConstantQualified

Methods inherited from interface dev.civl.abc.ast.type.IF.StandardBasicType

getBasicTypeKind

Methods inherited from interface dev.civl.abc.ast.type.IF.Type

compatibleWith, equivalentTo, getId, ignoreQualifiersAtomic, isScalar, isVariablyModified, kind, print

Method Details

getIntKind

StandardSignedIntegerType.SignedIntKind getIntKind()

Returns the kind of standard signed integer

Returns:

the kind of standard signed integer

getMinimumMaxValue

BigInteger getMinimumMaxValue()

The minimum greatest integer in this type

Returns:

minimum greatest integer in this type

getMinimumMinValue

BigInteger getMinimumMinValue()

The minimum absolute value of the least integer in this type.

Returns:

minimum absolute value of the least integer in this type

inMinimumRange

boolean inMinimumRange(BigInteger intVal)

Is -m invalid input: '<'= x invalid input: '<'= M, where m=getMinimumMinValue(), M=getMinimumMaxValue.

Parameters:

intVal -

Returns:

true iff -m invalid input: '<'= x invalid input: '<'= M