Module dev.civl.mc

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

Interface CallEvent

All Superinterfaces:

DependsEvent, Sourceable

public interface CallEvent
extends DependsEvent

This represents a function call event of a depends clause.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.mc.model.IF.contract.DependsEvent

DependsEvent.DependsEventKind

Method Summary

Modifier and Type	Method	Description
List<Expression>	arguments()	Returns the arguments of the call event.
CIVLFunction	function()	The function (i.e., the callee) of this call event.
int	numArguments()	Returns the number of arguments of the call event.
void	setFunction(CIVLFunction function)	Sets the callee of this event

Methods inherited from interface dev.civl.mc.model.IF.contract.DependsEvent

dependsEventKind, equalsWork

Methods inherited from interface dev.civl.mc.model.IF.Sourceable

getSource, setCIVLSource

Method Details

function

CIVLFunction function()

The function (i.e., the callee) of this call event.

Returns:

arguments

List<Expression> arguments()

Returns the arguments of the call event.

Returns:

numArguments

int numArguments()

Returns the number of arguments of the call event.

Returns:

setFunction

void setFunction(CIVLFunction function)

Sets the callee of this event

Parameters:

function -