EventSet

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> alice >> [ tuplemedium overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of alice.tuplemedium.EventSet

SOURCE |

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

alice.tuplemedium
Interface EventSet

public interface EventSet

Specifies the services which must be provided by component inside tuple centre virtual machine that manages communication events as a multiset

Version:: 1.0

Method Summary

void add(Event e)
          Adds an event to the multiset

void empty()
          Empties the multiset

Event get()
          Gets (with removal) not-deterministically an event from the mset

Event getFirstMatching(TupleSet tset)
          Gets (with removal) non-deterministically an event with a tuple template matching a tuple in the specified tuple set

java.util.Iterator getIterator()
          Gets an iterator to navigate through the elements of the multiset

boolean isEmpty()
          tests if multiset is empty

void removeEventsOf(AgentId id)
          Removes all the events with a specified agent identifier

int size()
          Gets the number of events inside the multiset

void sub(Event e)
          Removes (if present) an event from multiset

Method Detail

add

public void add(Event e)

Adds an event to the multiset

sub

public void sub(Event e)

Removes (if present) an event from multiset

isEmpty

public boolean isEmpty()

tests if multiset is empty

empty

public void empty()

Empties the multiset

size

public int size()

Gets the number of events inside the multiset

get

public Event get()

Gets (with removal) not-deterministically an event from the mset

getFirstMatching

public Event getFirstMatching(TupleSet tset)

Gets (with removal) non-deterministically an event with a tuple template matching a tuple in the specified tuple set

getIterator

public java.util.Iterator getIterator()

Gets an iterator to navigate through the elements of the multiset

removeEventsOf

public void removeEventsOf(AgentId id)

Removes all the events with a specified agent identifier