Module dev.civl.mc

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

Interface MemoryEvent

All Superinterfaces:

DependsEvent, Sourceable

public interface MemoryEvent
extends DependsEvent

This represents a \read or \write 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
boolean	isReach()	Is this a \reach event?
boolean	isRead()	Is this a \read event?
boolean	isWrite()	Is this a \write event?
Set<Expression>	memoryUnits()	Returns the memory units associated with this event.
int	numMemoryUnits()	Returns the number of memory units associated with 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

memoryUnits

Set<Expression> memoryUnits()

Returns the memory units associated with this event.

Returns:

numMemoryUnits

int numMemoryUnits()

Returns the number of memory units associated with this event.

Returns:

isRead

boolean isRead()

Is this a \read event?

Returns:

isWrite

boolean isWrite()

Is this a \write event?

Returns:

isReach

boolean isReach()

Is this a \reach event?

Returns: