source: fedd/abac-src/atnvis/src/ATNVisualizerConstants.java @ 8780cbec

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

ABAC sources from Cobham
  • Property mode set to 100644
File size: 3.1 KB
Line 
1package com.algomagic.atn.vis;
2
3import att.grappa.GrappaConstants;
4
5public interface ATNVisualizerConstants 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
17    public static final String CONFIG_FILE_DEFAULT = "atnvis.properties";
18    public static final String WINDOW_TITLE_DEFAULT = "ATN Visualization";
19    public static final String WINDOW_HEIGHT_DEFAULT = "800";
20    public static final String WINDOW_WIDTH_DEFAULT = "600";
21
22    public static final String DELAY_DEFAULT = "500";
23    public static final String LOOP_DEFAULT = "true";
24
25    public static final int LEFT_SIDE = 0;
26    public static final int RIGHT_SIDE = 1;
27
28    public static final String OPPONENT_PROC = "Opponent";
29    public static final String VERIFIER_PROC = "Verifier";
30    public static final String FULLY_PROC = "Fully";
31    public static final String NOT_PROC = "Not";
32
33    public static final String SATISFIED = "True";
34    public static final String NOT_SATISFIED = "False";
35
36    public static final String STANDARD_TARGET = "StandardTarget";
37    public static final String INTERSECTION_TARGET = "IntersectionTarget";
38    public static final String LINKING_GOAL = "LinkingGoal";
39
40    public static final String IMPLICATION_EDGE = "Implication";
41    public static final String LINKING_MONITOR_EDGE = "LinkingMonitor";
42    public static final String LINKING_SOLUTION_EDGE = "LinkingSolution";
43    public static final String LINKING_IMPLICATION_EDGE = "LinkingImplication";
44    public static final String INTERSECTION_EDGE = "Intersection";
45    public static final String CONTROL_EDGE = "Control";
46
47    public static final String DEFAULT_NODE = SYSTEM_PREFIX + "node.Default.";
48    public static final String DEFAULT_EDGE = SYSTEM_PREFIX + "edge.Default.";
49
50
51    public static final String[] NODE_ATTRS = {
52        SHAPE_ATTR,
53        SIDES_ATTR,
54        PERIPHERIES_ATTR,
55        STYLE_ATTR,
56        COLOR_ATTR,
57        FONTNAME_ATTR,
58        FONTCOLOR_ATTR,
59        FONTSIZE_ATTR,
60        FONTSTYLE_ATTR };
61
62
63
64    public static final String[] NODE_ATTRS_PROP = {
65        "shape",
66        "sides",
67        "peripheries",
68        "style",
69        "color",
70        "fontname",
71        "fontcolor",
72        "fontsize",
73        "fontstyle" };
74
75    public static final boolean[] NODE_ATTRS_INT = {
76        false,
77        true,
78        true,
79        false,
80        false,
81        false,
82        false,
83        true,
84        false };
85
86
87    public static final String[] EDGE_ATTRS = {
88        STYLE_ATTR,
89        FONTNAME_ATTR,
90        COLOR_ATTR,
91        FONTCOLOR_ATTR,
92        FONTSIZE_ATTR,
93        FONTSTYLE_ATTR,
94        DIR_ATTR };
95
96    public static final String[] EDGE_ATTRS_PROP = {
97        "style",
98        "fontname",
99        "color",
100        "fontcolor",
101        "fontsize",
102        "fontstyle", 
103        "direction"  };
104
105
106    public static final boolean[] EDGE_ATTRS_INT = {
107        false,
108        false,
109        false,
110        false,
111        true,
112        false,
113        false };
114
115   
116
117
118
119
120}
Note: See TracBrowser for help on using the repository browser.