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

Packages that use FunctionBehavior

Package	Description
dev.civl.mc.model.IF.contract

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

Subinterfaces of FunctionBehavior in dev.civl.mc.model.IF.contract

Modifier and Type	Interface	Description
interface	NamedFunctionBehavior	A named behavior contains a name and assumptions in addition to those components contained by FunctionBehavior.

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

Modifier and Type	Method	Description
FunctionBehavior	FunctionContract.defaultBehavior()	Returns the default behavior of the function.
FunctionBehavior	ContractFactory.newFunctionBehavior(CIVLSource source)	Creates a new function behavior.

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

Modifier and Type	Method	Description
void	FunctionContract.setDefaultBehavior(FunctionBehavior behavior)	Sets the default behavior of the function.