source: fedd/abac-src/atnvis/jan_demo/breadth/atnvis.properties @ 2f14616

version-1.30
Last change on this file since 2f14616 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 2.8 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.Complete.color = yellow
53atnvis.node.satisfied.Failed.color = red
54atnvis.node.satisfied.Unknown.color = white
55atnvis.node.satisfied.Incomplete.color = white
56
57#atnvis.node.satisfied.Satisfied.shape = tripleoctagon
58#atnvis.node.satisfied.Failed.shape = doubleoctagon
59
60
61# Standard Implication Edge properties
62atnvis.edge.Implication.color = purple3
63atnvis.edge.Implication.style = solid
64atnvis.edge.Implication.color.bold = purple1
65atnvis.edge.Implication.style.bold = dashed
66
67# Linking-Monitor Edge properties
68atnvis.edge.LinkingMonitor.color = royalblue3
69atnvis.edge.LinkingMonitor.style = solid
70atnvis.edge.LinkingMonitor.color.bold = royalblue1
71atnvis.edge.LinkingMonitor.style.bold = dashed
72
73# Linking-Solution Edge properties
74atnvis.edge.LinkingSolution.color = gold3
75atnvis.edge.LinkingSolution.style = solid
76atnvis.edge.LinkingSolution.color.bold = gold1
77atnvis.edge.LinkingSolution.style.bold = dashed
78
79# Linking-Implication Edge properties
80atnvis.edge.LinkingImplication.color = darkolivegreen3
81atnvis.edge.LinkingImplication.style = solid
82atnvis.edge.LinkingImplication.color.bold = darkolivegreen1
83atnvis.edge.LinkingImplication.style.bold = dashed
84
85# Intersection Edge properties
86atnvis.edge.Intersection.color = orange3
87atnvis.edge.Intersection.style = solid
88atnvis.edge.Intersection.color.bold = orange1
89atnvis.edge.Intersection.style.bold = dashed
90
91# Control Edge properties
92atnvis.edge.Control.color = firebrick3
93atnvis.edge.Control.style = solid
94atnvis.edge.Control.color.bold = firebrick1
95atnvis.edge.Control.style.bold = dashed
Note: See TracBrowser for help on using the repository browser.