Uses of Interface
dev.civl.mc.model.IF.expression.SizeofTypeExpression
Packages that use SizeofTypeExpression
Package
Description
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
-
Uses of SizeofTypeExpression in dev.civl.mc.model.IF
Methods in dev.civl.mc.model.IF that return SizeofTypeExpressionModifier and TypeMethodDescriptionModelFactory.sizeofTypeExpression(CIVLSource source, CIVLType type) Returns a new "sizeof(t)" expression.