Beispiel #1
0
  public Object execute(ExecutionEvent event) throws ExecutionException {
    final StringBuilder sb = new StringBuilder();

    // Header
    final String[] headers = settings.getColumnHeaders();
    sb.append(headers[CoverageView.COLUMN_ELEMENT]).append(SWT.TAB);
    sb.append(headers[CoverageView.COLUMN_RATIO]).append(SWT.TAB);
    sb.append(headers[CoverageView.COLUMN_COVERED]).append(SWT.TAB);
    sb.append(headers[CoverageView.COLUMN_MISSED]).append(SWT.TAB);
    sb.append(headers[CoverageView.COLUMN_TOTAL]).append(Text.DELIMITER);

    // Rows:
    final IStructuredSelection selection = (IStructuredSelection) selectionSource.getSelection();
    for (final Object element : selection.toList()) {
      sb.append(converter.getElementName(element)).append(SWT.TAB);
      sb.append(converter.getRatio(element)).append(SWT.TAB);
      sb.append(converter.getCovered(element)).append(SWT.TAB);
      sb.append(converter.getMissed(element)).append(SWT.TAB);
      sb.append(converter.getTotal(element)).append(Text.DELIMITER);
    }

    copy(sb.toString());
    return null;
  }
 /**
  * Sets the margins of the attribution view.
  *
  * @param left The left margin in pixels.
  * @param top The top margin in pixels.
  * @param right The right margin in pixels.
  * @param bottom The bottom margin in pixels.
  */
 public void setAttributionMargins(int left, int top, int right, int bottom) {
   attributionSettings.setMargins(new int[] {left, top, right, bottom});
   mapView.setAttributionMargins(left, top, right, bottom);
 }
 /**
  * Returns the gravity value of the logo
  *
  * @return The gravity
  */
 public int getAttributionGravity() {
   return attributionSettings.getGravity();
 }
 /**
  * Sets the gravity of the attribution. By default, the attribution is in the bottom left corner
  * next to the Mapbox logo.
  *
  * @param gravity One of the values from {@link Gravity}.
  * @see Gravity
  */
 public void setAttributionGravity(int gravity) {
   attributionSettings.setGravity(gravity);
   mapView.setAttributionGravity(gravity);
 }
 /**
  * Returns whether the attribution is enabled.
  *
  * @return True if the attribution is enabled; false if the attribution is disabled.
  */
 public boolean isAttributionEnabled() {
   return attributionSettings.isEnabled();
 }
 /**
  * Enables or disables the Mapbox logo. By default, the compass is enabled.
  *
  * @param enabled True to enable the logo; false to disable the logo.
  */
 public void setLogoEnabled(boolean enabled) {
   logoSettings.setEnabled(enabled);
   mapView.setLogoEnabled(enabled);
 }
 /**
  * Returns the right side margin of the attribution view.
  *
  * @return The right margin in pixels
  */
 public int getAttributionMarginRight() {
   return attributionSettings.getMargins()[2];
 }
 /**
  * Returns the left side margin of the attribution view.
  *
  * @return The left margin in pixels
  */
 public int getAttributionMarginLeft() {
   return attributionSettings.getMargins()[0];
 }
 /**
  * Returns the top side margin of the logo
  *
  * @return The top margin in pixels
  */
 public int getLogoMarginTop() {
   return logoSettings.getMargins()[1];
 }
 /**
  * Returns the left side margin of the logo
  *
  * @return The left margin in pixels
  */
 public int getLogoMarginLeft() {
   return logoSettings.getMargins()[0];
 }
 /**
  * Sets the margins of the logo view. Use this to change the distance of the Mapbox logo from the
  * map view edge.
  *
  * @param left The left margin in pixels.
  * @param top The top margin in pixels.
  * @param right The right margin in pixels.
  * @param bottom The bottom margin in pixels.
  */
 public void setLogoMargins(int left, int top, int right, int bottom) {
   logoSettings.setMargins(new int[] {left, top, right, bottom});
   mapView.setLogoMargins(left, top, right, bottom);
 }
 /**
  * Returns the gravity value of the logo
  *
  * @return The gravity
  */
 public int getLogoGravity() {
   return logoSettings.getGravity();
 }
 /**
  * Sets the gravity of the logo view. Use this to change the corner of the map view that the
  * Mapbox logo is displayed in. By default, the logo is in the bottom left corner.
  *
  * @param gravity One of the values from {@link Gravity}.
  * @see Gravity
  */
 public void setLogoGravity(int gravity) {
   logoSettings.setGravity(gravity);
   mapView.setLogoGravity(gravity);
 }
 /**
  * Returns whether the logo is enabled.
  *
  * @return True if the logo is enabled; false if the logo is disabled.
  */
 public boolean isLogoEnabled() {
   return logoSettings.isEnabled();
 }
 /**
  * Sets the tint of the attribution view. Use this to change the color of the attribution. By
  * default, the logo is tinted with the primary color of your theme.
  *
  * @param tintColor Color to tint the attribution.
  */
 public void setAttributionTintColor(@ColorInt int tintColor) {
   attributionSettings.setTintColor(tintColor);
   mapView.setAtttibutionTintColor(tintColor);
 }
 /**
  * Returns the tint color value of the attribution view.
  *
  * @return The tint color
  */
 public int getAttributionTintColor() {
   return attributionSettings.getTintColor();
 }
 /**
  * Returns the right side margin of the logo
  *
  * @return The right margin in pixels
  */
 public int getLogoMarginRight() {
   return logoSettings.getMargins()[2];
 }
 /**
  * Returns the top side margin of the attribution view.
  *
  * @return The top margin in pixels
  */
 public int getAttributionMarginTop() {
   return attributionSettings.getMargins()[1];
 }
 /**
  * Returns the bottom side margin of the logo
  *
  * @return The bottom margin in pixels
  */
 public int getLogoMarginBottom() {
   return logoSettings.getMargins()[3];
 }
 /**
  * Returns the bottom side margin of the logo
  *
  * @return The bottom margin in pixels
  */
 public int getAttributionMarginBottom() {
   return attributionSettings.getMargins()[3];
 }
 /**
  * Enables or disables the attribution. By default, the attribution is enabled.
  *
  * @param enabled True to enable the attribution; false to disable the attribution.
  */
 public void setAttributionEnabled(boolean enabled) {
   attributionSettings.setEnabled(enabled);
   mapView.setAttributionEnabled(enabled ? View.VISIBLE : View.GONE);
 }