Uses of Interface
dev.civl.mc.model.IF.statement.UpdateStatement
Packages that use UpdateStatement
Package
Description
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
-
Uses of UpdateStatement in dev.civl.mc.model.IF
Methods in dev.civl.mc.model.IF that return UpdateStatementModifier and TypeMethodDescriptionModelFactory.updateStatement(CIVLSource source, Location srcLoc, Expression guard, Expression collator, CIVLFunction function, Expression[] arguments) ModelFactory.updateStatement(CIVLSource source, Location srcLoc, Expression guard, Expression collator, CallOrSpawnStatement call) Creates an$updatestatement.