private JPanel createCompPanel() {
filesets = new Vector();
int count = installer.getIntegerProperty("comp.count");
JPanel panel = new JPanel(new GridLayout(count, 1));
String osClass = OperatingSystem.getOperatingSystem().getClass().getName();
osClass = osClass.substring(osClass.indexOf('$') + 1);
for (int i = 0; i < count; i++) {
String os = installer.getProperty("comp." + i + ".os");
if (os != null && !osClass.equals(os)) continue;
JCheckBox checkBox =
new JCheckBox(
installer.getProperty("comp." + i + ".name")
+ " ("
+ installer.getProperty("comp." + i + ".disk-size")
+ "Mb)");
checkBox.getModel().setSelected(true);
checkBox.addActionListener(this);
checkBox.setRequestFocusEnabled(false);
filesets.addElement(new Integer(i));
panel.add(checkBox);
}
Dimension dim = panel.getPreferredSize();
dim.width = Integer.MAX_VALUE;
panel.setMaximumSize(dim);
return panel;
}
/** Description of the Method */
public void init() {
// super.init();
size = new Dimension(570, 570);
contentPane = (JPanel) this.getContentPane();
contentPane.setLayout(borderLayout1);
Dimension d = messagePanel.getSize();
d.height += 20;
messagePanel.setPreferredSize(d);
contentPane.add(messagePanel, BorderLayout.SOUTH);
contentPane.setOpaque(true);
userPanel.setLayout(new GridBagLayout());
GridBagConstraints gbc = new GridBagConstraints();
gbc.anchor = GridBagConstraints.WEST;
gbc.insets = new Insets(2, 2, 2, 2);
messagePanel.setLayout(borderLayout5);
contentPane.setOpaque(true);
contentPane.setBackground(Color.white);
this.setSize(size);
messagePanel.add(labelMessage, BorderLayout.NORTH);
// Logg.logg("MhClient: Före XttTree-skapande", 6);
this.mhTable = new MhTable(root, false, this.labelMessage);
// Logg.logg("MhClient: mhTable-skapande klart", 6);
this.contentPane.add(this.mhTable.splitPane, BorderLayout.CENTER);
}
/**
* Returns the preferred size of the viewport for a view component. For example the preferredSize
* of a JList component is the size required to acommodate all of the cells in its list however
* the value of preferredScrollableViewportSize is the size required for
* JList.getVisibleRowCount() rows. A component without any properties that would effect the
* viewport size should just return getPreferredSize() here.
*
* @return The preferredSize of a JViewport whose view is this Scrollable.
* @see JViewport#getPreferredSize
*/
public Dimension getPreferredScrollableViewportSize() {
Dimension size = getPreferredSize();
Dimension retval = new Dimension();
retval.width = size.width > 600 ? 600 : size.width;
retval.height = size.height > 400 ? 400 : size.height;
return retval;
}
void jButtonWeights_actionPerformed(ActionEvent e) {
NumberGeneratorDialog dlg =
new NumberGeneratorDialog(
(Frame) null,
"Weights",
"Weight of synaptic connections",
mySynProps.getWeightsGenerator(),
true);
// Center the window
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
Dimension frameSize = dlg.getSize();
if (frameSize.height > screenSize.height) {
frameSize.height = screenSize.height;
}
if (frameSize.width > screenSize.width) {
frameSize.width = screenSize.width;
}
dlg.setLocation(
(screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
dlg.setVisible(true);
jTextFieldWeights.setText(mySynProps.getWeightsGenerator().toShortString());
// mySynProps.setWeightsGenerator(dlg.getFinalNumGen());
}
public GridDatatype makeSubset(
Range rt_range, Range e_range, Range t_range, Range z_range, Range y_range, Range x_range)
throws InvalidRangeException {
// get the ranges list
int rank = getRank();
Range[] ranges = new Range[rank];
if (null != getXDimension()) ranges[xDimOrgIndex] = x_range;
if (null != getYDimension()) ranges[yDimOrgIndex] = y_range;
if (null != getZDimension()) ranges[zDimOrgIndex] = z_range;
if (null != getTimeDimension()) ranges[tDimOrgIndex] = t_range;
if (null != getRunTimeDimension()) ranges[rtDimOrgIndex] = rt_range;
if (null != getEnsembleDimension()) ranges[eDimOrgIndex] = e_range;
List<Range> rangesList = Arrays.asList(ranges);
// subset the variable
VariableDS v_section = (VariableDS) vs.section(new Section(rangesList));
List<Dimension> dims = v_section.getDimensions();
for (Dimension dim : dims) {
dim.setShared(true); // make them shared (section will make them unshared)
}
// subset the axes in the GridCoordSys
GridCoordSys gcs_section =
new GridCoordSys(gcs, rt_range, e_range, t_range, z_range, y_range, x_range);
// now we can make the geogrid
return new GeoGrid(dataset, v_section, gcs_section);
}
public HeaderPanel(String heading) {
super();
this.setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
this.setBackground(background);
JLabel panelLabel = new JLabel(" " + heading, SwingConstants.LEFT);
Font labelFont = new Font("Dialog", Font.BOLD, 18);
panelLabel.setFont(labelFont);
this.add(panelLabel);
this.add(Box.createHorizontalGlue());
refresh = new JButton("Refresh");
refresh.addActionListener(this);
this.add(refresh);
this.add(Box.createHorizontalStrut(5));
root = new JComboBox();
Dimension d = root.getPreferredSize();
d.width = 90;
root.setPreferredSize(d);
root.setMaximumSize(d);
File[] roots = directoryPane.getRoots();
for (int i = 0; i < roots.length; i++) root.addItem(roots[i].getAbsolutePath());
this.add(root);
root.setSelectedIndex(directoryPane.getCurrentRootIndex());
root.addActionListener(this);
this.add(Box.createHorizontalStrut(17));
}
/**
* Get the smallest size at which this Widget can reasonably be drawn. When a WidgetContainer lays
* out its contents, it will attempt never to make this Widget smaller than its minimum size.
*/
public Dimension getMinimumSize() {
if (minColSize == null) calculateSizes();
Dimension minSize = new Dimension(0, 0);
for (int i = 0; i < minColSize.length; i++) minSize.width += minColSize[i];
for (int i = 0; i < minRowSize.length; i++) minSize.height += minRowSize[i];
return minSize;
}
/**
* Get the preferred size at which this Widget will look best. When a WidgetContainer lays out its
* contents, it will attempt to make this Widget as close as possible to its preferred size.
*/
public Dimension getPreferredSize() {
if (prefColSize == null) calculateSizes();
Dimension prefSize = new Dimension(0, 0);
for (int i = 0; i < prefColSize.length; i++) prefSize.width += prefColSize[i];
for (int i = 0; i < prefRowSize.length; i++) prefSize.height += prefRowSize[i];
return prefSize;
}
/** Is called when the applet wants to be resized. */
@Override
public void appletResize(int width, int height) {
currentAppletSize.width = width;
currentAppletSize.height = height;
final Dimension currentSize = new Dimension(currentAppletSize.width, currentAppletSize.height);
if (loader != null) {
AppContext appCtxt = loader.getAppContext();
if (appCtxt != null) appEvtQ = (java.awt.EventQueue) appCtxt.get(AppContext.EVENT_QUEUE_KEY);
}
final AppletPanel ap = this;
if (appEvtQ != null) {
appEvtQ.postEvent(
new InvocationEvent(
Toolkit.getDefaultToolkit(),
new Runnable() {
@Override
public void run() {
if (ap != null) {
ap.dispatchAppletEvent(APPLET_RESIZE, currentSize);
}
}
}));
}
}
/**
* Randomly picks the location of a new window, such that it fits completely on the screen.
*
* @param desktopPane the desktop pane that the frame is being added to.
* @param frame the JInternalFrame which is being added.
* @param desiredSize the desired dimensions of the frame.
*/
private static void setGoodBounds(
JInternalFrame frame, JDesktopPane desktopPane, Dimension desiredSize) {
RandomUtil randomUtil = RandomUtil.getInstance();
Dimension desktopSize = desktopPane.getSize();
Dimension d = new Dimension(desiredSize);
int tx = desktopSize.width - d.width;
int ty = desktopSize.height - d.height;
if (tx < 0) {
tx = 0;
d.width = desktopSize.width;
} else {
tx = (int) (randomUtil.nextDouble() * tx);
}
if (ty < 0) {
ty = 0;
d.height = desktopSize.height;
} else {
ty = (int) (randomUtil.nextDouble() * ty);
}
frame.setBounds(tx, ty, d.width, d.height);
}
/**
* Query the maximum image size allowed.
*
* @return the maximum image size allowed.
*/
public Dimension getMaximumSize() {
final Dimension retval = new Dimension();
final Hashtable depthMap = getDepthMap();
int item = 0;
synchronized (getActiveVector()) {
final Enumeration keys = getDepthMap().keys();
while (keys.hasMoreElements()) {
final Bookmark bookmark = (Bookmark) keys.nextElement();
final Rectangle bounds = getTextBounds(item++, bookmark, depthMap.get(bookmark));
final int width = bounds.x + bounds.width;
if (width > retval.width) {
retval.width = width;
}
retval.height = bounds.y + bounds.height;
}
}
retval.width += (2 * getFontMetrics(getFont()).getMaxAdvance());
retval.height += (2 * getFontHeight());
return retval;
}
public void paint(Graphics g) {
// Only create the image at the beginning -
if ((img == null) || (prefsize.width != size().width) || (prefsize.height != size().height)) {
prefsize.width = size().width;
prefsize.height = size().height;
scale = findScale();
// System.out.println("New scale = " + scale);
img = createImage(size().width, size().height);
ig = img.getGraphics();
redrawneeded = true;
}
if (redrawneeded == true) {
drawBackground(ig, Color.black);
drawScene(ig);
if (drawAxes == true) {
drawAxes(ig);
}
redrawneeded = false;
} else {
ig = img.getGraphics();
}
g.drawImage(img, 0, 0, this);
}
private void checkSizes() {
Dimension vsz = scroll_pane.getViewport().getViewSize();
Dimension csz = draw_area.getSize();
Dimension nsz = new Dimension((int) (vsz.width * x_scale), (int) (vsz.height * y_scale));
boolean chng = false;
if (nsz.width > csz.width) {
if (vsz.width >= csz.width) {
csz.width = vsz.width;
chng = true;
x_scale = 1;
}
} else if (nsz.width < csz.width) {
if (x_scale == 1) {
csz.width = vsz.width;
chng = true;
}
}
if (nsz.height > csz.height) {
if (vsz.height >= csz.height) {
csz.height = vsz.height;
chng = true;
y_scale = 1;
}
} else if (nsz.height < csz.height) {
if (y_scale == 1) {
csz.height = vsz.height;
chng = true;
}
}
if (chng) draw_area.setSize(csz);
}
/** get the shape */
public int[] getShape() {
int[] shape = new int[mydims.size()];
for (int i = 0; i < mydims.size(); i++) {
Dimension d = mydims.get(i);
shape[i] = d.getLength();
}
return shape;
}
private int findDimension(Dimension want) {
java.util.List dims = vs.getDimensions();
for (int i = 0; i < dims.size(); i++) {
Dimension d = (Dimension) dims.get(i);
if (d.equals(want)) return i;
}
return -1;
}
public void paint(Graphics g) {
super.paint(g);
Dimension size = getSize();
double w = size.getWidth() - 50;
double h = size.getHeight() + 20;
try {
readFile();
} catch (IOException e) {
System.err.println("IO issue");
}
barWidth = ((int) (w / numBars)) - 20;
pos = 5;
int xPos[] = {pos, pos, pos, pos};
int yPos[] = {pos, pos, pos, pos};
maxVal = maxValue(values);
double barH, ratio;
for (int i = 0; i < numBars - 1; i++) {
Color col[] = new Color[numBars];
for (int j = 0; j < numBars - 1; j++) {
col[j] = new Color((int) (Math.random() * 0x1000000));
}
ratio = (double) values[i] / (double) maxVal;
barH = ((h) * ratio) - 10;
xPos[0] = pos;
xPos[2] = pos + barWidth;
xPos[1] = xPos[0];
xPos[3] = xPos[2];
yPos[0] = (int) h;
yPos[1] = (int) barH;
yPos[2] = yPos[1];
yPos[3] = yPos[0];
System.out.println(
"xPos:" + xPos[1] + " yPos:" + yPos[0] + " h:" + h + " barH:" + barH + " ratio:" + ratio
+ " pos:" + pos);
int stringPtsY[] = {
((i + 1) * 20) + 180, ((i + 1) * 20) + 200, ((i + 1) * 20) + 200, ((i + 1) * 20) + 180
};
int stringPtsX[] = {600, 600, 580, 580};
g.setColor(col[i]);
g.fillPolygon(xPos, yPos, xPos.length);
g.fillPolygon(stringPtsX, stringPtsY, 4);
g.setColor(Color.black);
g.drawString(labels[i], 610, ((i + 1) * 20) + 195);
pos = pos + barWidth + 10;
}
}
protected void checkMinimumSize() {
Dimension d = getDrawingSize();
if (fViewSize.height < d.height || fViewSize.width < d.width) {
fViewSize.height = d.height + SCROLL_OFFSET;
fViewSize.width = d.width + SCROLL_OFFSET;
setSize(fViewSize);
}
}
@Override
public Dimension getPreferredSize() {
final Dimension preferredSize = super.getPreferredSize();
final int width = 300;
if (preferredSize.width < width) {
preferredSize.width = width;
}
return preferredSize;
}
@Override
public Dimension preferredLayoutSize(final Container parent) {
Dimension result = new Dimension();
for (int i = 0; i < parent.getComponentCount(); i++) {
final Dimension prefSize = parent.getComponent(i).getPreferredSize();
result.width += prefSize.width;
result.height = Math.max(prefSize.height, result.height);
}
return result;
}
/**
* Return the size of the area occupied by the contained figures inside the drawing. This method
* is called by checkMinimumSize().
*/
protected Dimension getDrawingSize() {
FigureEnumeration fe = drawing().figures();
Dimension d = new Dimension(0, 0);
while (fe.hasNextFigure()) {
Rectangle r = fe.nextFigure().displayBox();
d.width = Math.max(d.width, r.x + r.width);
d.height = Math.max(d.height, r.y + r.height);
}
return d;
}
public AbstractCubeTable getQueriedTable(String alias) {
if (cube != null && cube.getName().equalsIgnoreCase(qb.getTabNameForAlias((alias)))) {
return (AbstractCubeTable) cube;
}
for (Dimension dim : dimensions) {
if (dim.getName().equalsIgnoreCase(qb.getTabNameForAlias(alias))) {
return dim;
}
}
return null;
}
public void setSizeRatio(double x, double y) {
xRatio = x;
yRatio = y;
if (x > 1.0) xRatio = x - 1.0;
if (y > 1.0) yRatio = y - 1.0;
if (defDim.width <= 0) defDim = getPreferredSize();
curLoc.x = (int) ((double) defLoc.x * xRatio);
curLoc.y = (int) ((double) defLoc.y * yRatio);
curDim.width = (int) ((double) defDim.width * xRatio);
curDim.height = (int) ((double) defDim.height * yRatio);
if (!inEditMode) setBounds(curLoc.x, curLoc.y, curDim.width, curDim.height);
}
public Container CreateContentPane() {
// Create the content-pane-to-be.
JPanel contentPane = new JPanel(new BorderLayout());
contentPane.setOpaque(true);
// the log panel
log = new JTextPane();
log.setEditable(false);
log.setBackground(Color.BLACK);
logPane = new JScrollPane(log);
kit = new HTMLEditorKit();
doc = new HTMLDocument();
log.setEditorKit(kit);
log.setDocument(doc);
DefaultCaret c = (DefaultCaret) log.getCaret();
c.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
ClearLog();
// the preview panel
previewPane = new DrawPanel();
previewPane.setPaperSize(paper_top, paper_bottom, paper_left, paper_right);
// status bar
statusBar = new StatusBar();
Font f = statusBar.getFont();
statusBar.setFont(f.deriveFont(Font.BOLD, 15));
Dimension d = statusBar.getMinimumSize();
d.setSize(d.getWidth(), d.getHeight() + 30);
statusBar.setMinimumSize(d);
// layout
Splitter split = new Splitter(JSplitPane.VERTICAL_SPLIT);
split.add(previewPane);
split.add(logPane);
split.setDividerSize(8);
contentPane.add(statusBar, BorderLayout.SOUTH);
contentPane.add(split, BorderLayout.CENTER);
// open the file
if (recentFiles[0].length() > 0) {
OpenFileOnDemand(recentFiles[0]);
}
// connect to the last port
ListSerialPorts();
if (Arrays.asList(portsDetected).contains(recentPort)) {
OpenPort(recentPort);
}
return contentPane;
}
public void setSizeRatio(double x, double y) {
double rx = x;
double ry = y;
if (rx > 1.0) rx = x - 1.0;
if (ry > 1.0) ry = y - 1.0;
if (defDim.width <= 0) defDim = getPreferredSize();
curLoc.x = (int) ((double) defLoc.x * rx);
curLoc.y = (int) ((double) defLoc.y * ry);
curDim.width = (int) ((double) defDim.width * rx);
curDim.height = (int) ((double) defDim.height * ry);
if (!inEditMode) setBounds(curLoc.x, curLoc.y, curDim.width, curDim.height);
twin.setSizeRatio(x, y);
}
public void reshape(int x, int y, int w, int h) {
if (inEditMode) {
defLoc.x = x;
defLoc.y = y;
defDim.width = w;
defDim.height = h;
}
curLoc.x = x;
curLoc.y = y;
curDim.width = w;
curDim.height = h;
super.reshape(x, y, w, h);
}
public void setEditMode(boolean s) {
twin.setEditMode(s);
setOpaque(s);
if (s) {
addMouseListener(ml);
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
defDim = getPreferredSize();
curDim.width = defDim.width;
curDim.height = defDim.height;
} else removeMouseListener(ml);
inEditMode = s;
}
/**
* Returns the preferred size of this component.
*
* @return the preferred size of this component
*/
public Dimension getPreferredSize() {
Dimension preferredSize = new Dimension();
int preferredHeight;
if (treeNode instanceof ContactNode) {
UIContact contact = ((ContactNode) treeNode).getContactDescriptor();
preferredHeight = contact.getPreferredHeight();
if (preferredHeight > 0) preferredSize.height = preferredHeight;
else if (contact instanceof ShowMoreContact) preferredSize.height = 20;
else if (isSelected && treeContactList.isContactButtonsVisible()) preferredSize.height = 70;
else preferredSize.height = 35;
} else if (treeNode instanceof GroupNode) {
UIGroup group = ((GroupNode) treeNode).getGroupDescriptor();
preferredHeight = group.getPreferredHeight();
if (isSelected && customActionButtonsUIGroup != null && !customActionButtonsUIGroup.isEmpty())
preferredSize.height = 70;
else if (preferredHeight > 0) preferredSize.height = preferredHeight;
else preferredSize.height = 20;
}
return preferredSize;
}
public Dimension resize(final Dimension pendingResize, final RequestOrigin origin) {
final int oldHeight = myTerminalHeight;
if (pendingResize.width <= MIN_WIDTH) {
pendingResize.setSize(MIN_WIDTH, pendingResize.height);
}
final Dimension pixelSize =
myDisplay.requestResize(
pendingResize,
origin,
myCursorY,
new ResizeHandler() {
@Override
public void sizeUpdated(int termWidth, int termHeight, int cursorY) {
myTerminalWidth = termWidth;
myTerminalHeight = termHeight;
myCursorY = cursorY;
myCursorX = Math.min(myCursorX, myTerminalWidth - 1);
myTabulator.resize(myTerminalWidth);
}
});
myScrollRegionBottom += myTerminalHeight - oldHeight;
return pixelSize;
}
private void updateUIState(ParamChangeEvent event) {
if (updatingUI.compareAndSet(false, true)) {
try {
if (event != null && canUseGeoCoordinates(product)) {
final String parmName = event.getParameter().getName();
if (parmName.startsWith("geo_")) {
final GeoPos geoPos1 =
new GeoPos((Float) paramNorthLat1.getValue(), (Float) paramWestLon1.getValue());
final GeoPos geoPos2 =
new GeoPos((Float) paramSouthLat2.getValue(), (Float) paramEastLon2.getValue());
updateXYParams(geoPos1, geoPos2);
} else if (parmName.startsWith("source_x") || parmName.startsWith("source_y")) {
syncLatLonWithXYParams();
}
}
int x1 = ((Number) paramX1.getValue()).intValue();
int y1 = ((Number) paramY1.getValue()).intValue();
int x2 = ((Number) paramX2.getValue()).intValue();
int y2 = ((Number) paramY2.getValue()).intValue();
int sx = ((Number) paramSX.getValue()).intValue();
int sy = ((Number) paramSY.getValue()).intValue();
updateSubsetDefRegion(x1, y1, x2, y2, sx, sy);
Dimension s =
productSubsetDef.getSceneRasterSize(
product.getSceneRasterWidth(), product.getSceneRasterHeight());
subsetWidthLabel.setText(String.valueOf(s.getWidth()));
subsetHeightLabel.setText(String.valueOf(s.getHeight()));
int sliderBoxX1 = x1 / thumbNailSubSampling;
int sliderBoxY1 = y1 / thumbNailSubSampling;
int sliderBoxX2 = x2 / thumbNailSubSampling;
int sliderBoxY2 = y2 / thumbNailSubSampling;
int sliderBoxW = sliderBoxX2 - sliderBoxX1 + 1;
int sliderBoxH = sliderBoxY2 - sliderBoxY1 + 1;
Rectangle box =
getScaledRectangle(new Rectangle(sliderBoxX1, sliderBoxY1, sliderBoxW, sliderBoxH));
imageCanvas.setSliderBoxBounds(box);
} finally {
updatingUI.set(false);
}
}
}
public void reshape(int x, int y, int w, int h) {
if (inEditMode) {
defLoc.x = x;
defLoc.y = y;
defDim.width = w;
defDim.height = h;
}
curLoc.x = x;
curLoc.y = y;
curDim.width = w;
curDim.height = h;
if (!inEditMode) {
if ((h != nHeight) || (h < rHeight)) {
adjustFont(w, h);
}
}
super.reshape(x, y, w, h);
}
