From 2311bb9c130220e9009739b9602926777c7bff24 Mon Sep 17 00:00:00 2001 From: Juhan Oskar Hennoste Date: Tue, 24 Oct 2023 00:49:40 +0300 Subject: [PATCH] Increase label max length before being truncated --- .../stylesheet/StyleConstants.java | 508 ++++++++++++++++++ 1 file changed, 508 insertions(+) create mode 100644 src/main/java/org/graphstream/ui/graphicGraph/stylesheet/StyleConstants.java diff --git a/src/main/java/org/graphstream/ui/graphicGraph/stylesheet/StyleConstants.java b/src/main/java/org/graphstream/ui/graphicGraph/stylesheet/StyleConstants.java new file mode 100644 index 0000000..15106a2 --- /dev/null +++ b/src/main/java/org/graphstream/ui/graphicGraph/stylesheet/StyleConstants.java @@ -0,0 +1,508 @@ +/* + * This file is part of GraphStream . + * + * GraphStream is a library whose purpose is to handle static or dynamic + * graph, create them from scratch, file or any source and display them. + * + * This program is free software distributed under the terms of two licenses, the + * CeCILL-C license that fits European law, and the GNU Lesser General Public + * License. You can use, modify and/ or redistribute the software under the terms + * of the CeCILL-C license as circulated by CEA, CNRS and INRIA at the following + * URL or under the terms of the GNU LGPL as published by + * the Free Software Foundation, either version 3 of the License, or (at your + * option) any later version. + * + * This program is distributed in the hope that it will be useful, but WITHOUT ANY + * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A + * PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public License + * along with this program. If not, see . + * + * The fact that you are presently reading this means that you have had + * knowledge of the CeCILL-C and LGPL licenses and that you accept their terms. + */ + +/** + * @author Antoine Dutot + * @author Guilhelm Savin + * @author Hicham Brahimi + * @author Yoann Pigné + * Modified for dendroloj by: + * @author FeldrinH + * See comments starting with 'DENDROLOJ EDIT' for information about the changes made. + * @since 2009-07-05 + */ +package org.graphstream.ui.graphicGraph.stylesheet; + +import java.io.IOException; +import java.net.URL; +import java.util.HashMap; +import java.util.Properties; +import java.util.regex.Matcher; +import java.util.regex.Pattern; + +/** + * The various constants and static constant conversion methods used for + * styling. + */ +public class StyleConstants { + // Constants + + /** + * The available units for numerical values. + */ + public static enum Units { + PX, GU, PERCENTS + } + + ; + + /** + * How to fill the contents of the element. + */ + public static enum FillMode { + NONE, PLAIN, DYN_PLAIN, GRADIENT_RADIAL, GRADIENT_HORIZONTAL, GRADIENT_VERTICAL, GRADIENT_DIAGONAL1, GRADIENT_DIAGONAL2, IMAGE_TILED, IMAGE_SCALED, IMAGE_SCALED_RATIO_MAX, IMAGE_SCALED_RATIO_MIN + } + + ; + + /** + * How to draw the contour of the element. + */ + public static enum StrokeMode { + NONE, PLAIN, DASHES, DOTS, DOUBLE + } + + /** + * How to draw the shadow of the element. + */ + public static enum ShadowMode { + NONE, PLAIN, GRADIENT_RADIAL, GRADIENT_HORIZONTAL, GRADIENT_VERTICAL, GRADIENT_DIAGONAL1, GRADIENT_DIAGONAL2 + } + + /** + * How to show an element. + */ + public static enum VisibilityMode { + NORMAL, HIDDEN, AT_ZOOM, UNDER_ZOOM, OVER_ZOOM, ZOOM_RANGE, ZOOMS + } + + /** + * How to draw the text of an element. + */ + public static enum TextMode { + NORMAL, TRUNCATED, HIDDEN + } + + /** + * How to show the text of an element. + */ + public static enum TextVisibilityMode { + NORMAL, HIDDEN, AT_ZOOM, UNDER_ZOOM, OVER_ZOOM, ZOOM_RANGE, ZOOMS + } + + /** + * Variant of the font. + */ + public static enum TextStyle { + NORMAL, ITALIC, BOLD, BOLD_ITALIC + } + + /** + * Where to place the icon around the text (or instead of the text). + */ + public static enum IconMode { + NONE, AT_LEFT, AT_RIGHT, UNDER, ABOVE + } + + /** + * How to set the size of the element. + */ + public static enum SizeMode { + NORMAL, FIT, DYN_SIZE + } + + /** + * How to align words around their attach point. + */ + public static enum TextAlignment { + CENTER, LEFT, RIGHT, AT_LEFT, AT_RIGHT, UNDER, ABOVE, JUSTIFY, + + ALONG + } + + public static enum TextBackgroundMode { + NONE, PLAIN, ROUNDEDBOX + } + + public static enum ShapeKind { + ELLIPSOID, RECTANGULAR, LINEAR, CURVE + } + + /** + * Possible shapes for elements. + */ + public static enum Shape { + CIRCLE(ShapeKind.ELLIPSOID), BOX(ShapeKind.RECTANGULAR), ROUNDED_BOX(ShapeKind.RECTANGULAR), DIAMOND( + ShapeKind.RECTANGULAR), POLYGON(ShapeKind.RECTANGULAR), TRIANGLE(ShapeKind.RECTANGULAR), CROSS( + ShapeKind.RECTANGULAR), FREEPLANE(ShapeKind.RECTANGULAR), TEXT_BOX( + ShapeKind.RECTANGULAR), TEXT_ROUNDED_BOX(ShapeKind.RECTANGULAR), TEXT_PARAGRAPH( + ShapeKind.RECTANGULAR), TEXT_CIRCLE(ShapeKind.ELLIPSOID), TEXT_DIAMOND( + ShapeKind.RECTANGULAR), JCOMPONENT(ShapeKind.RECTANGULAR), + + PIE_CHART(ShapeKind.ELLIPSOID), FLOW(ShapeKind.LINEAR), ARROW(ShapeKind.RECTANGULAR), IMAGES( + ShapeKind.RECTANGULAR), + + LINE(ShapeKind.LINEAR), ANGLE(ShapeKind.LINEAR), CUBIC_CURVE(ShapeKind.CURVE), POLYLINE( + ShapeKind.LINEAR), POLYLINE_SCALED(ShapeKind.LINEAR), SQUARELINE(ShapeKind.LINEAR), LSQUARELINE( + ShapeKind.LINEAR), HSQUARELINE( + ShapeKind.LINEAR), VSQUARELINE(ShapeKind.LINEAR), BLOB(ShapeKind.CURVE); + + public ShapeKind kind; + + Shape(ShapeKind kind) { + this.kind = kind; + } + } + + /** + * Orientation of a sprite toward its attachment point. + */ + public static enum SpriteOrientation { + NONE, FROM, NODE0, TO, NODE1, PROJECTION + } + + /** + * Possible shapes for arrows on edges. + */ + public static enum ArrowShape { + NONE, ARROW, CIRCLE, DIAMOND, IMAGE + } + + /** + * Possible JComponents. + */ + public static enum JComponents { + BUTTON, TEXT_FIELD, PANEL + } + + // Static + + /** A set of colour names mapped to real AWT Colour objects. */ + protected static HashMap colorMap; + + /** Pattern to ensure a "#FFFFFF" colour is recognised. */ + protected static Pattern sharpColor1, sharpColor2; + + /** Pattern to ensure a CSS style "rgb(1,2,3)" colour is recognised. */ + protected static Pattern cssColor; + + /** Pattern to ensure a CSS style "rgba(1,2,3,4)" colour is recognised. */ + protected static Pattern cssColorA; + + /** + * Pattern to ensure that java.awt.Color.toString() strings are recognised as + * colour. + */ + protected static Pattern awtColor; + + /** Pattern to ensure an hexadecimal number is a recognised colour. */ + protected static Pattern hexaColor; + + /** Pattern to ensure a string is a Value in various units. */ + protected static Pattern numberUnit, number; + + static { + // Prepare some pattern matchers. + + number = Pattern.compile("\\s*(\\p{Digit}+([.]\\p{Digit})?)\\s*"); + numberUnit = Pattern.compile("\\s*(\\p{Digit}+(?:[.]\\p{Digit}+)?)\\s*(gu|px|%)\\s*"); + + sharpColor1 = Pattern.compile( + "#(\\p{XDigit}\\p{XDigit})(\\p{XDigit}\\p{XDigit})(\\p{XDigit}\\p{XDigit})((\\p{XDigit}\\p{XDigit})?)"); + sharpColor2 = Pattern.compile("#(\\p{XDigit})(\\p{XDigit})(\\p{XDigit})((\\p{XDigit})?)"); + hexaColor = Pattern.compile( + "0[xX](\\p{XDigit}\\p{XDigit})(\\p{XDigit}\\p{XDigit})(\\p{XDigit}\\p{XDigit})((\\p{XDigit}\\p{XDigit})?)"); + cssColor = Pattern.compile("rgb\\s*\\(\\s*([0-9]+)\\s*,\\s*([0-9]+)\\s*,\\s*([0-9]+)\\s*\\)"); + cssColorA = Pattern + .compile("rgba\\s*\\(\\s*([0-9]+)\\s*,\\s*([0-9]+)\\s*,\\s*([0-9]+)\\s*,\\s*([0-9]+)\\s*\\)"); + awtColor = Pattern.compile("java.awt.Color\\[r=([0-9]+),g=([0-9]+),b=([0-9]+)\\]"); + colorMap = new HashMap(); + + // Load all the X11 predefined colour names and their RGB definition + // from a file stored in the graphstream.jar. This allows the DOT + // import to correctly map colour names to real AWT Color objects. + // There are more than 800 such colours... + + URL url = StyleConstants.class.getResource("rgb.properties"); + + if (url == null) + throw new RuntimeException( + "corrupted graphstream.jar ? the org/miv/graphstream/ui/graphicGraph/rgb.properties file is not found"); + + Properties p = new Properties(); + + try { + p.load(url.openStream()); + } catch (IOException e) { + e.printStackTrace(); + } + + for (Object o : p.keySet()) { + String key = (String) o; + String val = p.getProperty(key); + Color col = Color.decode(val); + + colorMap.put(key.toLowerCase(), col); + } + } + + /** + * Try to convert the given string value to a colour. It understands the 600 + * colour names of the X11 RGB data base. It also understands colours given in + * the "#FFFFFF" format and the hexadecimal "0xFFFFFF" format. Finally, it + * understands colours given as a "rgb(1,10,100)", CSS-like format. If the input + * value is null, the result is null. + * + * @param anyValue + * The value to convert. + * @return the converted colour or null if the conversion failed. + */ + public static Color convertColor(Object anyValue) { + if (anyValue == null) + return null; + + if (anyValue instanceof Color) + return (Color) anyValue; + + if (anyValue instanceof String) { + Color c = null; + String value = (String) anyValue; + + if (value.startsWith("#")) { + Matcher m = sharpColor1.matcher(value); + + if (m.matches()) { + if (value.length() == 7) { + try { + c = Color.decode(value); + + return c; + } catch (NumberFormatException e) { + c = null; + } + } else if (value.length() == 9) { + int r = Integer.parseInt(m.group(1), 16); + int g = Integer.parseInt(m.group(2), 16); + int b = Integer.parseInt(m.group(3), 16); + int a = Integer.parseInt(m.group(4), 16); + + return new Color(r, g, b, a); + } + } + + m = sharpColor2.matcher(value); + + if (m.matches()) { + if (value.length() >= 4) { + int r = Integer.parseInt(m.group(1), 16) * 16; + int g = Integer.parseInt(m.group(2), 16) * 16; + int b = Integer.parseInt(m.group(3), 16) * 16; + int a = 255; + + if (value.length() == 5) + a = Integer.parseInt(m.group(4), 16) * 16; + + return new Color(r, g, b, a); + } + } + } else if (value.startsWith("rgb")) { + Matcher m = cssColorA.matcher(value); + + if (m.matches()) { + int r = Integer.parseInt(m.group(1)); + int g = Integer.parseInt(m.group(2)); + int b = Integer.parseInt(m.group(3)); + int a = Integer.parseInt(m.group(4)); + + return new Color(r, g, b, a); + } + + m = cssColor.matcher(value); + + if (m.matches()) { + int r = Integer.parseInt(m.group(1)); + int g = Integer.parseInt(m.group(2)); + int b = Integer.parseInt(m.group(3)); + + return new Color(r, g, b); + } + } else if (value.startsWith("0x") || value.startsWith("0X")) { + Matcher m = hexaColor.matcher(value); + + if (m.matches()) { + if (value.length() == 8) { + try { + return Color.decode(value); + } catch (NumberFormatException e) { + c = null; + } + } else if (value.length() == 10) { + String r = m.group(1); + String g = m.group(2); + String b = m.group(3); + String a = m.group(4); + + return new Color(Integer.parseInt(r, 16), Integer.parseInt(g, 16), Integer.parseInt(b, 16), + Integer.parseInt(a, 16)); + } + } + } else if (value.startsWith("java.awt.Color[")) { + Matcher m = awtColor.matcher(value); + + if (m.matches()) { + int r = Integer.parseInt(m.group(1)); + int g = Integer.parseInt(m.group(2)); + int b = Integer.parseInt(m.group(3)); + + return new Color(r, g, b); + } + } + + return colorMap.get(value.toLowerCase()); + } + + // TODO throw an exception instead ?? + return null; + } + + /** + * Check if the given value is an instance of CharSequence (String is) and + * return it as a string. Else return null. If the input value is null, the + * return value is null. If the value returned is larger than 128 characters, + * this method cuts it to 128 characters. TODO: allow to set the max length of + * these strings. + * + * @param value + * The value to convert. + * @return The corresponding string, or null. + */ + public static String convertLabel(Object value) { + String label = null; + + if (value != null) { + if (value instanceof CharSequence) + label = ((CharSequence) value).toString(); + else + label = value.toString(); + + // DENDROLOJ EDIT: + // Increase label length limit to 1024. + if (label.length() > 1024) + label = String.format("%s...", label.substring(0, 1024)); + } + + return label; + } + + /** + * Try to convert an arbitrary value to a float. If it is a descendant of + * Number, the float value is returned. If it is a string, a conversion is tried + * to change it into a number and if successful, this number is returned as a + * float. Else, the -1 value is returned as no width can be negative to indicate + * the conversion failed. If the input is null, the return value is -1. + * + * @param value + * The input to convert. + * @return The value or -1 if the conversion failed. TODO should be named + * convertNumber + */ + public static float convertWidth(Object value) { + if (value instanceof CharSequence) { + try { + float val = Float.parseFloat(((CharSequence) value).toString()); + + return val; + } catch (NumberFormatException e) { + return -1; + } + } else if (value instanceof Number) { + return ((Number) value).floatValue(); + } + + return -1; + } + + /** + * Convert an object to a value with units. The object can be a number, in which + * case the value returned contains this number in pixel units. The object can + * be a string. In this case the strings understood by this method are of the + * form (spaces, number, spaces, unit, spaces). For example "3px", "45gu", + * "5.5%", " 25.3 gu ", "4", " 28.1 ". + * + * @param value + * A Number or a CharSequence. + * @return A value. + */ + public static Value convertValue(Object value) { + if (value instanceof CharSequence) { + CharSequence string = (CharSequence) value; + + // if (string == null) + // throw new RuntimeException("null size string ..."); + + if (string.length() < 0) + throw new RuntimeException("empty size string ..."); + + Matcher m = numberUnit.matcher(string); + + if (m.matches()) + return new Value(convertUnit(m.group(2)), Float.parseFloat(m.group(1))); + + m = number.matcher(string); + + if (m.matches()) + return new Value(Units.PX, Float.parseFloat(m.group(1))); + + throw new RuntimeException(String.format("string is not convertible to a value (%s)", string)); + } else if (value instanceof Number) { + return new Value(Units.PX, ((Number) value).floatValue()); + } + + if (value == null) + throw new RuntimeException("cannot convert null value"); + + throw new RuntimeException(String.format("value is of class %s%n", value.getClass().getName())); + } + + /** Convert "gu", "px" and "%" to Units.GU, Units.PX, Units.PERCENTS. */ + protected static Units convertUnit(String unit) { + if (unit.equals("gu")) + return Units.GU; + else if (unit.equals("px")) + return Units.PX; + else if (unit.equals("%")) + return Units.PERCENTS; + + return Units.PX; + } + + /* + * Try to convert an arbitrary value to a EdgeStyle. If the value is a + * descendant of CharSequence, it is used and parsed to see if it maps to one of + * the possible values. + * + * @param value The value to convert. + * + * @return The converted edge style or null if the value does not identifies an + * edge style. public static EdgeStyle convertEdgeStyle( Object value ) { if( + * value instanceof CharSequence ) { String s = ( (CharSequence) value + * ).toString().toLowerCase(); + * + * if( s.equals( "dots" ) ) { return EdgeStyle.DOTS; } else if( s.equals( + * "dashes" ) ) { return EdgeStyle.DASHES; } else { return EdgeStyle.PLAIN; } } + * + * return null; } + */ +} \ No newline at end of file