public void delCol(int col) throws RemoteException {
df.delCol(col);
fireTableStructureChanged();
}
public void addCol(RLegalName name, RVectorFactor v) throws RemoteException {
df.addCol(name, v);
fireTableStructureChanged();
}
public void delRow(int row) throws RemoteException {
df.delRow(row);
fireTableRowsDeleted(row, row);
}
public void addRow(int row, RLegalName name) throws RemoteException {
df.addRow(row, name);
fireTableRowsInserted(row, row);
}
public void addCol(int col, RLegalName name, RFactor v) throws RemoteException {
df.addCol(col, name, v);
fireTableStructureChanged();
}
public void addRow(int row) throws RemoteException {
df.addRow(row);
fireTableRowsInserted(row, row);
}
public CellValue getValueAt(int row, int col) {
return new CellValue(df.get(row, col), df.getCol(col));
}
public String getColumnName(int col) {
return df.getColName(col);
}
public int getRowCount() {
return df.getRowCount();
}
public int getColumnCount() {
return df.getColumnCount();
}