The Meta-Environment API

toolbus.tifs
Class Process

java.lang.Object
  extended by toolbus.tifs.Process

public class Process
extends java.lang.Object


Field Summary
private  CommunicationList communicationList
           
private  aterm.ATermAppl representation
           
 
Constructor Summary
Process(aterm.ATerm t)
           
 
Method Summary
 java.util.Iterator<Communication> fetchCommunicationIterator()
           
 java.lang.String getName()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

representation

private final aterm.ATermAppl representation

communicationList

private final CommunicationList communicationList
Constructor Detail

Process

public Process(aterm.ATerm t)
Method Detail

getName

public java.lang.String getName()

fetchCommunicationIterator

public java.util.Iterator<Communication> fetchCommunicationIterator()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

The Meta-Environment API