private boolean setColumnPreferredSize() {
boolean sizeCalculated = false;
Font tableFont = UIManager.getFont("Table.font");
for (int i = 0; i < getColumnCount(); i++) {
TableColumn column = getColumnModel().getColumn(i);
if (i == GraphTableModel.ROOT_COLUMN) { // thin stripe, or root name, or nothing
setRootColumnSize(column);
} else if (i
== GraphTableModel.COMMIT_COLUMN) { // let commit message occupy as much as possible
column.setPreferredWidth(Short.MAX_VALUE);
} else if (i == GraphTableModel.AUTHOR_COLUMN) { // detect author with the longest name
// to avoid querying the last row (it would lead to full graph loading)
int maxRowsToCheck =
Math.min(MAX_ROWS_TO_CALC_WIDTH, getRowCount() - MAX_ROWS_TO_CALC_OFFSET);
if (maxRowsToCheck < 0) { // but if the log is small, check all of them
maxRowsToCheck = getRowCount();
}
int maxWidth = 0;
for (int row = 0; row < maxRowsToCheck; row++) {
String value = getModel().getValueAt(row, i).toString();
maxWidth = Math.max(getFontMetrics(tableFont).stringWidth(value), maxWidth);
if (!value.isEmpty()) sizeCalculated = true;
}
column.setMinWidth(
Math.min(maxWidth + UIUtil.DEFAULT_HGAP, MAX_DEFAULT_AUTHOR_COLUMN_WIDTH));
column.setWidth(column.getMinWidth());
} else if (i == GraphTableModel.DATE_COLUMN) { // all dates have nearly equal sizes
column.setMinWidth(
getFontMetrics(tableFont)
.stringWidth("mm" + DateFormatUtil.formatDateTime(new Date())));
column.setWidth(column.getMinWidth());
}
}
return sizeCalculated;
}
@Override
public int getRowHeight() {
if (myRowHeightIsComputing) {
return super.getRowHeight();
}
if (myRowHeight < 0) {
try {
myRowHeightIsComputing = true;
for (int row = 0; row < getRowCount(); row++) {
for (int column = 0; column < getColumnCount(); column++) {
final TableCellRenderer renderer = getCellRenderer(row, column);
if (renderer != null) {
final Object value = getValueAt(row, column);
final Component component =
renderer.getTableCellRendererComponent(this, value, true, true, row, column);
if (component != null) {
final Dimension size = component.getPreferredSize();
myRowHeight = Math.max(size.height, myRowHeight);
}
}
}
}
} finally {
myRowHeightIsComputing = false;
}
}
if (myMinRowHeight == null) {
myMinRowHeight = getFontMetrics(UIManager.getFont("Label.font")).getHeight();
}
return Math.max(myRowHeight, myMinRowHeight);
}
private boolean buildNoteSequence() {
noteSequence = new NoteSequence();
double quantizeBeatFactor = quantizeBeatSetting * 1000.0 * 60.0 / (double) getBPM();
double quantizeDurationFactor = quantizeDurationSetting * 1000.0 * 60.0 / (double) getBPM();
for (int i = 0; i < noteList.size(); i++) {
noteListElement = noteList.get(i);
if (noteListElement.underTone == true) {
continue;
}
note = noteListElement.note;
if (note < getLowPitch()) continue;
if (note > getHighPitch()) continue;
double startTime = (double) (noteListElement.startTime);
if (quantizeBeatFactor != 0.0)
startTime = Math.floor(startTime / quantizeBeatFactor) * quantizeBeatFactor;
long startTick = 1 + (long) (startTime * getTickRate() / 1000.0);
double endTime = (double) (noteListElement.endTime);
if (quantizeBeatFactor != 0.0)
endTime = Math.ceil(endTime / quantizeBeatFactor) * quantizeBeatFactor;
if (quantizeDurationFactor != 0)
endTime =
startTime
+ (Math.ceil((endTime - startTime) / quantizeDurationFactor)
* quantizeDurationFactor);
long endTick = 1 + (long) (endTime * getTickRate() / 1000.0);
if ((endTick - startTick) < 1) endTick = startTick + 1;
System.out.println(
"times: " + startTime + ", " + endTime + ", " + getStartTime() + ", " + getEndTime());
if (endTime < getStartTime()) continue;
if (startTime > getEndTime()) continue;
velocity = 64;
noteSequence.add(new NoteSequenceElement(note, ON, startTick, velocity));
noteSequence.add(new NoteSequenceElement(note, OFF, endTick, velocity));
}
if (noteSequence.size() == 0) {
return false;
} else {
noteSequence.sort();
return true;
}
}
public static BufferedImage scaleImage(BufferedImage bi, double scale) {
int w1 = (int) (Math.round(scale * bi.getWidth()));
int h1 = (int) (Math.round(scale * bi.getHeight()));
BufferedImage image = new BufferedImage(w1, h1, BufferedImage.TYPE_INT_RGB);
Graphics2D g2 = image.createGraphics();
g2.setRenderingHint(
RenderingHints.KEY_INTERPOLATION, RenderingHints.VALUE_INTERPOLATION_BICUBIC);
g2.setPaint(Color.white);
g2.fillRect(0, 0, w1, h1);
g2.drawImage(bi, 0, 0, w1, h1, null); // this);
g2.dispose();
return image;
}
@Override
public Component getTableCellEditorComponent(
JTable table, Object value, boolean isSelected, int row, int column) {
if (value == null) {
return sldSlider;
}
if (value instanceof Integer) {
int v = (Integer) value;
sldSlider.setValue(Math.min(Math.max(v, min), max));
} else {
sldSlider.setValue(max);
}
return sldSlider;
}
public void updateColumnSizes() {
final JTableHeader header = getTableHeader();
final TableCellRenderer defaultRenderer = header == null ? null : header.getDefaultRenderer();
final RowSorter<? extends TableModel> sorter = getRowSorter();
final List<? extends RowSorter.SortKey> current = sorter == null ? null : sorter.getSortKeys();
ColumnInfo[] columns = getListTableModel().getColumnInfos();
for (int i = 0; i < columns.length; i++) {
final ColumnInfo columnInfo = columns[i];
final TableColumn column = getColumnModel().getColumn(i);
// hack to get sort arrow included into the renderer component
if (sorter != null && columnInfo.isSortable()) {
sorter.setSortKeys(
Collections.singletonList(new RowSorter.SortKey(i, SortOrder.ASCENDING)));
}
final Component headerComponent =
defaultRenderer == null
? null
: defaultRenderer.getTableCellRendererComponent(
this, column.getHeaderValue(), false, false, 0, 0);
if (sorter != null && columnInfo.isSortable()) {
sorter.setSortKeys(current);
}
final Dimension headerSize =
headerComponent == null ? new Dimension(0, 0) : headerComponent.getPreferredSize();
final String maxStringValue;
final String preferredValue;
if (columnInfo.getWidth(this) > 0) {
int width = columnInfo.getWidth(this);
column.setMaxWidth(width);
column.setPreferredWidth(width);
column.setMinWidth(width);
} else if ((maxStringValue = columnInfo.getMaxStringValue()) != null) {
int width =
getFontMetrics(getFont()).stringWidth(maxStringValue) + columnInfo.getAdditionalWidth();
width = Math.max(width, headerSize.width);
column.setPreferredWidth(width);
column.setMaxWidth(width);
} else if ((preferredValue = columnInfo.getPreferredStringValue()) != null) {
int width =
getFontMetrics(getFont()).stringWidth(preferredValue) + columnInfo.getAdditionalWidth();
width = Math.max(width, headerSize.width);
column.setPreferredWidth(width);
}
}
}
// This method from http://www.exampledepot.com/egs/javax.swing.table/PackCol.html
public int packColumn(JTable table, int vColIndex, int margin) {
DefaultTableColumnModel colModel = (DefaultTableColumnModel) table.getColumnModel();
TableColumn col = colModel.getColumn(vColIndex);
int width = 0;
// Get width of column header
TableCellRenderer renderer = col.getHeaderRenderer();
if (renderer == null) {
renderer = table.getTableHeader().getDefaultRenderer();
}
Component comp =
renderer.getTableCellRendererComponent(table, col.getHeaderValue(), false, false, 0, 0);
width = comp.getPreferredSize().width;
// Get maximum width of column data
for (int r = 0; r < table.getRowCount(); r++) {
renderer = table.getCellRenderer(r, vColIndex);
comp =
renderer.getTableCellRendererComponent(
table, table.getValueAt(r, vColIndex), false, false, r, vColIndex);
width = Math.max(width, comp.getPreferredSize().width);
}
// Add margin
width += 2 * margin;
// Set the width
col.setPreferredWidth(width);
return width;
}
private void setColumnPreferredSize() {
for (int i = 0; i < getColumnCount(); i++) {
TableColumn column = getColumnModel().getColumn(i);
if (i == AbstractVcsLogTableModel.ROOT_COLUMN) { // thin stripe or nothing
int rootWidth = myUI.getColorManager().isMultipleRoots() ? ROOT_INDICATOR_WIDTH : 0;
// NB: all further instructions and their order are important, otherwise the minimum size
// which is less than 15 won't be applied
column.setMinWidth(rootWidth);
column.setMaxWidth(rootWidth);
column.setPreferredWidth(rootWidth);
} else if (i
== AbstractVcsLogTableModel
.COMMIT_COLUMN) { // let commit message occupy as much as possible
column.setPreferredWidth(Short.MAX_VALUE);
} else if (i
== AbstractVcsLogTableModel.AUTHOR_COLUMN) { // detect author with the longest name
int contentWidth = calcMaxContentColumnWidth(i, 1000);
column.setMinWidth(Math.min(contentWidth, MAX_DEFAULT_AUTHOR_COLUMN_WIDTH));
column.setWidth(column.getMinWidth());
} else if (i == AbstractVcsLogTableModel.DATE_COLUMN) { // all dates have nearly equal sizes
Font tableFont = UIManager.getFont("Table.font");
column.setMinWidth(
getFontMetrics(tableFont)
.stringWidth("mm" + DateFormatUtil.formatDateTime(new Date())));
column.setWidth(column.getMinWidth());
}
}
}
public void
setColumnWidths() { // See
// "http://java.sun.com/docs/books/tutorial/uiswing/components/table.html#custom"
int n = getModel().getColumnCount();
for (int j = 0; j < n; ++j) {
TableColumn column = getColumnModel().getColumn(j);
TableCellRenderer headerRenderer = column.getHeaderRenderer();
if (headerRenderer == null)
headerRenderer = getTableHeader().getDefaultRenderer(); // the new 1.3 way
Component columnComponent =
headerRenderer.getTableCellRendererComponent(
this, column.getHeaderValue(), false, false, -1, j);
Component cellComponent =
getDefaultRenderer(getColumnClass(j))
.getTableCellRendererComponent(this, getModel().getValueAt(0, j), false, false, 0, j);
int wantWidth =
Math.max(
columnComponent.getPreferredSize().width
+ 10, // fudge factor ... seems to always be too small otherwise (on x86 Linux)
cellComponent.getPreferredSize().width
+ 10 // fudge factor ... seems to always be too small otherwise (on Mac OS X)
);
column.setPreferredWidth(wantWidth);
}
}
private int getHeaderHeight() {
if ((header == null) || (header.getTable() == null)) {
return 0;
}
int height = 0;
boolean accomodatedDefault = false;
TableColumnModel columnModel = header.getColumnModel();
for (int column = 0; column < columnModel.getColumnCount(); column++) {
TableColumn aColumn = columnModel.getColumn(column);
boolean isDefault = (aColumn.getHeaderRenderer() == null);
if (!isDefault || !accomodatedDefault) {
Component comp = getHeaderRenderer(column);
int rendererHeight = comp.getPreferredSize().height;
height = Math.max(height, rendererHeight);
// Configuring the header renderer to calculate its preferred size
// is expensive. Optimise this by assuming the default renderer
// always has the same height as the first non-zero height that
// it returns for a non-null/non-empty value.
if (isDefault && rendererHeight > 0) {
Object headerValue = aColumn.getHeaderValue();
if (headerValue != null) {
headerValue = headerValue.toString();
if (headerValue != null && !headerValue.equals("")) {
accomodatedDefault = true;
}
}
}
}
}
return height + 2;
}
public void paintIcon(Component c, Graphics g, int x, int y) {
Color color = c == null ? Color.GRAY : c.getBackground();
// In a compound sort, make each succesive triangle 20%
// smaller than the previous one.
int dx = (int) (size / 2 * Math.pow(0.8, priority));
int dy = descending ? dx : -dx;
// Align icon (roughly) with font baseline.
y = y + 5 * size / 6 + (descending ? -dy : 0);
int shift = descending ? 1 : -1;
g.translate(x, y);
// Right diagonal.
g.setColor(color.darker());
g.drawLine(dx / 2, dy, 0, 0);
g.drawLine(dx / 2, dy + shift, 0, shift);
// Left diagonal.
g.setColor(color.brighter());
g.drawLine(dx / 2, dy, dx, 0);
g.drawLine(dx / 2, dy + shift, dx, shift);
// Horizontal line.
if (descending) {
g.setColor(color.darker().darker());
} else {
g.setColor(color.brighter().brighter());
}
g.drawLine(dx, 0, 0, 0);
g.setColor(color);
g.translate(-x, -y);
}
/** Generate the hierarchical cluster and display it as a denogram in the graph */
public TreeNode makeTree(ClutoSolution cs) {
int[] tsize = cs.getTreeCounts();
int[][] ftree = cs.getForwardTree();
int nnrows = tsize.length;
int nrows = cs.getMatrix().getRowCount();
// for (int i = 0; i < nnrows-1; i++) {
// String s = "ftree" + "\t" + i + "\t" + ftree[i][0] + "\t" + ftree[i][1] + "\t" + tsize[i];
// System.out.println(s);
// }
Cluster[] ca = new Cluster[nnrows];
for (int i = 0; i < nnrows - 1; i++) {
if (!true) {
String s = "ftree" + "\t" + i + "\t" + ftree[i][0] + "\t" + ftree[i][1] + "\t" + tsize[i];
System.out.println(s);
}
Cluster cn = i < nrows ? (Cluster) new RowCluster(tm, i, null) : new CompositeCluster();
cn.setSimilarity(Math.abs(tsize[i]));
ca[i] = cn;
if (ftree[i][0] > -1) {
cn.add(ca[ftree[i][0]]);
}
if (ftree[i][0] > -1) {
cn.add(ca[ftree[i][1]]);
}
rootNode = cn;
}
return rootNode;
}
private int calculateMaxRootWidth() {
int width = 0;
for (VirtualFile file : myLogDataHolder.getRoots()) {
Font tableFont = UIManager.getFont("Table.font");
width = Math.max(getFontMetrics(tableFont).stringWidth(file.getName() + " "), width);
}
return width;
}
private void scrollToRow(Integer row, Integer delta) {
Rectangle startRect = myTable.getCellRect(row, 0, true);
myTable.scrollRectToVisible(
new Rectangle(
startRect.x,
Math.max(startRect.y - delta, 0),
startRect.width,
myTable.getVisibleRect().height));
}
private void setMarked(int[] rows, final boolean marked) {
if (rows == null || rows.length == 0) {
return;
}
int firstRow = Integer.MAX_VALUE;
int lastRow = Integer.MIN_VALUE;
final Boolean newValue = marked ? Boolean.TRUE : Boolean.FALSE;
for (final int row : rows) {
final T element = myElements.get(row);
final Boolean prevValue = myMarkedMap.put(element, newValue);
if (!newValue.equals(prevValue)) {
notifyElementMarked(element, newValue.booleanValue());
}
firstRow = Math.min(firstRow, row);
lastRow = Math.max(lastRow, row);
}
fireTableRowsUpdated(firstRow, lastRow);
}
private int calcMaxContentColumnWidth(int columnIndex, int maxRowsToCheck) {
int maxWidth = 0;
for (int row = 0; row < maxRowsToCheck && row < getRowCount(); row++) {
TableCellRenderer renderer = getCellRenderer(row, columnIndex);
Component comp = prepareRenderer(renderer, row, columnIndex);
maxWidth = Math.max(comp.getPreferredSize().width, maxWidth);
}
return maxWidth + UIUtil.DEFAULT_HGAP;
}
/*
* Adjust the width of the specified column in the table
*/
public void adjustColumn(final int column) {
TableColumn tableColumn = table.getColumnModel().getColumn(column);
if (!tableColumn.getResizable()) return;
int columnHeaderWidth = getColumnHeaderWidth(column);
int columnDataWidth = getColumnDataWidth(column);
int preferredWidth = Math.max(columnHeaderWidth, columnDataWidth);
updateTableColumn(column, preferredWidth);
}
public ScientificRenderer(int sigfigs) {
sigfigs = Math.min(sigfigs, 6);
if (format instanceof DecimalFormat) {
String pattern = "0.0"; // $NON-NLS-1$
for (int i = 0; i < sigfigs - 1; i++) {
pattern += "0"; // $NON-NLS-1$
}
pattern += "E0"; // $NON-NLS-1$
((DecimalFormat) format).applyPattern(pattern);
}
}
/**
* Calculates statistical values for a data array.
*
* @param data the data array
* @return the max, min, mean, SD, SE and non-NaN data count
*/
private double[] getStatistics(double[] data) {
double max = -Double.MAX_VALUE;
double min = Double.MAX_VALUE;
double sum = 0.0;
double squareSum = 0.0;
int count = 0;
for (int i = 0; i < data.length; i++) {
if (Double.isNaN(data[i])) {
continue;
}
count++;
max = Math.max(max, data[i]);
min = Math.min(min, data[i]);
sum += data[i];
squareSum += data[i] * data[i];
}
double mean = sum / count;
double sd = count < 2 ? Double.NaN : Math.sqrt((squareSum - count * mean * mean) / (count - 1));
if (max == -Double.MAX_VALUE) max = Double.NaN;
if (min == Double.MAX_VALUE) min = Double.NaN;
return new double[] {max, min, mean, sd, sd / Math.sqrt(count), count};
}
public void updateColumnSizes() {
final JTableHeader header = getTableHeader();
final TableCellRenderer defaultRenderer = header == null ? null : header.getDefaultRenderer();
ColumnInfo[] columns = getListTableModel().getColumnInfos();
for (int i = 0; i < columns.length; i++) {
final ColumnInfo columnInfo = columns[i];
final TableColumn column = getColumnModel().getColumn(i);
final Component headerComponent =
defaultRenderer == null
? null
: defaultRenderer.getTableCellRendererComponent(
this, column.getHeaderValue(), false, false, 0, 0);
final Dimension headerSize =
headerComponent == null ? new Dimension(0, 0) : headerComponent.getPreferredSize();
final String maxStringValue;
final String preferredValue;
if (columnInfo.getWidth(this) > 0) {
int width = columnInfo.getWidth(this);
column.setMaxWidth(width);
column.setPreferredWidth(width);
column.setMinWidth(width);
} else if ((maxStringValue = columnInfo.getMaxStringValue()) != null) {
int width =
getFontMetrics(getFont()).stringWidth(maxStringValue) + columnInfo.getAdditionalWidth();
width = Math.max(width, headerSize.width);
column.setPreferredWidth(width);
column.setMaxWidth(width);
} else if ((preferredValue = columnInfo.getPreferredStringValue()) != null) {
int width =
getFontMetrics(getFont()).stringWidth(preferredValue) + columnInfo.getAdditionalWidth();
width = Math.max(width, headerSize.width);
column.setPreferredWidth(width);
}
}
}
private int[] getWidths(TableModel tableModel) {
int[] widths = new int[tableModel.getColumnCount()];
for (int r = 0;
r < Math.min(tableModel.getRowCount(), 500);
r++) { // 500 is not for performance, but for using only a sample of data with huge table
for (int c = 0; c < tableModel.getColumnCount(); c++) {
Object o = tableModel.getValueAt(r, c);
if (o instanceof String) {
String s = ((String) o).trim();
if (s.length() > widths[c]) widths[c] = s.length();
}
}
}
return widths;
}
private void setRootColumnSize(TableColumn column) {
int rootWidth;
if (!myUI.isMultipleRoots()) {
rootWidth = 0;
} else if (!myUI.isShowRootNames()) {
rootWidth = ROOT_INDICATOR_WIDTH;
} else {
rootWidth = Math.min(calculateMaxRootWidth(), ROOT_NAME_MAX_WIDTH);
}
// NB: all further instructions and their order are important, otherwise the minimum size which
// is less than 15 won't be applied
column.setMinWidth(rootWidth);
column.setMaxWidth(rootWidth);
column.setPreferredWidth(rootWidth);
}
/*
* Calculate the width based on the widest cell renderer for the
* given column.
*/
private int getColumnDataWidth(int column) {
if (!isColumnDataIncluded) return 0;
int preferredWidth = 0;
int maxWidth = table.getColumnModel().getColumn(column).getMaxWidth();
for (int row = 0; row < table.getRowCount(); row++) {
preferredWidth = Math.max(preferredWidth, getCellDataWidth(row, column));
// We've exceeded the maximum width, no need to check other rows
if (preferredWidth >= maxWidth) break;
}
return preferredWidth;
}
/*
* Update the TableColumn with the newly calculated width
*/
private void updateTableColumn(int column, int width) {
final TableColumn tableColumn = table.getColumnModel().getColumn(column);
if (!tableColumn.getResizable()) return;
width += spacing;
// Don't shrink the column width
if (isOnlyAdjustLarger) {
width = Math.max(width, tableColumn.getPreferredWidth());
}
columnSizes.put(tableColumn, new Integer(tableColumn.getWidth()));
table.getTableHeader().setResizingColumn(tableColumn);
tableColumn.setWidth(width);
}
@Override
public Component getTableCellRendererComponent(
JTable table, Object value, boolean isSelected, boolean hasFocus, int row, int column) {
String text;
Color color;
if (value instanceof VirtualFile) {
VirtualFile root = (VirtualFile) value;
int readableRow =
ScrollingUtil.getReadableRow(table, Math.round(myUi.getTable().getRowHeight() * 0.5f));
if (row < readableRow) {
text = "";
} else if (row == 0
|| !value.equals(table.getModel().getValueAt(row - 1, column))
|| readableRow == row) {
text = root.getName();
} else {
text = "";
}
color = getRootBackgroundColor(root, myUi.getColorManager());
} else {
text = null;
color = UIUtil.getTableBackground(isSelected);
}
myColor = color;
Color background =
((VcsLogGraphTable) table)
.getStyle(row, column, text, hasFocus, isSelected)
.getBackground();
assert background != null;
myBorderColor = background;
setForeground(UIUtil.getTableForeground(false));
if (myUi.isShowRootNames()) {
setText(text);
isNarrow = false;
} else {
setText("");
isNarrow = true;
}
return this;
}
private static void setColumnWidths(JTable table, MetricTableSpecification tableSpecification) {
final TableModel model = table.getModel();
final TableColumnModel columnModel = table.getColumnModel();
final List<Integer> columnWidths = tableSpecification.getColumnWidths();
final List<String> columnOrder = tableSpecification.getColumnOrder();
if (columnWidths != null && !columnWidths.isEmpty()) {
final int columnCount = model.getColumnCount();
for (int i = 0; i < columnCount; i++) {
final String columnName = model.getColumnName(i);
final int index = columnOrder.indexOf(columnName);
if (index != -1) {
final Integer width = columnWidths.get(index);
final TableColumn column = columnModel.getColumn(i);
column.setPreferredWidth(width.intValue());
}
}
} else {
final Graphics graphics = table.getGraphics();
final Font font = table.getFont();
final FontMetrics fontMetrics = table.getFontMetrics(font);
final int rowCount = model.getRowCount();
int maxFirstColumnWidth = 100;
for (int i = 0; i < rowCount; i++) {
final String name = (String) model.getValueAt(i, 0);
if (name != null) {
final Rectangle2D stringBounds = fontMetrics.getStringBounds(name, graphics);
final double stringWidth = stringBounds.getWidth();
if (stringWidth > maxFirstColumnWidth) {
maxFirstColumnWidth = (int) stringWidth;
}
}
}
final int allocatedFirstColumnWidth = Math.min(300, maxFirstColumnWidth + 5);
final TableColumn column = columnModel.getColumn(0);
column.setPreferredWidth(allocatedFirstColumnWidth);
}
}
public void setMinRowHeight(int i) {
setRowHeight(Math.max(i, getRowHeight()));
}
/**
* Modelo de tabla que implementa una matriz ortogonal como DDE para representar las series de datos
*
* @author Erik Giron (200313492)
*/
public class Hoja extends AbstractTableModel {
private int max_col = (int) Math.pow(2, 14); // almacena la columna maxima que se ha alcanzado
private int max_row = (int) Math.pow(2, 18);
private String id = new String();
private Matriz tabla = new Matriz();
private tda.Dato datoAInsertar = new Dato();
public void setId(String sId) {
this.id = sId;
}
/**
* Devuelve el id de la hoja
*
* @return Identificador de la hoja
*/
public String getId() {
return this.id;
}
/** Crea una nueva instancia de Hoja */
public Hoja() {
id = "Hoja1";
}
/** Constructor especificando el String */
public Hoja(String ID) {
id = ID;
}
/** Vacia la matriz */
public void Borrar() {
tabla.vaciar();
}
/** Obtiene tabla de la hoja */
public Matriz getTabla() {
return this.tabla;
}
/** Inserta una nueva tabla en la hoja */
public void setTabla(Matriz m) {
tabla = m;
}
/**
* Devuelve el maximo numero de filas
*
* @return filas
*/
public int getRowCount() {
return max_row;
}
/**
* Devuelve el maximo numero de columnas
*
* @return columnas
*/
public int getColumnCount() {
return max_col;
}
/** Retorna valor al indice establecido */
public Object getValueAt(int row, int column) {
if (row == 0 && column == 0) {
return "";
} else if (row == 0 && column > 0) {
return column;
} else if (column == 0 && row > 0) {
return row;
} else {
this.tabla.irA(column, row);
if (this.tabla.datoActual() != null) return this.tabla.stringActual();
else return "";
}
}
/** Retorna verdadero para celdas que se pueden editar */
public boolean isCellEditable(int rowIndex, int columnIndex) {
if (rowIndex == 0 || columnIndex == 0) return false;
else return true;
}
/** Ingresa o actualiza dato */
public void setValueAt(Object value, int row, int col) {
datoAInsertar.setExpr(value.toString());
this.tabla.insertar(datoAInsertar, col, row);
fireTableCellUpdated(row, col);
}
/** Asigna referencia a la matriz del workplace donde se encuentra contenida */
public void setWorkplace(Workplace wp) {
tabla.setWorkplace(wp);
}
}
public void updateColumnSizes() {
final JTableHeader header = getTableHeader();
final TableCellRenderer defaultRenderer = header == null ? null : header.getDefaultRenderer();
final RowSorter<? extends TableModel> sorter = getRowSorter();
final List<? extends RowSorter.SortKey> current = sorter == null ? null : sorter.getSortKeys();
ColumnInfo[] columns = getListTableModel().getColumnInfos();
int[] sizeMode = new int[columns.length];
int[] headers = new int[columns.length];
int[] widths = new int[columns.length];
int allColumnWidth = 0;
int varCount = 0;
// calculate
for (int i = 0; i < columns.length; i++) {
final ColumnInfo columnInfo = columns[i];
final TableColumn column = getColumnModel().getColumn(i);
// hack to get sort arrow included into the renderer component
if (sorter != null && columnInfo.isSortable()) {
sorter.setSortKeys(
Collections.singletonList(new RowSorter.SortKey(i, SortOrder.ASCENDING)));
}
final Component headerComponent =
defaultRenderer == null
? null
: defaultRenderer.getTableCellRendererComponent(
this, column.getHeaderValue(), false, false, 0, 0);
if (sorter != null && columnInfo.isSortable()) {
sorter.setSortKeys(current);
}
if (headerComponent != null) {
headers[i] = headerComponent.getPreferredSize().width;
}
final String maxStringValue;
final String preferredValue;
if (columnInfo.getWidth(this) > 0) {
sizeMode[i] = 1;
int width = columnInfo.getWidth(this);
widths[i] = width;
} else if ((maxStringValue = columnInfo.getMaxStringValue()) != null) {
sizeMode[i] = 2;
widths[i] =
getFontMetrics(getFont()).stringWidth(maxStringValue) + columnInfo.getAdditionalWidth();
varCount++;
} else if ((preferredValue = columnInfo.getPreferredStringValue()) != null) {
sizeMode[i] = 3;
widths[i] =
getFontMetrics(getFont()).stringWidth(preferredValue) + columnInfo.getAdditionalWidth();
varCount++;
}
allColumnWidth += widths[i];
}
// apply: distribute available space between resizable columns
// and make sure that header will fit as well
int viewWidth = getParent() != null ? getParent().getWidth() : getWidth();
double gold = 0.5 * (3 - Math.sqrt(5));
int addendum =
varCount == 0 || viewWidth < allColumnWidth
? 0
: (int)
((allColumnWidth < gold * viewWidth
? gold * viewWidth
: allColumnWidth < (1 - gold) * viewWidth
? (1 - gold) * viewWidth
: viewWidth)
- allColumnWidth)
/ varCount;
for (int i = 0; i < columns.length; i++) {
TableColumn column = getColumnModel().getColumn(i);
int width = widths[i];
if (sizeMode[i] == 1) {
column.setMaxWidth(width);
column.setPreferredWidth(width);
column.setMinWidth(width);
} else if (sizeMode[i] == 2) {
width = Math.max(width + addendum, headers[i]);
column.setPreferredWidth(width);
column.setMaxWidth(width);
} else if (sizeMode[i] == 3) {
width = Math.max(width + addendum, headers[i]);
column.setPreferredWidth(width);
}
}
}
/** Get an image based on index numbers */
public BufferedImage getIndexedImage(
int x, int y, int zoom, int cacheZoom, GMapListener listener) {
if (listener != null) {
if (!getGDataSource().isCached(x, y, zoom)) {
listener.updateGMapPainting();
listener.updateGMapMessage(GMap.MESSAGE_DOWNLOADING);
} else {
listener.updateGMapMessage(GMap.MESSAGE_PAINTING);
}
}
BufferedImage thumbImage = getGDataSource().getImage(x, y, zoom, true);
if (thumbImage == null) return defaultImage;
// if we dont have to paint cache, return here
if (cacheZoom == (GPhysicalPoint.MIN_ZOOM - 1) || cacheZoom >= zoom) return thumbImage;
BufferedImage paintedImage =
new BufferedImage(
GDataSource.sourceSize.width,
GDataSource.sourceSize.height,
BufferedImage.TYPE_INT_ARGB);
Graphics2D graphics2D = paintedImage.createGraphics();
graphics2D.drawImage(
thumbImage, 0, 0, GDataSource.sourceSize.width, GDataSource.sourceSize.height, null);
// now lets move to painting the cache
double imageNum = Math.pow(2, zoom - cacheZoom);
// draw cache lines
int startX = (int) (imageNum * x);
int startY = (int) (imageNum * y);
// get composite to restore later, set new transparent composite
Composite originalComposite = graphics2D.getComposite();
graphics2D.setComposite(opacity40);
// draw grid
for (int i = 0; i < imageNum; i++) {
for (int j = 0; j < imageNum; j++) {
// points
Point upperLeft =
new Point(
(int) (GDataSource.sourceSize.width / imageNum) * i,
(int) (GDataSource.sourceSize.height / imageNum) * j);
Dimension size =
new Dimension(
(int) (GDataSource.sourceSize.width / imageNum),
(int) (GDataSource.sourceSize.height / imageNum));
// draw lines
graphics2D.setColor(new Color(100, 100, 100));
graphics2D.drawLine(upperLeft.x, upperLeft.y, upperLeft.x + size.width, upperLeft.y);
graphics2D.drawLine(upperLeft.x, upperLeft.y, upperLeft.x, upperLeft.y + size.height);
// check if file exists
if (getGDataSource().isCached(startX + i, startY + j, cacheZoom))
graphics2D.setColor(Color.RED);
else graphics2D.setColor(new Color(155, 155, 155));
// shade rectangle
graphics2D.fillRect(upperLeft.x, upperLeft.y, size.width, size.height);
}
}
// restore composite
graphics2D.setComposite(originalComposite);
return paintedImage;
}