[Home](./index.md) > [@contract-case/case-definition-dsl](./case-definition-dsl.md) > [interactions](./case-definition-dsl.interactions.md) > [functions](./case-definition-dsl.interactions.functions.md) > [FunctionExecutionExample](./case-definition-dsl.interactions.functions.functionexecutionexample.md) ## interactions.functions.FunctionExecutionExample interface Interaction descriptor for a function execution which returns successfully **Signature:** ```typescript export interface FunctionExecutionExample ``` ## Properties

Property	Modifiers	Type	Description
[arguments](./case-definition-dsl.interactions.functions.functionexecutionexample.arguments.md)	`readonly`	AnyMatcherOrData\[\]	An array of expected function arguments (or test equivalence matchers for those arguments)
[functionName](./case-definition-dsl.interactions.functions.functionexecutionexample.functionname.md)	`readonly`	string	The name of the function to be executed. Doubles as the handle used by registerFunction.
[invocationName?](./case-definition-dsl.interactions.functions.functionexecutionexample.invocationname.md)	`readonly`	string	_(Optional)_ A name for this specific combination of arguments - must be unique in this contract.
[responseName?](./case-definition-dsl.interactions.functions.functionexecutionexample.responsename.md)	`readonly`	string	_(Optional)_ A name for this specific return value - must be unique in this contract.
[returnValue](./case-definition-dsl.interactions.functions.functionexecutionexample.returnvalue.md)	`readonly`	AnyMatcherOrData	A test equivalence matcher for the return value from this function