toolbus.tifs
Class Tif

java.lang.Object
  toolbus.tifs.Tif

public class Tif
extends java.lang.Object

Field Summary

private java.util.List<Process>	processList
private aterm.ATermAppl	representation

Constructor Summary

Tif(aterm.ATerm t)

Method Summary

java.util.Iterator<Process>	fetchProcessIterator()
java.lang.String	getPackageName()
java.lang.String	getToolName()
int	getVersion()
private void	initProcessList()
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

processList

private final java.util.List<Process> processList

Constructor Detail

Tif

public Tif(aterm.ATerm t)

Method Detail

getVersion

public int getVersion()

getPackageName

public java.lang.String getPackageName()

getToolName

public java.lang.String getToolName()

initProcessList

private void initProcessList()

fetchProcessIterator

public java.util.Iterator<Process> fetchProcessIterator()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object