Module dev.civl.mc

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

Interface DependsEvent

All Superinterfaces:

Sourceable

All Known Subinterfaces:

CallEvent, CompositeEvent, MemoryEvent

public interface DependsEvent
extends Sourceable

This represents an event which is used as one argument of the depends clause.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	DependsEvent.DependsEventKind

Method Summary

Modifier and Type	Method	Description
DependsEvent.DependsEventKind	dependsEventKind()	Returns the kind of this event.
boolean	equalsWork(DependsEvent that)	Does this event equals to that event?

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

getSource, setCIVLSource

Method Details

dependsEventKind

DependsEvent.DependsEventKind dependsEventKind()

Returns the kind of this event.

Returns:

equalsWork

boolean equalsWork(DependsEvent that)

Does this event equals to that event?

Parameters:

that -

Returns: