Uses of Interface
dev.civl.mc.model.IF.SystemFunction

Packages that use SystemFunction

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 SystemFunction in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
SystemFunction	ModelFactory.systemFunction(CIVLSource source, Identifier name, Scope parameterScope, List<Variable> parameters, CIVLType returnType, Scope containingScope, String libraryName)	Generate the system function