Module dev.civl.mc

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

Interface CIVLFunctionType

All Superinterfaces:

CIVLType

public interface CIVLFunctionType
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
CIVLType[]	parameterTypes()
CIVLType	returnType()
void	setParameterTypes(CIVLType[] types)
void	setReturnType(CIVLType type)

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

returnType

CIVLType returnType()

Returns:

The return type of the function type.

parameterTypes

CIVLType[] parameterTypes()

Returns:

The parameter types.

setReturnType

void setReturnType(CIVLType type)

setParameterTypes

void setParameterTypes(CIVLType[] types)