Returns the width of this score element.

@return The width of this score element.
176778
public double getWidth() {
		String[] lines = getTextLines();
		double max = 0;
        for (String line : lines) {
            max = Math.max(max,
                    (double) getMetrics().getTextFontWidth(m_textField, line)
            );
        }
		return max;
	}
860432
public int[] colWidths() {
        int cols = columnCount();
        int[] widths = new int[cols];

        for (int i = 0; i < columnCount(); i++) {
            widths[i] = columns().get(i).columnWidth();
        }
        return widths;
    }
973234
public float getWidth() {
    if (DocumentElement_Type.featOkTst && ((DocumentElement_Type)jcasType).casFeat_width == null)
      jcasType.jcas.throwFeatMissing("width", "ch.epfl.bbp.uima.types.DocumentElement");
    return jcasType.ll_cas.ll_getFloatValue(addr, ((DocumentElement_Type)jcasType).casFeatCode_width);}
791566
private int getWidthOfWidestItem() {

        int maxWidth = 0;

        for (CmsContextMenuItemWidget item : m_menuItems) {
            item.getElement().getStyle().clearWidth();
            int itemWidth = measureWidth(item);
            if (itemWidth > maxWidth) {
                maxWidth = itemWidth;
            }
        }

        return maxWidth;
    }
190053
function getWidth(el) {
  let styles = window.getComputedStyle(el);
  let width = el.offsetWidth;
  let borderLeftWidth = parseFloat(styles.borderLeftWidth);
  let borderRightWidth = parseFloat(styles.borderRightWidth);
  let paddingLeft = parseFloat(styles.paddingLeft);
  let paddingRight = parseFloat(styles.paddingRight);
  return width - borderLeftWidth - borderRightWidth - paddingRight - paddingLeft;
}
428860
public static int getFrameWidth() {
        int result;
        String str;
        str = get("FrameWidth", "1200");
        try {
            result = Integer.parseInt(str);
        }
        catch (Exception e) {
            result = 1200;
        }
        return result;
    }
534939
public int size() {
        int size = 0;
        try {
            if (getParent() != null) {
                size = getParent().locateChildElements(getLocator()).size();
            } else {
                size = HtmlElementUtils.locateElements(getLocator()).size();
            }
        } catch (NoSuchElementException e) { // NOSONAR
            // do nothing, let size be returned as 0
        }

        return size;
    }
1066048
public int getMaxComponentWidth()
    {
        int maxWidth = 0;
        for (int index = 0; ; index++)
        {
            Component component = this.getComponent(index);
            if (component == null)
                break;
            if (component instanceof JTableHeader)
                continue;   // Don't use this one
            if (component instanceof JPanel)
            {   // Use the rightmost child for the width
                for (int i = 0; i < ((JPanel)component).getComponentCount(); i++)
                {
                    Component childComponent = ((JPanel)component).getComponent(i);
                    int farthestWidth = childComponent.getX() + ((JPanel)component).getComponent(i).getWidth();
                    maxWidth = Math.max(maxWidth, Math.min(component.getWidth(), farthestWidth));
                }
            }
            else
                maxWidth = Math.max(maxWidth, component.getWidth());
        }
        return maxWidth;
    }
583674
function() {
    var width = (this.graph_width / this.data_size) - this.bar_padding;

    if (this.grouped) {
      //width = width / this.group_size - (this.bar_padding * this.group_size);
    }

    if (this.options.max_bar_size && width > this.options.max_bar_size) {
      width = this.options.max_bar_size;
      this.bar_padding = this.graph_width / this.data_size;
    }

    return width;
  }
986560
public function getWidth()
    {
      if ($this->width != null) {
        return $this->width;
      }

      list($width) = getimagesize($this->_files['tmp_name']);

      return $width;
    }
547218
@Override
	public int size()
	{
		if (indics != null)
		{
			return indics.size();
		}

		indics = new HashMap<Integer, Pair<Integer, Integer>>();

		int size = 0;
		TestSequence rtests = repeat.getTests();
		int count = rtests.size();
		for (int r = from; r <= to; r++)
		{
			if (r == 0)
			{

				indics.put(size, new Pair<Integer, Integer>(r, 0));
				size++;
				continue;
			}

			int[] c = new int[r];

			for (int i = 0; i < r; i++)
			{
				c[i] = count;
			}

			Permutor p = new Permutor(c);

			int j = 0;
			while (p.hasNext())
			{
				j++;
				p.next();
				indics.put(size, new Pair<Integer, Integer>(r, j));
				size++;
			}
		}
		return size;
	}
900546
def get_width(self):
        

        return self.__margin + \
               self.__editor.fontMetrics().width(foundations.strings.to_string(max(1, self.__editor.blockCount())))
182252
public int getWidth() {
        if (format == ImageFormat.GIF && streamMetadata != null) {
            Node screenDescNode = NodeUtils.getChild(streamMetadata, "LogicalScreenDescriptor");
            if (screenDescNode != null) {
                return NodeUtils.getIntAttr(screenDescNode, "logicalScreenWidth");
            }
        }

        return getWidth(0);
    }
1037648
public final int size() {
        int overallSize = 0;
        if (subSets != null) {
            for (int i = 0; i < subSets.length; i++) {
                overallSize = overallSize + subSets[i].size();
            }
        }
        return overallSize;
    }
248155
@Pure
	public static double getPreferredLaneWidth() {
		final Preferences prefs = Preferences.userNodeForPackage(RoadNetworkConstants.class);
		if (prefs != null) {
			return prefs.getDouble("LANE_WIDTH", DEFAULT_LANE_WIDTH); //$NON-NLS-1$
		}
		return DEFAULT_LANE_WIDTH;
	}
237659
public int getSize()
	{
		int retval = head.getTagSize() + head.getHeaderSize();

		if (head.getFooter())
		{
			retval += foot.getFooterSize();
		}

		return retval;
	}
233742
public static int getFirstScreenWidth()
	{
		final GraphicsEnvironment graphicsEnvironment = GraphicsEnvironment
			.getLocalGraphicsEnvironment();
		final GraphicsDevice[] graphicsDevices = graphicsEnvironment.getScreenDevices();
		int width = getScreenWidth();
		for (final GraphicsDevice graphicsDevice : graphicsDevices)
		{
			final GraphicsConfiguration[] graphicsConfigurations = graphicsDevice
				.getConfigurations();
			final GraphicsConfiguration graphicsConfiguration = ArrayExtensions
				.getFirst(graphicsConfigurations);
			if (graphicsConfiguration != null)
			{
				final Rectangle bounds = graphicsConfiguration.getBounds();
				final double w = bounds.getWidth();
				width = (int)w;
				break;
			}
		}
		return width;
	}