toolbus.tifs
Class Event

java.lang.Object
  toolbus.tifs.Communication
      toolbus.tifs.Event

public class Event
extends Communication

Constructor Summary

Event(aterm.ATerm t)

Method Summary

java.lang.String

toString()

Methods inherited from class toolbus.tifs.Communication

create, fetchArgumentIterator, getName, getRepresentation, getResultType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Event

public Event(aterm.ATerm t)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object