Module dev.civl.abc

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

Interface AtomicType

All Superinterfaces:

ObjectType, Type, UnqualifiedObjectType

public interface AtomicType
extends UnqualifiedObjectType

An atomic type, specified by _Atomic ( type-name ) or by using the _Atomic type qualifier. See C11 Sec. 6.7.2.4.

The base type cannot be array, function, atomic, or qualified.

Nested Class Summary

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

Type.TypeKind

Method Summary

Modifier and Type	Method	Description
UnqualifiedObjectType	getBaseType()	Returns the base type.

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

getBaseType

UnqualifiedObjectType getBaseType()

Returns the base type.

Returns:

the base type