| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/GraphBrowser/graphbrowser/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 492 B |
|
Quelle AbstractFontMetrics.javaSprache: JAVA |
|||||||||||||||
|
/*************************************************************************** Title: graphbrowser/AWTFontMetrics.java Author: Gerwin Klein, TU Muenchen AbstractFontMetrics avoids dependency on java.awt.FontMetrics in batch mode. ***************************************************************************/ package isabelle.graphbrowser; public interface AbstractFontMetrics { public int stringWidth(String str); public int getAscent(); public int getDescent(); }
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09