source: fedd/abac-src/atnvis/shortCircuit/atnvis.properties @ 0d9eba6

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

ABAC sources from Cobham

  • Property mode set to 100644
File size: 2.7 KB
RevLine 
[8780cbec]1# Window properties
2atnvis.window.Title = Automated Trust Negotiation Visualization
3atnvis.window.Height = 768
4atnvis.window.Width = 1024
5
6
7# Control properties
8atnvis.control.DefaultDelay = 500
9atnvis.control.Loop = true
10
11
12# Parser
13atnvis.parser=com.algomagic.atn.PropertyLogParser
14atnvis.parser.IgnoreProcessing = true
15
16
17# Graph properties
18atnvis.graph.Scale = 0.8
19atnvis.graph.ShadowColor = gray60
20
21
22# Default node properties
23atnvis.node.Default.style = solid,filled
24atnvis.node.Default.color = purple
25atnvis.node.Default.shape = box
26atnvis.node.Default.fontname = TimesRoman
27atnvis.node.Default.fontcolor = black
28atnvis.node.Default.fontsize = 14
29atnvis.node.Default.fontstyle = normal
30
31
32# Default edge properties:
33atnvis.edge.Default.style = solid
34atnvis.edge.Default.color = black
35atnvis.edge.Default.direction = back
36
37
38atnvis.node.StandardTarget.shape = octagon
39atnvis.node.RoleTarget.shape = octagon
40atnvis.node.IntersectionTarget.shape = house
41atnvis.node.LinkingGoal.shape = box
42atnvis.node.LinkedRoleTarget.shape = trapezium
43atnvis.node.TrivialTarget.shape = invhouse
44
45
46atnvis.node.processed.Unprocessed.color = yellow
47atnvis.node.processed.Opponent.color = lightblue
48atnvis.node.processed.Verifier.color = lightgoldenrod
49atnvis.node.processed.Fully.color = lightseagreen
50
51atnvis.node.satisfied.Satisfied.color = green
52atnvis.node.satisfied.Failed.color = red
53atnvis.node.satisfied.Unknown.color = white
54
55#atnvis.node.satisfied.Satisfied.shape = tripleoctagon
56#atnvis.node.satisfied.Failed.shape = doubleoctagon
57
58
59# Standard Implication Edge properties
60atnvis.edge.Implication.color = purple3
61atnvis.edge.Implication.style = solid
62atnvis.edge.Implication.color.bold = purple1
63atnvis.edge.Implication.style.bold = dashed
64
65# Linking-Monitor Edge properties
66atnvis.edge.LinkingMonitor.color = royalblue3
67atnvis.edge.LinkingMonitor.style = solid
68atnvis.edge.LinkingMonitor.color.bold = royalblue1
69atnvis.edge.LinkingMonitor.style.bold = dashed
70
71# Linking-Solution Edge properties
72atnvis.edge.LinkingSolution.color = gold3
73atnvis.edge.LinkingSolution.style = solid
74atnvis.edge.LinkingSolution.color.bold = gold1
75atnvis.edge.LinkingSolution.style.bold = dashed
76
77# Linking-Implication Edge properties
78atnvis.edge.LinkingImplication.color = darkolivegreen3
79atnvis.edge.LinkingImplication.style = solid
80atnvis.edge.LinkingImplication.color.bold = darkolivegreen1
81atnvis.edge.LinkingImplication.style.bold = dashed
82
83# Intersection Edge properties
84atnvis.edge.Intersection.color = orange3
85atnvis.edge.Intersection.style = solid
86atnvis.edge.Intersection.color.bold = orange1
87atnvis.edge.Intersection.style.bold = dashed
88
89# Control Edge properties
90atnvis.edge.Control.color = firebrick3
91atnvis.edge.Control.style = solid
92atnvis.edge.Control.color.bold = firebrick1
93atnvis.edge.Control.style.bold = dashed
Note: See TracBrowser for help on using the repository browser.