Java Util类代码示例

import com.vaadin.client.Util; //导入依赖的package包/类
void setInternalWidths() {
    DOM.setStyleAttribute(getElement(), "position", "relative");
    int bordersAndPaddings = Util.measureHorizontalPaddingAndBorder(
            buttons.getElement(), 0)
            + Util.measureHorizontalPaddingAndBorder(
                    moveButtons.getElement(), 0);
    int buttonWidth = Util.getRequiredWidth(buttons);
    int moveButtonWidth = Util.getRequiredWidth(moveButtons);
    int totalWidth = getOffsetWidth();

    int spaceForSelect = (totalWidth - buttonWidth - moveButtonWidth - bordersAndPaddings) / 2;

    options.setWidth(spaceForSelect + "px");
    if (optionsCaption != null) {
        optionsCaption.setWidth(spaceForSelect + "px");
    }

    selections.setWidth(spaceForSelect + "px");
    if (selectionsCaption != null) {
        selectionsCaption.setWidth(spaceForSelect + "px");
    }
    int captionWidth = totalWidth - moveButtonWidth;
    captionWrapper.setWidth(captionWidth + "px");
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
protected void onDragStart(NativeEvent event) {
    if (dragStartY >= 0) {
        // VConsole.log("Ignore onDragStart");
        return;
    }

    Element element = Element.as(event.getEventTarget());
    if (!overlayElement.isOrHasChild(element)) {
        // VConsole.log("onDragStart not at overlay");
        return;
    }

    // VConsole.log("onDragStart");

    dragStartY = Util.getTouchOrMouseClientY(event);
    dragStartIndex = GwtPicker.this.currentValue;
    setTransitionMode(TransitionMode.DRAGGING);
    event.stopPropagation();

}
 

import com.vaadin.client.Util; //导入依赖的package包/类
protected void onDragMove(NativeEvent event) {
    if (dragStartY < 0) {
        return;
    }

    int dragDist = Math.round(dragStartY
            - Util.getTouchOrMouseClientY(event));

    if (!dragged) {
        if (Math.abs(dragDist) < DRAG_TRESSHOLD_Y) {
            dragged = true;
            Event.setCapture(captureElement);
            event.preventDefault();
            event.stopPropagation();
        }
    } else {
        int top = GwtPicker.this.scrollTopValue - dragDist;
        setScrollTop(top, false);
        GwtPicker.this.setValueAtMiddle(false, false);
        event.preventDefault();
        event.stopPropagation();
    }

}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
protected XhrResponseHandler createResponseHandler() {
    return new XhrResponseHandler() {
        protected int serverTimeOnClient;

        @Override
        public void onResponseReceived(Request request, Response response) {
            int statusCode = response.getStatusCode();
            if (statusCode == 200) {
                serverTimeOnClient = (int) Util.round(Profiler.getRelativeTimeMillis() - requestStartTime, 0);
            }
            super.onResponseReceived(request, response);
        }

        @Override
        protected void beforeHandlingMessage(ValueMap json) {
            super.beforeHandlingMessage(json);
            ScreenClientProfiler profiler = ScreenClientProfiler.getInstance();
            String profilerMarker = ScreenClientProfiler.getProfilerMarkerFromJson(json);
            if (profilerMarker != null) {
                int serverTimeOnServer = ScreenClientProfiler.getServerTimeFromJson(json);
                if (serverTimeOnServer > 0) {
                    profiler.registerServerTime(profilerMarker, serverTimeOnServer);
                    profiler.registerNetworkTime(profilerMarker, serverTimeOnClient - serverTimeOnServer);
                } else {
                    profiler.registerServerTime(profilerMarker, serverTimeOnClient);
                }
                profiler.registerEventTs(profilerMarker, ScreenClientProfiler.getEventTsFromJson(json));
            }
        }
    };
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
public void onBrowserEvent(Event event) {
    if (DOM.eventGetType(event) == Event.ONCLICK) {
        Element target = Element.as(event.getEventTarget());
        ComponentConnector componentConnector = Util.findConnectorFor(getWidget());
        if (target == contextHelpIndicatorElement
                && componentConnector instanceof HasContextHelpConnector) {
            HasContextHelpConnector connector = (HasContextHelpConnector) componentConnector;
            if (hasContextHelpIconListeners(componentConnector.getState())) {
                connector.contextHelpIconClick(event);
            }
        }
    }
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
public void onClick(ClickEvent event) {
    Element target = Element.as(event.getNativeEvent().getEventTarget());
    ComponentConnector componentConnector = Util.findConnectorFor(getWidget());

    if (target == contextHelpIcon
            && componentConnector instanceof HasContextHelpConnector) {
        HasContextHelpConnector connector = (HasContextHelpConnector) componentConnector;
        if (hasContextHelpIconListeners(componentConnector.getState())) {
            connector.contextHelpIconClick(event);
        }
    }
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
/**
 * Detects space used by components paddings and borders.
 */
private void detectExtraSizes() {
   Element clone = Util.cloneNode(getElement(), false);
   DOM.setElementAttribute(clone, "id", "");
   DOM.setStyleAttribute(clone, "visibility", "hidden");
   DOM.setStyleAttribute(clone, "position", "absolute");
   // due FF3 bug set size to 10px and later subtract it from extra pixels
   DOM.setStyleAttribute(clone, "width", "10px");
   DOM.setStyleAttribute(clone, "height", "10px");
   DOM.appendChild(DOM.getParent(getElement()), clone);
   extraHorizontalPixels = DOM.getElementPropertyInt(clone, "offsetWidth") - 10;
   extraVerticalPixels = DOM.getElementPropertyInt(clone, "offsetHeight") - 10;

   DOM.removeChild(DOM.getParent(getElement()), clone);
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
void setInternalHeights() {
    int captionHeight = 0;
    int totalHeight = getOffsetHeight();

    if (optionsCaption != null) {
        captionHeight = Util.getRequiredHeight(optionsCaption);
    } else if (selectionsCaption != null) {
        captionHeight = Util.getRequiredHeight(selectionsCaption);
    }
    String selectHeight = (totalHeight - captionHeight) + "px";

    selections.setHeight(selectHeight);
    options.setHeight(selectHeight);
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
void clearInternalWidths() {
    int cols = -1;
    if (getColumns() > 0) {
        cols = getColumns();
    } else if (!widthSet) {
        cols = DEFAULT_COLUMN_COUNT;
    }

    if (cols >= 0) {
        String colWidth = cols + "em";
        String containerWidth = (2 * cols + 2 * buttonWidthEm + 0.5) + "em";
        // Caption wrapper width == optionsSelect + buttons +
        // selectionsSelect
        String captionWrapperWidth = (2 * cols + 2 * buttonWidthEm) + "em";

        options.setWidth(colWidth);
        if (optionsCaption != null) {
            optionsCaption.setWidth(Util.getRequiredWidth(options) + "px");
        }
        selections.setWidth(colWidth);
        if (selectionsCaption != null) {
            selectionsCaption.setWidth(Util.getRequiredWidth(selections)
                    + "px");
        }
        buttons.setWidth(String.valueOf(buttonWidthEm) + "em");
        moveButtons.setWidth(String.valueOf(buttonWidthEm) + "em");
        container.setWidth(containerWidth);
        captionWrapper.setWidth(captionWrapperWidth);
    }
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
public void onClick(ClickEvent event) {

    Element element = Element.as(event.getNativeEvent()
            .getEventTarget());

    if (upButtonElement.isOrHasChild(element)) {
        event.preventDefault();
        event.stopPropagation();
        setPrevValue();
    } else if (downButtonElement.isOrHasChild(element)) {
        event.preventDefault();
        event.stopPropagation();
        setNextValue();
    } else if (overlayElement != null
            && overlayElement.isOrHasChild(element)) {
        if (new Date().getTime() - dragEnded < IGNORE_CLICK_AFTER_DRAG_MS) {
            return;
        }
        // VConsole.log("onClick");
        GwtPicker.this.setValueAtPosition(
                Util.getTouchOrMouseClientX(event.getNativeEvent()),
                Util.getTouchOrMouseClientY(event.getNativeEvent()),
                true, null);
    }

    Event.releaseCapture(captureElement);
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
protected void dragStart(HumanInputEvent event) {
    NativeEvent ne = event.getNativeEvent();
    VConsole.log("Drag start" + ne.getType());
    if (!dragging && np != null && isEnabled()) {
        dragging = true;
        touchDrag = Event.as(ne).getTypeInt() == Event.ONTOUCHSTART;
        dragstartX = Util.getTouchOrMouseClientX(ne);
        dragstartY = Util.getTouchOrMouseClientY(ne);
        if (!BrowserInfo.get().isTouchDevice()) {
            // avoid drag start on images
            // FIXME shouln't be this way, but disables dragstart on images
            // in demo with desktop browsers and this way makes development
            // easier
            Element el = ne.getEventTarget().cast();
            String msg = el.getParentElement().getClassName();
            if (msg.contains("embedded")) {
                ne.preventDefault();
            }
        }
        new Timer() {
            @Override
            public void run() {
                // Swipe must start soon or drag start will be ignored
                if(!swiping) {
                    dragging = false;
                }
            }
        }.schedule(200);;
    }
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
protected void dragEnd(HumanInputEvent event) {
    if (dragging) {
        Event.releaseCapture(getElement());
        VConsole.log("Drag end");
        dragging = false;
        if (swiping) {
            if (np != null) {
                NativeEvent ne = event.getNativeEvent();
                int x = Util.getTouchOrMouseClientX(ne);
                int deltaX = x - dragstartX;
                VConsole.log("Speed" + lastSpeed);
                if (np.getPreviousView() != null
                        && (deltaX > getOffsetWidth() / 2 || lastSpeed > SPEED_THRESHOLD)) {
                    // navigate backward
                    np.navigateBackward();
                    if (swipeListener != null) {
                        swipeListener.onSwipeBack();
                    }
                } else if (np.getNextView() != null
                        && (deltaX < -getOffsetWidth() / 2 || (lastSpeed < -SPEED_THRESHOLD))) {
                    // navigate forward
                    np.navigateForward();
                    if (swipeListener != null) {
                        swipeListener.onSwipeForward();
                    }
                } else {
                    np.setHorizontalOffset(0, true);
                }
            }
            swiping = false;
        }
    }
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
protected ComponentConnector getChildComponent(Element element) {
    return Util.getConnectorForElement(getConnection(), getWidget(),
            element);
}
 

import com.vaadin.client.Util; //导入依赖的package包/类
@Override
public void setPosition(int offsetWidth, int offsetHeight) {

	int top = -1;
	int left = -1;

	offsetHeight = getOffsetHeight();

	int desiredWidth = box.getOffsetWidth();
	if (popupWidth != null) {
		try {
			desiredWidth = Integer.valueOf(popupWidth.replace("px", ""));
		} catch (NumberFormatException e) {
			desiredWidth = box.getOffsetWidth();
		}
		
	}
	Element menuFirstChild = getWidget().getElement().getFirstChild()
			.cast();
	int naturalMenuWidth = menuFirstChild.getOffsetWidth();

	if (popupOuterPadding == -1) {
		popupOuterPadding = Util.measureHorizontalPaddingAndBorder(
				getElement(), 2);
	}

	if (naturalMenuWidth < desiredWidth) {
		getWidget().setWidth((desiredWidth - popupOuterPadding) + "px");
		menuFirstChild.getStyle().setWidth(100, Unit.PCT);
		naturalMenuWidth = desiredWidth;
	}

	if (BrowserInfo.get().isIE()) {
		/*
		 * IE requires us to specify the width for the container
		 * element. Otherwise it will be 100% wide
		 */
		int rootWidth = naturalMenuWidth - popupOuterPadding;
		getContainerElement().getStyle().setWidth(rootWidth, Unit.PX);
	}

	if (offsetHeight + getPopupTop() > Window.getClientHeight()
			+ Window.getScrollTop()) {
		// popup on top of input instead
		top = getPopupTop() - offsetHeight - box.getOffsetHeight();
		if (top < 0) {
			top = 0;
		}
	} else {
		top = getPopupTop();
		/*
		 * Take popup top margin into account. getPopupTop() returns the
		 * top value including the margin but the value we give must not
		 * include the margin.
		 */
		int topMargin = (top - topPosition);
		top -= topMargin;
	}

	// fetch real width (mac FF bugs here due GWT popups overflow:auto )
	offsetWidth = menuFirstChild.getOffsetWidth();
	if (offsetWidth + getPopupLeft() > Window.getClientWidth()
			+ Window.getScrollLeft()) {
		left = box.getAbsoluteLeft() + box.getOffsetWidth()
				+ Window.getScrollLeft() - offsetWidth;
		if (left < 0) {
			left = 0;
		}
	} else {
		left = getPopupLeft();
	}
	setPopupPosition(left, top);

}
 

import com.vaadin.client.Util; //导入依赖的package包/类
private void measureSizes() {
	moreItemsSpinnerHeight = Util.getRequiredHeight(moreItemsSpinner);
	log("lazylist - more items spinner height measured: " + moreItemsSpinnerHeight);
}