package com.algomagic.atn; import att.grappa.GrappaConstants; public interface VisualizationConstants extends GrappaConstants { public static final String SYSTEM_PREFIX = "atnvis."; public static final String CONFIG_FILE_PROP = SYSTEM_PREFIX + "ConfigFile"; public static final String WINDOW_TITLE_PROP = SYSTEM_PREFIX + "window.Title"; public static final String WINDOW_HEIGHT_PROP = SYSTEM_PREFIX + "window.Height"; public static final String WINDOW_WIDTH_PROP = SYSTEM_PREFIX + "window.Width"; public static final String DELAY_PROP = SYSTEM_PREFIX + "defaultDelay"; public static final String LOOP_PROP = SYSTEM_PREFIX + "loop"; public static final String PARSER_PROP = SYSTEM_PREFIX + "parser"; public static final String PARSER_DEFAULT = "com.algomagic.atn.NullParser"; public static final String SCALE_PROP = SYSTEM_PREFIX + "graph.Scale"; public static final String SCALE_DEFAULT = "1.0"; public static final String IGNOREPROC_PROP = SYSTEM_PREFIX + "parser.IgnoreProcessing"; public static final String IGNOREPROC_DEFAULT = "true"; public static final String SHADOW_PROP = SYSTEM_PREFIX + "graph.ShadowColor"; public static final String SHADOW_DEFAULT = "grey90"; public static final String CONFIG_FILE_DEFAULT = "atnvis.properties"; public static final String WINDOW_TITLE_DEFAULT = "ATN Visualization"; public static final String WINDOW_HEIGHT_DEFAULT = "800"; public static final String WINDOW_WIDTH_DEFAULT = "600"; public static final String DELAY_DEFAULT = "500"; public static final String LOOP_DEFAULT = "true"; public static final int LEFT_SIDE = 0; public static final int RIGHT_SIDE = 1; public static final String OPPONENT_PROC = "Opponent"; public static final String VERIFIER_PROC = "Verifier"; public static final String FULLY_PROC = "Fully"; public static final String NOT_PROC = "Unprocessed"; public static final String SATISFIED = "Satisfied"; public static final String NOT_SATISFIED = "Failed"; public static final String UNKNOWN = "Unknown"; public static final String STANDARD_TARGET = "StandardTarget"; public static final String ROLE_TARGET = "RoleTarget"; public static final String LINKING_ROLE_TARGET = "LinkingRoleTarget"; public static final String TRIVIAL_TARGET = "TrivialTarget"; public static final String INTERSECTION_TARGET = "IntersectionTarget"; public static final String LINKING_GOAL = "LinkingGoal"; public static final String IMPLICATION_EDGE = "Implication"; public static final String LINKING_MONITOR_EDGE = "LinkingMonitor"; public static final String LINKING_SOLUTION_EDGE = "LinkingSolution"; public static final String LINKING_IMPLICATION_EDGE = "LinkingImplication"; public static final String INTERSECTION_EDGE = "Intersection"; public static final String CONTROL_EDGE = "Control"; public static final String DEFAULT_NODE = SYSTEM_PREFIX + "node.Default."; public static final String DEFAULT_EDGE = SYSTEM_PREFIX + "edge.Default."; public static final String[] NODE_ATTRS = { SHAPE_ATTR, SIDES_ATTR, PERIPHERIES_ATTR, STYLE_ATTR, COLOR_ATTR, FONTNAME_ATTR, FONTCOLOR_ATTR, FONTSIZE_ATTR, FONTSTYLE_ATTR }; public static final String[] NODE_ATTRS_PROP = { "shape", "sides", "peripheries", "style", "color", "fontname", "fontcolor", "fontsize", "fontstyle" }; public static final boolean[] NODE_ATTRS_INT = { false, true, true, false, false, false, false, true, false }; public static final String[] EDGE_ATTRS = { STYLE_ATTR, COLOR_ATTR, DIR_ATTR }; public static final String[] EDGE_ATTRS_PROP = { "style", "color", "direction" }; public static final boolean[] EDGE_ATTRS_INT = { false, false, false }; }