de.uka.ilkd.key.gui.smt

Class ProgressModel.ProcessColumn

java.lang.Object

de.uka.ilkd.key.gui.smt.ProgressModel.ProcessColumn

All Implemented Interfaces:

ProgressModel.Column

Enclosing class:

ProgressModel

public static class ProgressModel.ProcessColumn
extends java.lang.Object
implements ProgressModel.Column

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	ProgressModel.ProcessColumn.ProcessData

Field Summary

Fields

Modifier and Type	Field and Description
ProgressModel.ProcessColumn.ProcessData[]	data
private boolean	isEditable

Constructor Summary

Constructors

Constructor and Description
ProcessColumn(int size)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getObject(int row)
int	getRowCount()
boolean	isEditable()
void	setEditable(boolean b)
void	setProgress(int value, int row)
void	setText(java.lang.String value, int row)

Methods inherited from class java.lang.Object

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

Field Detail

data

public final ProgressModel.ProcessColumn.ProcessData[] data

isEditable

private boolean isEditable

Constructor Detail

ProcessColumn

public ProcessColumn(int size)

Method Detail

getObject

public java.lang.Object getObject(int row)

Specified by:

getObject in interface ProgressModel.Column

setProgress

public void setProgress(int value,
                        int row)

setText

public void setText(java.lang.String value,
                    int row)

getRowCount

public int getRowCount()

Specified by:

getRowCount in interface ProgressModel.Column

setEditable

public void setEditable(boolean b)

isEditable

public boolean isEditable()

Specified by:

isEditable in interface ProgressModel.Column