Module dev.civl.mc

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

Interface CIVLHeapType

All Superinterfaces:

CIVLType

public interface CIVLHeapType
extends CIVLType

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
void	complete(Collection<MallocStatement> mallocs, dev.civl.sarl.IF.type.SymbolicType dynamicType, dev.civl.sarl.IF.expr.SymbolicExpression initialValue, dev.civl.sarl.IF.expr.SymbolicExpression undefinedValue)
dev.civl.sarl.IF.expr.SymbolicExpression	getInitialValue()
MallocStatement	getMalloc(int index)
String	getName()
int	getNumMallocs()
dev.civl.sarl.IF.expr.SymbolicExpression	getUndefinedValue()
boolean	isComplete()

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

getNumMallocs

int getNumMallocs()

getMalloc

MallocStatement getMalloc(int index)

isComplete

boolean isComplete()

complete

void complete(Collection<MallocStatement> mallocs,
 dev.civl.sarl.IF.type.SymbolicType dynamicType,
 dev.civl.sarl.IF.expr.SymbolicExpression initialValue,
 dev.civl.sarl.IF.expr.SymbolicExpression undefinedValue)

getInitialValue

dev.civl.sarl.IF.expr.SymbolicExpression getInitialValue()

getUndefinedValue

dev.civl.sarl.IF.expr.SymbolicExpression getUndefinedValue()

getName

String getName()