Method getWidth

src/ch/hsr/ogv/view/Arrow.java:535–537 · view source on GitHub ↗

()

Source from the content-addressed store, hash-verified

533	}
534
535	public double getWidth() {
536	return this.width;
537	}
538
539	public double getBoxDistance() {
540	return this.startEndDistance;

testSetWidthMethod · 0.45

setupStageMethod · 0.45

loadedClassToModelMethod · 0.45

setOriginalsMethod · 0.45

eastResizeMethod · 0.45

westResizeMethod · 0.45

coordsInsideBoxMethod · 0.45

changedMethod · 0.45

createBoxMethod · 0.45

createArrayBoxMethod · 0.45

adaptBoxSettingsMethod · 0.45

adaptBoxTopFieldMethod · 0.45

no outgoing calls

testSetWidthMethod · 0.36