Java PlatformDefaults类代码示例

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final float getPixelUnitFactor(boolean isHor) {
	switch (PlatformDefaults.getLogicalPixelBase()) {
	case PlatformDefaults.BASE_FONT_SIZE:
		BitmapFont bmf = getFont();
		if (bmf == null) {
			return 1f;
		}
		float f = isHor ? bmf.getLineWidth("W") / 5f : bmf.getPreferredSize() / 13f;
		return f;
	case PlatformDefaults.BASE_SCALE_FACTOR:
		Float s = isHor ? PlatformDefaults.getHorizontalScaleFactor() : PlatformDefaults.getVerticalScaleFactor();
		if (s != null) {
			return s.floatValue();
		}
		return (isHor ? getHorizontalScreenDPI() : getVerticalScreenDPI())
				/ (float) PlatformDefaults.getDefaultDPI();

	default:
		return 1f;
	}
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
@Override
public void init() {
    JDialog.setDefaultLookAndFeelDecorated(true);
    JFrame.setDefaultLookAndFeelDecorated(true);

    try {
        UIManager.setLookAndFeel(lookAndFeel);
        initUIDefaults();
        initButtonsKeyBinding();
    } catch (ClassNotFoundException | InstantiationException | IllegalAccessException
            | UnsupportedLookAndFeelException e) {
        throw new RuntimeException(e);
    }

    if (marginSize != null) {
        UnitValue marginValue = new UnitValue(marginSize);
        PlatformDefaults.setPanelInsets(marginValue, marginValue, marginValue, marginValue);
    }

    if (spacingSize != null) {
        UnitValue spacingValue = new UnitValue(spacingSize);
        PlatformDefaults.setGridCellGap(spacingValue, spacingValue);
    }
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final float getPixelUnitFactor(boolean isHor) {
	switch (PlatformDefaults.getLogicalPixelBase()) {
	case PlatformDefaults.BASE_FONT_SIZE:
		Font font = c.getFont();
		FontMetrics fm = c.getFontMetrics(font != null ? font : SUBST_FONT);
		Point.Float p = FM_MAP.get(fm);
		if (p == null) {
			Rectangle2D r = fm.getStringBounds("X", c.getGraphics());
			p = new Point.Float(((float) r.getWidth()) / 6f, ((float) r.getHeight()) / 13.27734375f);
			FM_MAP.put(fm, p);
		}
		return isHor ? p.x : p.y;

	case PlatformDefaults.BASE_SCALE_FACTOR:

		Float s = isHor ? PlatformDefaults.getHorizontalScaleFactor() : PlatformDefaults.getVerticalScaleFactor();
		if (s != null)
			return s;
		return (isHor ? getHorizontalScreenDPI() : getVerticalScreenDPI())
				/ (float) PlatformDefaults.getDefaultDPI();

	default:
		return 1f;
	}
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
/**
 * Check if something has changed and if so recreate it to the cached
 * objects.
 *
 * @param parent
 *            The parent that is the target for this layout manager.
 */
private void checkCache(Object parent) {
	if (parent == null) {
		return;
	}

	checkConstrMap(parent);

	ContainerWrapper par = checkParent(parent);

	// Check if the grid is valid
	int mc = PlatformDefaults.getModCount();
	if (lastModCount != mc) {
		grid = null;
		lastModCount = mc;
	}

	int hash = parent instanceof ElementContainer<?, ?>
			? Long.valueOf(((ElementContainer<?, ?>) parent).getLayoutCounter()).hashCode() : parent.hashCode();
	for (ComponentWrapper cw : ccMap.keySet()) {
		hash ^= cw.getLayoutHashCode();
		hash += 285134905;
	}

	if (hash != lastHash) {
		grid = null;
		lastHash = hash;
	}

	setDebug(par, getDebugMillis() > 0);

	if (grid == null) {
		grid = new Grid(par, lc, rowSpecs, colSpecs, ccMap, callbackList);
	}
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final int getHorizontalScreenDPI() {
	// TODO
	return PlatformDefaults.getDefaultDPI();
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final int getVerticalScreenDPI() {
	// TODO
	return PlatformDefaults.getDefaultDPI();
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final int getHorizontalScreenDPI() {
	return PlatformDefaults.getDefaultDPI();
}
 

import net.miginfocom.layout.PlatformDefaults; //导入依赖的package包/类
public final int getVerticalScreenDPI() {
	return PlatformDefaults.getDefaultDPI();
}