Uses of Interface
dev.civl.mc.model.IF.contract.FunctionContract

Packages that use FunctionContract

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

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

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

Modifier and Type	Method	Description
FunctionContract	CIVLFunction.functionContract()	returns the contract specification of this function.

Methods in dev.civl.mc.model.IF with parameters of type FunctionContract

Modifier and Type	Method	Description
void	CIVLFunction.setFunctionContract(FunctionContract contract)	sets the contract of this function.

Uses of FunctionContract in dev.civl.mc.model.IF.contract

Methods in dev.civl.mc.model.IF.contract that return FunctionContract

Modifier and Type	Method	Description
FunctionContract	ContractFactory.newFunctionContract(CIVLSource source, Scope scope)	Creates a new function contract.