Java PanelDefinition.getHeight方法代码示例

import org.uberfire.workbench.model.PanelDefinition; //导入方法依赖的package包/类
/**
 * Retrieves the application-requested initial size for a child panel, or calculates a good default based on the
 * available space.
 *
 * @param position   the position the panel will be added within its parent.
 * @param definition the new panel's definition.
 * @param parent     the widget whose space will be used up by the insertion of the new panel.
 */
static int initialWidthOrHeight(CompassPosition position,
                                PanelDefinition definition,
                                Widget parent) {
    Integer requestedSize;
    int availableSize;
    switch (position) {
        case NORTH:
        case SOUTH:
            requestedSize = definition.getHeight();
            availableSize = parent.getOffsetHeight();
            break;
        case EAST:
        case WEST:
            requestedSize = definition.getWidth();
            availableSize = parent.getOffsetWidth();
            break;
        default:
            throw new IllegalArgumentException("Position " + position + " has no horizontal or vertial aspect.");
    }
    if (requestedSize == null || requestedSize <= 0) {
        return availableSize / 2;
    } else {
        return requestedSize;
    }
}
 

import org.uberfire.workbench.model.PanelDefinition; //导入方法依赖的package包/类
/**
 * Verifies that all the expected side effects of a screen or editor activity launch have happened.
 * @param placeRequest The place request that was passed to some variant of PlaceManager.goTo().
 * @param activity <b>A Mockito mock<b> of the activity that was resolved for <tt>placeRequest</tt>.
 */
private void verifyActivityLaunchSideEffects(PlaceRequest placeRequest,
                                             WorkbenchActivity activity,
                                             PanelDefinition expectedPanel) {

    // as of UberFire 0.4. this event only happens if the place is already visible.
    // it might be be better if the event was fired unconditionally. needs investigation.
    verify(selectWorkbenchPartEvent,
           never()).fire(any(SelectPlaceEvent.class));

    // we know the activity was created (or we wouldn't be here), but should verify that only happened one time
    verify(activityManager,
           times(1)).getActivities(placeRequest);

    // contract between PlaceManager and PanelManager
    Integer preferredWidth = activity.preferredWidth();
    Integer preferredHeight = activity.preferredHeight();
    Integer expectedPartWidth;
    Integer expectedPartHeight;
    if (expectedPanel == null) {
        PanelDefinition rootPanel = panelManager.getRoot();
        verify(panelManager).addWorkbenchPanel(rootPanel,
                                               null,
                                               preferredHeight,
                                               preferredWidth,
                                               null,
                                               null);
        expectedPartWidth = null;
        expectedPartHeight = null;
    } else {
        expectedPartWidth = expectedPanel.getWidth();
        expectedPartHeight = expectedPanel.getHeight();
    }
    verify(panelManager).addWorkbenchPart(eq(placeRequest),
                                          eq(new PartDefinitionImpl(placeRequest)),
                                          expectedPanel == null ? any(PanelDefinition.class) : eq(
                                                  expectedPanel),
                                          isNull(Menus.class),
                                          any(UIPart.class),
                                          isNull(String.class),
                                          eq(expectedPartWidth),
                                          eq(expectedPartHeight));

    // contract between PlaceManager and PlaceHistoryHandler

    // state changes in PlaceManager itself (contract between PlaceManager and everyone)
    assertTrue("Actual place requests: " + placeManager.getActivePlaceRequests(),
               placeManager.getActivePlaceRequests().contains(placeRequest));
    assertSame(activity,
               placeManager.getActivity(placeRequest));
    assertEquals(PlaceStatus.OPEN,
                 placeManager.getStatus(placeRequest));

    // contract between PlaceManager and Activity
    verify(activity,
           never()).onStartup(any(PlaceRequest.class)); // this is ActivityManager's job
    verify(activity,
           times(1)).onOpen();
}