source: fedd/abac-src/atnvis/src/com/algomagic/atn/VisualizationConstants.java @ 40dd8c1

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since 40dd8c1 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham
  • Property mode set to 100644
File size: 3.7 KB
Line 
1package com.algomagic.atn;
2
3import att.grappa.GrappaConstants;
4
5public interface VisualizationConstants extends GrappaConstants {
6    public static final String SYSTEM_PREFIX = "atnvis.";
7
8    public static final String CONFIG_FILE_PROP = SYSTEM_PREFIX + "ConfigFile";
9    public static final String WINDOW_TITLE_PROP = SYSTEM_PREFIX + "window.Title";
10    public static final String WINDOW_HEIGHT_PROP = SYSTEM_PREFIX + "window.Height";
11    public static final String WINDOW_WIDTH_PROP = SYSTEM_PREFIX + "window.Width";
12
13    public static final String DELAY_PROP = SYSTEM_PREFIX + "defaultDelay";
14    public static final String LOOP_PROP = SYSTEM_PREFIX + "loop";
15
16    public static final String PARSER_PROP = SYSTEM_PREFIX + "parser";
17    public static final String PARSER_DEFAULT = "com.algomagic.atn.NullParser";
18   
19    public static final String SCALE_PROP = SYSTEM_PREFIX + "graph.Scale";
20    public static final String SCALE_DEFAULT = "1.0";
21
22    public static final String IGNOREPROC_PROP = SYSTEM_PREFIX + "parser.IgnoreProcessing";
23    public static final String IGNOREPROC_DEFAULT = "true";
24
25
26    public static final String SHADOW_PROP = SYSTEM_PREFIX + "graph.ShadowColor";
27    public static final String SHADOW_DEFAULT = "grey90";
28
29
30    public static final String CONFIG_FILE_DEFAULT = "atnvis.properties";
31    public static final String WINDOW_TITLE_DEFAULT = "ATN Visualization";
32    public static final String WINDOW_HEIGHT_DEFAULT = "800";
33    public static final String WINDOW_WIDTH_DEFAULT = "600";
34
35    public static final String DELAY_DEFAULT = "500";
36    public static final String LOOP_DEFAULT = "true";
37
38    public static final int LEFT_SIDE = 0;
39    public static final int RIGHT_SIDE = 1;
40
41    public static final String OPPONENT_PROC = "Opponent";
42    public static final String VERIFIER_PROC = "Verifier";
43    public static final String FULLY_PROC = "Fully";
44    public static final String NOT_PROC = "Unprocessed";
45
46    public static final String SATISFIED = "Satisfied";
47    public static final String NOT_SATISFIED = "Failed";
48    public static final String UNKNOWN = "Unknown";
49
50    public static final String STANDARD_TARGET = "StandardTarget";
51    public static final String ROLE_TARGET = "RoleTarget";
52    public static final String LINKING_ROLE_TARGET = "LinkingRoleTarget";
53    public static final String TRIVIAL_TARGET = "TrivialTarget";
54    public static final String INTERSECTION_TARGET = "IntersectionTarget";
55    public static final String LINKING_GOAL = "LinkingGoal";
56
57    public static final String IMPLICATION_EDGE = "Implication";
58    public static final String LINKING_MONITOR_EDGE = "LinkingMonitor";
59    public static final String LINKING_SOLUTION_EDGE = "LinkingSolution";
60    public static final String LINKING_IMPLICATION_EDGE = "LinkingImplication";
61    public static final String INTERSECTION_EDGE = "Intersection";
62    public static final String CONTROL_EDGE = "Control";
63
64    public static final String DEFAULT_NODE = SYSTEM_PREFIX + "node.Default.";
65    public static final String DEFAULT_EDGE = SYSTEM_PREFIX + "edge.Default.";
66
67
68    public static final String[] NODE_ATTRS = {
69        SHAPE_ATTR,
70        SIDES_ATTR,
71        PERIPHERIES_ATTR,
72        STYLE_ATTR,
73        COLOR_ATTR,
74        FONTNAME_ATTR,
75        FONTCOLOR_ATTR,
76        FONTSIZE_ATTR,
77        FONTSTYLE_ATTR };
78
79
80
81    public static final String[] NODE_ATTRS_PROP = {
82        "shape",
83        "sides",
84        "peripheries",
85        "style",
86        "color",
87        "fontname",
88        "fontcolor",
89        "fontsize",
90        "fontstyle" };
91
92    public static final boolean[] NODE_ATTRS_INT = {
93        false,
94        true,
95        true,
96        false,
97        false,
98        false,
99        false,
100        true,
101        false };
102
103
104    public static final String[] EDGE_ATTRS = {
105        STYLE_ATTR,
106        COLOR_ATTR,
107        DIR_ATTR };
108
109    public static final String[] EDGE_ATTRS_PROP = {
110        "style",
111        "color",
112        "direction" };
113
114
115    public static final boolean[] EDGE_ATTRS_INT = {
116        false,
117        false,
118        false };
119
120}
Note: See TracBrowser for help on using the repository browser.