Module dev.civl.abc

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

Interface UnqualifiedObjectType

All Superinterfaces:

ObjectType, Type

All Known Subinterfaces:

ArithmeticType, ArrayType, AtomicType, DomainType, EnumerationType, FloatingType, IntegerType, LambdaType, MemType, PointerType, SignedIntegerType, SignedOrUnsignedIntegerType, StandardBasicType, StandardSignedIntegerType, StandardUnsignedIntegerType, StructureOrUnionType, UnsignedIntegerType

public interface UnqualifiedObjectType
extends ObjectType

An unqualified object type is an object type without any qualifier (const, volatile, etc.). This is a marker interface; it does not provide any methods. It is used to create a sub-type of ObjectType.

Nested Class Summary

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

Type.TypeKind

Method Summary

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