Module dev.civl.mc

Package dev.civl.mc.model.IF.type

Interface CIVLPointerType

All Superinterfaces:

CIVLType

public interface CIVLPointerType
extends CIVLType

Type of a pointer.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.type.CIVLType

CIVLType.TypeKind

Method Summary

Modifier and Type	Method	Description
CIVLType	baseType()	Returns the type of element pointed to.
Scope	getRegion()	Returns the highest scope in the static scope hierarchy in which the target of this pointer could be declared.

Methods inherited from interface dev.civl.mc.model.IF.type.CIVLType

analyze, areSubtypesScalar, copyAs, freeVariables, getDynamicType, getDynamicTypeIndex, getStateVariable, hasReferences, hasState, isArrayType, isBoolType, isBundleType, isCharType, isDomainType, isEnumerationType, isFunction, isHeapType, isIncompleteArrayType, isIntegerType, isNumericType, isPointerType, isProcessType, isRangeType, isRealType, isScalar, isScopeType, isSetType, isSetTypeOf, isStructType, isSuperTypeOf, isUnionType, isVoidType, setStateVariable, typeKind

Method Details

baseType

CIVLType baseType()

Returns the type of element pointed to. Result could be "void", as in C

getRegion

Scope getRegion()

Returns the highest scope in the static scope hierarchy in which the target of this pointer could be declared.