source: fedd/abac-src/atnvis/TestDataFromMike/atnvis.properties @ 3c20a31

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02
Last change on this file since 3c20a31 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
Line 
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 = grey90
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 = purple4
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 = royalblue4
67atnvis.edge.LinkingMonitor.style = solid
68atnvis.edge.LinkingMonitor.color.bold = royalblue1
69atnvis.edge.LinkingMonitor.style.bold = dashed
70
71
72# Linking-Solution Edge properties
73atnvis.edge.LinkingSolution.color = gold4
74atnvis.edge.LinkingSolution.style = solid
75atnvis.edge.LinkingSolution.color.bold = gold1
76atnvis.edge.LinkingSolution.style.bold = dashed
77
78# Linking-Implication Edge properties
79atnvis.edge.LinkingImplication.color = darkolivegreen4
80atnvis.edge.LinkingImplication.style = solid
81atnvis.edge.LinkingImplication.color.bold = darkolivegreen1
82atnvis.edge.LinkingImplication.style.bold = dashed
83
84# Intersection Edge properties
85atnvis.edge.Intersection.color = orange4
86atnvis.edge.Intersection.style = solid
87atnvis.edge.Intersection.color.bold = orange1
88atnvis.edge.Intersection.style.bold = dashed
89
90# Control Edge properties
91atnvis.edge.Control.color = sienna4
92atnvis.edge.Control.style = solid
93atnvis.edge.Control.color.bold = sienna1
94atnvis.edge.Control.style.bold = dashed
Note: See TracBrowser for help on using the repository browser.