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

Packages that use DependsEvent

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

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

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

Modifier and Type	Interface	Description
interface	CallEvent	This represents a function call event of a depends clause.
interface	CompositeEvent	This represents a composite event, which could be a union/difference/intersect of another two depends events.
interface	MemoryEvent	This represents a \read or \write event of a depends clause.

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

Modifier and Type	Method	Description
DependsEvent	CompositeEvent.left()	Returns the left operand.
DependsEvent	ContractFactory.newAnyactEvent(CIVLSource source)	Creates a new instance of \anyact event
DependsEvent	ContractFactory.newNoactEvent(CIVLSource source)	Creates a new instance of \noact event
DependsEvent	CompositeEvent.right()	Returns the right operand

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

Modifier and Type	Method	Description
Iterable<DependsEvent>	FunctionBehavior.dependsEvents()	Returns the depends events of this behavior.

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

Modifier and Type	Method	Description
void	FunctionBehavior.addDependsEvent(DependsEvent dependsEvent)	Add a depends event to this behavior.
boolean	DependsEvent.equalsWork(DependsEvent that)	Does this event equals to that event?
CompositeEvent	ContractFactory.newCompositeEvent(CIVLSource source, CompositeEvent.CompositeEventOperator op, DependsEvent left, DependsEvent right)	Creates a new instance of composite event.