Module dev.civl.abc

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

Interface DomainType

All Superinterfaces:

ObjectType, Type, UnqualifiedObjectType

public interface DomainType
extends UnqualifiedObjectType

The CIVL-C type $domain or $domain(n).

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
int	getDimension()	Returns the dimension, or -1 if the dimension is not specified.
boolean	hasDimension()	Does this domain type have a specified dimension?

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

hasDimension

boolean hasDimension()

Does this domain type have a specified dimension?

Returns:

true iff the dimension is specified

getDimension

int getDimension()

Returns the dimension, or -1 if the dimension is not specified.

Returns:

dimension or -1