Module dev.civl.abc

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

Interface StandardUnsignedIntegerType

All Superinterfaces:

ArithmeticType, IntegerType, ObjectType, SignedOrUnsignedIntegerType, Type, UnqualifiedObjectType, UnsignedIntegerType

public interface StandardUnsignedIntegerType
extends UnsignedIntegerType

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	StandardUnsignedIntegerType.UnsignedIntKind

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

Type.TypeKind

Method Summary

Modifier and Type	Method	Description
StandardUnsignedIntegerType.UnsignedIntKind	getIntKind()
BigInteger	getMinimumMaxValue()	The minimum greatest value of this type.
boolean	inMinimumRange(BigInteger intVal)	Is 0 invalid input: '<'= intVal invalid input: '<'= 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.Type

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

Method Details

getIntKind

StandardUnsignedIntegerType.UnsignedIntKind getIntKind()

getMinimumMaxValue

BigInteger getMinimumMaxValue()

The minimum greatest value of this type. Any conforming C implementation must have a greatest value of at least this number for the given kind of type.

Returns:

intVal minimum greatest value of this type

inMinimumRange

boolean inMinimumRange(BigInteger intVal)

Is 0 invalid input: '<'= intVal invalid input: '<'= getMinimumMaxValue() ?

Parameters:

intVal -

Returns:

true iff intVal is in the range [0,getMinimumMaxValue()]