ajax.scheduler
Class ExecutionSummary

java.lang.Object
  |
  +--ajax.scheduler.ExecutionSummary

public class ExecutionSummary

extends java.lang.Object

Constructor Summary

protected

ExecutionSummary()

Method Summary

protected void	addInputTuplesNumber(java.lang.String tableName, long nbTuples)
protected void	addOutputTuplesNumber(java.lang.String tableName, long nbTuples)
long	getExceptionNumber()
long	getExecutionTime()
long	getInputSize(java.lang.String inputName)
java.util.Enumeration	getInputsNames()
java.lang.String	getName()
long	getOutputSize(java.lang.String outputName)
java.util.Enumeration	getOutputsNames()
void	report(java.io.BufferedWriter bw, boolean isHtml)
protected void	setExceptionNumber(long number)
protected void	setExecutionTime(long time)
protected void	setName(java.lang.String name)
java.lang.String	toHtml()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExecutionSummary

protected ExecutionSummary()

Method Detail

setName

protected void setName(java.lang.String name)

setExceptionNumber

protected void setExceptionNumber(long number)

setExecutionTime

protected void setExecutionTime(long time)

addOutputTuplesNumber

protected void addOutputTuplesNumber(java.lang.String tableName,
                                     long nbTuples)

addInputTuplesNumber

protected void addInputTuplesNumber(java.lang.String tableName,
                                    long nbTuples)

getExceptionNumber

public long getExceptionNumber()

getExecutionTime

public long getExecutionTime()

getName

public java.lang.String getName()

getOutputsNames

public java.util.Enumeration getOutputsNames()

getInputsNames

public java.util.Enumeration getInputsNames()

getInputSize

public long getInputSize(java.lang.String inputName)

getOutputSize

public long getOutputSize(java.lang.String outputName)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toHtml

public java.lang.String toHtml()

report

public void report(java.io.BufferedWriter bw,
                   boolean isHtml)
            throws java.io.IOException