de.uka.ilkd.key.gui.smt

Class ProgressModel.TitleColumn

java.lang.Object

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

All Implemented Interfaces:

ProgressModel.Column

Enclosing class:

ProgressModel

public static class ProgressModel.TitleColumn
extends Object
implements ProgressModel.Column

Field Summary

Fields

Modifier and Type	Field and Description
private String[]	titles

Constructor Summary

Constructors

Constructor and Description
TitleColumn(String... titles)

Method Summary

Modifier and Type	Method and Description
Object	getObject(int row)
int	getRowCount()
boolean	isEditable()

Methods inherited from class java.lang.Object

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

Field Detail

titles

private final String[] titles

Constructor Detail

TitleColumn

public TitleColumn(String... titles)

Method Detail

getObject

public Object getObject(int row)

Specified by:

getObject in interface ProgressModel.Column

getRowCount

public int getRowCount()

Specified by:

getRowCount in interface ProgressModel.Column

isEditable

public boolean isEditable()

Specified by:

isEditable in interface ProgressModel.Column