|
/* Title: Tools/Graphview/metrics.scala
Author: Makarius
Physical metrics for layout and painting.
*/
package isabelle.graphview
import isabelle._
import java.awt.{Font, RenderingHints}
import java.awt.font.FontRenderContext
import java.awt.geom.Rectangle2D
object Metrics
{
val rendering_hints: RenderingHints =
{
val hints = new java.util.HashMap[RenderingHints.Key, AnyRef]
hints.put(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON)
hints.put(RenderingHints.KEY_FRACTIONALMETRICS, RenderingHints.VALUE_FRACTIONALMETRICS_ON)
new RenderingHints(hints)
}
val font_render_context: FontRenderContext =
new FontRenderContext(null, true, true)
def apply(font: Font): Metrics = new Metrics(font)
val default: Metrics = apply(new Font("Helvetica", Font.PLAIN, 12))
}
class Metrics private(val font: Font)
{
def string_bounds(s: String): Rectangle2D = font.getStringBounds(s, Metrics.font_render_context)
private val mix = string_bounds("mix")
val space_width: Double = string_bounds(" ").getWidth
def char_width: Double = mix.getWidth / 3
def height: Double = mix.getHeight
def ascent: Double = font.getLineMetrics("", Metrics.font_render_context).getAscent
def gap: Double = mix.getWidth.ceil
def dummy_size2: Double = (char_width / 2).ceil
def node_width2(lines: List[String]): Double =
(((0.0 /: lines)({ case (w, s) => w max string_bounds(s).getWidth }) + 2 * char_width) / 2).ceil
def node_height2(num_lines: Int): Double =
((height.ceil * (num_lines max 1) + char_width) / 2).ceil
def level_height2(num_lines: Int, num_edges: Int): Double =
(node_height2(num_lines) + gap) max (node_height2(1) * (num_edges max 5))
object Pretty_Metric extends Pretty.Metric
{
val unit: Double = space_width max 1.0
def apply(s: String): Double = if (s == "\n") 1.0 else string_bounds(s).getWidth / unit
}
}
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
