Module dev.civl.mc

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

Interface CompositeEvent

All Superinterfaces:

DependsEvent, Sourceable

public interface CompositeEvent
extends DependsEvent

This represents a composite event, which could be a union/difference/intersect of another two depends events.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	CompositeEvent.CompositeEventOperator

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

DependsEvent.DependsEventKind

Method Summary

Modifier and Type	Method	Description
DependsEvent	left()	Returns the left operand.
CompositeEvent.CompositeEventOperator	operator()	Returns the operator.
DependsEvent	right()	Returns the right operand

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

left

DependsEvent left()

Returns the left operand.

Returns:

right

DependsEvent right()

Returns the right operand

Returns:

operator

CompositeEvent.CompositeEventOperator operator()

Returns the operator.

Returns: