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

Packages that use NamedFunctionBehavior

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

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

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

Modifier and Type	Method	Description
NamedFunctionBehavior	FunctionContract.getBehavior(String name)	returns the behavior with the given name; null if no such behavior exists.
NamedFunctionBehavior	ContractFactory.newNamedFunctionBehavior(CIVLSource source, String name)	Creates a new named function behavior

Methods in dev.civl.mc.model.IF.contract that return types with arguments of type NamedFunctionBehavior

Modifier and Type	Method	Description
Iterable<NamedFunctionBehavior>	FunctionContract.namedBehaviors()	Returns the named behaviors of the function.

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

Modifier and Type	Method	Description
void	FunctionContract.addNamedBehavior(NamedFunctionBehavior behavior)	Adds a named behavior to the function.