Module dev.civl.abc

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

Interface QualifiedObjectType

All Superinterfaces:

ObjectType, Type

public interface QualifiedObjectType
extends ObjectType

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()
boolean	isConstQualified()	Is this a "const" qualified type?
boolean	isInputQualified()	Is this an "_input" qualified type?
boolean	isOutputQualified()	Is this an "_output" qualified type?
boolean	isRestrictQualified()	Is this a "restrict" qualified type?
boolean	isVolatileQualified()	Is this a "volatile" qualified 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()

isConstQualified

boolean isConstQualified()

Is this a "const" qualified type?

Returns:

true iff this is a const qualified type.

isVolatileQualified

boolean isVolatileQualified()

Is this a "volatile" qualified type?

Returns:

true iff this is a volatile qualified type.

isRestrictQualified

boolean isRestrictQualified()

Is this a "restrict" qualified type?

Returns:

true iff this is a "restrict" qualified type.

isInputQualified

boolean isInputQualified()

Is this an "_input" qualified type?

Returns:

true iff this is an "_input" qualified type

isOutputQualified

boolean isOutputQualified()

Is this an "_output" qualified type?

Returns:

true iff this is an "_output" qualified type