Uses of Interface
dev.civl.mc.model.IF.expression.DynamicTypeOfExpression

Packages that use DynamicTypeOfExpression

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.

Uses of DynamicTypeOfExpression in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return DynamicTypeOfExpression

Modifier and Type	Method	Description
DynamicTypeOfExpression	ModelFactory.dynamicTypeOfExpression(CIVLSource source, CIVLType type)	Returns a "DynamicTypeOf" expression with the given type argument.