The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class ProgressCell

java.lang.Object
  extended by nl.cwi.sen1.gui.plugin.ProgressCell

public class ProgressCell
extends java.lang.Object


Field Summary
private  aterm.ATerm id
           
private  java.lang.String label
           
 
Constructor Summary
ProgressCell(aterm.ATerm id, java.lang.String label)
           
ProgressCell(java.lang.String label)
           
 
Method Summary
 aterm.ATerm getId()
           
 java.lang.String getLabel()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

label

private java.lang.String label

id

private aterm.ATerm id
Constructor Detail

ProgressCell

public ProgressCell(aterm.ATerm id,
                    java.lang.String label)

ProgressCell

public ProgressCell(java.lang.String label)
Method Detail

toString

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

getId

public aterm.ATerm getId()

getLabel

public java.lang.String getLabel()

The Meta-Environment API