annotate docs/diagrams/ismi_text_witness_codex.graphml @ 191:fb7cf0b3d775

render make-public button in show-non-public action.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Fri, 09 Nov 2018 15:43:39 +0100
parents ded3bccf2cf9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
jurzua
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
jurzua
parents:
diff changeset
2 <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
jurzua
parents:
diff changeset
3 <!--Created by yFiles for Java 2.9-->
jurzua
parents:
diff changeset
4 <key for="graphml" id="d0" yfiles.type="resources"/>
jurzua
parents:
diff changeset
5 <key for="port" id="d1" yfiles.type="portgraphics"/>
jurzua
parents:
diff changeset
6 <key for="port" id="d2" yfiles.type="portgeometry"/>
jurzua
parents:
diff changeset
7 <key for="port" id="d3" yfiles.type="portuserdata"/>
jurzua
parents:
diff changeset
8 <key attr.name="url" attr.type="string" for="node" id="d4"/>
jurzua
parents:
diff changeset
9 <key attr.name="description" attr.type="string" for="node" id="d5"/>
jurzua
parents:
diff changeset
10 <key for="node" id="d6" yfiles.type="nodegraphics"/>
jurzua
parents:
diff changeset
11 <key attr.name="Description" attr.type="string" for="graph" id="d7"/>
jurzua
parents:
diff changeset
12 <key attr.name="url" attr.type="string" for="edge" id="d8"/>
jurzua
parents:
diff changeset
13 <key attr.name="description" attr.type="string" for="edge" id="d9"/>
jurzua
parents:
diff changeset
14 <key for="edge" id="d10" yfiles.type="edgegraphics"/>
jurzua
parents:
diff changeset
15 <graph edgedefault="directed" id="G">
jurzua
parents:
diff changeset
16 <data key="d7"/>
jurzua
parents:
diff changeset
17 <node id="n0">
jurzua
parents:
diff changeset
18 <data key="d6">
jurzua
parents:
diff changeset
19 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
20 <y:Geometry height="30.0" width="82.0" x="445.0" y="132.0"/>
jurzua
parents:
diff changeset
21 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
22 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
23 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="33.19140625" x="24.404296875" y="5.93359375">TEXT</y:NodeLabel>
jurzua
parents:
diff changeset
24 </y:GenericNode>
jurzua
parents:
diff changeset
25 </data>
jurzua
parents:
diff changeset
26 </node>
jurzua
parents:
diff changeset
27 <node id="n1">
jurzua
parents:
diff changeset
28 <data key="d6">
jurzua
parents:
diff changeset
29 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
30 <y:Geometry height="30.0" width="82.0" x="445.0" y="224.5"/>
jurzua
parents:
diff changeset
31 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
32 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
33 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="53.60546875" x="14.197265625" y="5.93359375">WITNESS</y:NodeLabel>
jurzua
parents:
diff changeset
34 </y:GenericNode>
jurzua
parents:
diff changeset
35 </data>
jurzua
parents:
diff changeset
36 </node>
jurzua
parents:
diff changeset
37 <node id="n2">
jurzua
parents:
diff changeset
38 <data key="d6">
jurzua
parents:
diff changeset
39 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
40 <y:Geometry height="30.0" width="82.0" x="751.0" y="224.5"/>
jurzua
parents:
diff changeset
41 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
42 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
43 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="44.62890625" x="18.685546875" y="5.93359375">CODEX</y:NodeLabel>
jurzua
parents:
diff changeset
44 </y:GenericNode>
jurzua
parents:
diff changeset
45 </data>
jurzua
parents:
diff changeset
46 </node>
jurzua
parents:
diff changeset
47 <node id="n3">
jurzua
parents:
diff changeset
48 <data key="d6">
jurzua
parents:
diff changeset
49 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
50 <y:Geometry height="30.0" width="82.0" x="751.0" y="326.75"/>
jurzua
parents:
diff changeset
51 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
52 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
53 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="78.4609375" x="1.76953125" y="5.93359375">COLLECTION</y:NodeLabel>
jurzua
parents:
diff changeset
54 </y:GenericNode>
jurzua
parents:
diff changeset
55 </data>
jurzua
parents:
diff changeset
56 </node>
jurzua
parents:
diff changeset
57 <node id="n4">
jurzua
parents:
diff changeset
58 <data key="d6">
jurzua
parents:
diff changeset
59 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
60 <y:Geometry height="30.0" width="82.0" x="751.0" y="429.0"/>
jurzua
parents:
diff changeset
61 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
62 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
63 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="75.94140625" x="3.029296875" y="5.93359375">REPOSITORY</y:NodeLabel>
jurzua
parents:
diff changeset
64 </y:GenericNode>
jurzua
parents:
diff changeset
65 </data>
jurzua
parents:
diff changeset
66 </node>
jurzua
parents:
diff changeset
67 <node id="n5">
jurzua
parents:
diff changeset
68 <data key="d6">
jurzua
parents:
diff changeset
69 <y:GenericNode configuration="BevelNode2">
jurzua
parents:
diff changeset
70 <y:Geometry height="30.0" width="82.0" x="445.0" y="429.0"/>
jurzua
parents:
diff changeset
71 <y:Fill color="#FF9900" transparent="false"/>
jurzua
parents:
diff changeset
72 <y:BorderStyle hasColor="false" type="line" width="1.0"/>
jurzua
parents:
diff changeset
73 <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="internal" modelPosition="c" textColor="#000000" visible="true" width="40.1171875" x="20.94140625" y="5.93359375">PLACE</y:NodeLabel>
jurzua
parents:
diff changeset
74 </y:GenericNode>
jurzua
parents:
diff changeset
75 </data>
jurzua
parents:
diff changeset
76 </node>
jurzua
parents:
diff changeset
77 <edge id="e0" source="n1" target="n2">
jurzua
parents:
diff changeset
78 <data key="d10">
jurzua
parents:
diff changeset
79 <y:PolyLineEdge>
jurzua
parents:
diff changeset
80 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
jurzua
parents:
diff changeset
81 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
82 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
83 <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="32.265625" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="84.30859375" x="69.868896484375" y="2.0">is_part_of
jurzua
parents:
diff changeset
84 [many to one]</y:EdgeLabel>
jurzua
parents:
diff changeset
85 <y:BendStyle smoothed="false"/>
jurzua
parents:
diff changeset
86 </y:PolyLineEdge>
jurzua
parents:
diff changeset
87 </data>
jurzua
parents:
diff changeset
88 </edge>
jurzua
parents:
diff changeset
89 <edge id="e1" source="n2" target="n3">
jurzua
parents:
diff changeset
90 <data key="d10">
jurzua
parents:
diff changeset
91 <y:PolyLineEdge>
jurzua
parents:
diff changeset
92 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
jurzua
parents:
diff changeset
93 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
94 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
95 <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="60.947265625" x="2.0" y="27.0306396484375">is_part_of</y:EdgeLabel>
jurzua
parents:
diff changeset
96 <y:BendStyle smoothed="false"/>
jurzua
parents:
diff changeset
97 </y:PolyLineEdge>
jurzua
parents:
diff changeset
98 </data>
jurzua
parents:
diff changeset
99 </edge>
jurzua
parents:
diff changeset
100 <edge id="e2" source="n3" target="n4">
jurzua
parents:
diff changeset
101 <data key="d10">
jurzua
parents:
diff changeset
102 <y:PolyLineEdge>
jurzua
parents:
diff changeset
103 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
jurzua
parents:
diff changeset
104 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
105 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
106 <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="60.947265625" x="2.0" y="27.0306396484375">is_part_of</y:EdgeLabel>
jurzua
parents:
diff changeset
107 <y:BendStyle smoothed="false"/>
jurzua
parents:
diff changeset
108 </y:PolyLineEdge>
jurzua
parents:
diff changeset
109 </data>
jurzua
parents:
diff changeset
110 </edge>
jurzua
parents:
diff changeset
111 <edge id="e3" source="n4" target="n5">
jurzua
parents:
diff changeset
112 <data key="d10">
jurzua
parents:
diff changeset
113 <y:PolyLineEdge>
jurzua
parents:
diff changeset
114 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
jurzua
parents:
diff changeset
115 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
116 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
117 <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="18.1328125" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="30.501953125" x="-127.274169921875" y="2.0">is_in</y:EdgeLabel>
jurzua
parents:
diff changeset
118 <y:BendStyle smoothed="false"/>
jurzua
parents:
diff changeset
119 </y:PolyLineEdge>
jurzua
parents:
diff changeset
120 </data>
jurzua
parents:
diff changeset
121 </edge>
jurzua
parents:
diff changeset
122 <edge id="e4" source="n2" target="n2">
jurzua
parents:
diff changeset
123 <data key="d10">
jurzua
parents:
diff changeset
124 <y:ArcEdge>
jurzua
parents:
diff changeset
125 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0">
jurzua
parents:
diff changeset
126 <y:Point x="792.0" y="239.5"/>
jurzua
parents:
diff changeset
127 </y:Path>
jurzua
parents:
diff changeset
128 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
129 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
130 <y:Arc height="0.0" ratio="1.0" type="fixedRatio"/>
jurzua
parents:
diff changeset
131 </y:ArcEdge>
jurzua
parents:
diff changeset
132 </data>
jurzua
parents:
diff changeset
133 </edge>
jurzua
parents:
diff changeset
134 <edge id="e5" source="n2" target="n2">
jurzua
parents:
diff changeset
135 <data key="d10">
jurzua
parents:
diff changeset
136 <y:ArcEdge>
jurzua
parents:
diff changeset
137 <y:Path sx="0.0" sy="0.0" tx="31.83333333333337" ty="0.0">
jurzua
parents:
diff changeset
138 <y:Point x="807.9166259765625" y="231.5416717529297"/>
jurzua
parents:
diff changeset
139 </y:Path>
jurzua
parents:
diff changeset
140 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
141 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
142 <y:Arc height="7.9583282470703125" ratio="1.0" type="fixedRatio"/>
jurzua
parents:
diff changeset
143 </y:ArcEdge>
jurzua
parents:
diff changeset
144 </data>
jurzua
parents:
diff changeset
145 </edge>
jurzua
parents:
diff changeset
146 <edge id="e6" source="n1" target="n0">
jurzua
parents:
diff changeset
147 <data key="d10">
jurzua
parents:
diff changeset
148 <y:PolyLineEdge>
jurzua
parents:
diff changeset
149 <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/>
jurzua
parents:
diff changeset
150 <y:LineStyle color="#000000" type="line" width="1.0"/>
jurzua
parents:
diff changeset
151 <y:Arrows source="none" target="standard"/>
jurzua
parents:
diff changeset
152 <y:EdgeLabel alignment="center" distance="2.0" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="32.265625" modelName="six_pos" modelPosition="tail" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" visible="true" width="91.861328125" x="2.0" y="-47.342529296875">is_exemplar_of
jurzua
parents:
diff changeset
153 [many to one]</y:EdgeLabel>
jurzua
parents:
diff changeset
154 <y:BendStyle smoothed="false"/>
jurzua
parents:
diff changeset
155 </y:PolyLineEdge>
jurzua
parents:
diff changeset
156 </data>
jurzua
parents:
diff changeset
157 </edge>
jurzua
parents:
diff changeset
158 </graph>
jurzua
parents:
diff changeset
159 <data key="d0">
jurzua
parents:
diff changeset
160 <y:Resources/>
jurzua
parents:
diff changeset
161 </data>
jurzua
parents:
diff changeset
162 </graphml>