File: fenum.svg

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (132 lines) | stat: -rw-r--r-- 9,239 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/PR-SVG-20010719/DTD/svg10.dtd">
<svg width="25.5cm" height="5.5cm" viewBox="328 238 1013 205" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  <g>
    <rect style="fill: #ffffff" x="329.198" y="320.056" width="160" height="42"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="329.198" y="320.056" width="160" height="42"/>
    <text font-size="16" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="409.198" y="345.906">
      <tspan x="409.198" y="345.906">@Fenum("A")</tspan>
    </text>
  </g>
  <g>
    <rect style="fill: #ffffff" x="1149.67" y="320" width="189.8" height="42"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #7f7f7f" x="1149.67" y="320" width="189.8" height="42"/>
    <text font-size="16" style="fill: #7f7f7f;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="1244.57" y="345.85">
      <tspan x="1244.57" y="345.85">@FenumUnqualified</tspan>
    </text>
  </g>
  <g>
    <rect style="fill: #ffffff" x="740" y="240" width="160" height="42"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #7f7f7f" x="740" y="240" width="160" height="42"/>
    <text font-size="16" style="fill: #7f7f7f;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="820" y="265.85">
      <tspan x="820" y="265.85">@FenumTop</tspan>
    </text>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="409.198" y1="320.056" x2="724.153" y2="274.779"/>
    <polygon style="fill: #000000" points="725.149,281.708 738.011,272.787 723.157,267.85 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="725.149,281.708 738.011,272.787 723.157,267.85 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="1244.57" y1="320" x2="915.838" y2="274.318"/>
    <polygon style="fill: #000000" points="916.801,267.385 901.971,272.391 914.874,281.251 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="916.801,267.385 901.971,272.391 914.874,281.251 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="820" y1="400" x2="424.134" y2="363.436"/>
    <polygon style="fill: #000000" points="424.778,356.465 410.194,362.148 423.491,370.406 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="424.778,356.465 410.194,362.148 423.491,370.406 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="820" y1="400" x2="1229.63" y2="363.337"/>
    <polygon style="fill: #000000" points="1230.26,370.309 1243.58,362.089 1229.01,356.365 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="1230.26,370.309 1243.58,362.089 1229.01,356.365 "/>
  </g>
  <g>
    <rect style="fill: #ffffff" x="740" y="400" width="160" height="42"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #7f7f7f" x="740" y="400" width="160" height="42"/>
    <text font-size="16" style="fill: #7f7f7f;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="820" y="425.85">
      <tspan x="820" y="425.85">@FenumBottom</tspan>
    </text>
  </g>
  <text font-size="12.8" style="fill: #000000;text-anchor:start;font-family:courier new;font-style:normal;font-weight:normal" x="820" y="261">
    <tspan x="820" y="261"></tspan>
  </text>
  <text font-size="12.8" style="fill: #000000;text-anchor:start;font-family:courier new;font-style:normal;font-weight:normal" x="409.198" y="341.056">
    <tspan x="409.198" y="341.056"></tspan>
  </text>
  <g>
    <rect style="fill: #ffffff" x="499.97" y="320.092" width="160" height="41.7325"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="499.97" y="320.092" width="160" height="41.7325"/>
    <text font-size="16" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="579.97" y="345.808">
      <tspan x="579.97" y="345.808">@Fenum("B")</tspan>
    </text>
  </g>
  <text font-size="12.8" style="fill: #000000;text-anchor:start;font-family:courier new;font-style:normal;font-weight:normal" x="579.97" y="340.958">
    <tspan x="579.97" y="340.958"></tspan>
  </text>
  <g>
    <rect style="fill: #ffffff" x="739.446" y="320.092" width="160" height="41.7325"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="739.446" y="320.092" width="160" height="41.7325"/>
    <text font-size="16" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="819.446" y="345.808">
      <tspan x="819.446" y="345.808">@FenumC</tspan>
    </text>
  </g>
  <text font-size="12.8" style="fill: #000000;text-anchor:start;font-family:courier new;font-style:normal;font-weight:normal" x="819.446" y="340.958">
    <tspan x="819.446" y="340.958"></tspan>
  </text>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="579.97" y1="320.092" x2="729.545" y2="283.269"/>
    <polygon style="fill: #000000" points="736.827,281.476 728.313,288.721 729.545,283.269 725.922,279.011 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="736.827,281.476 728.313,288.721 729.545,283.269 725.922,279.011 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="819.446" y1="320.092" x2="819.702" y2="292.736"/>
    <polygon style="fill: #000000" points="819.773,285.237 824.679,295.283 819.702,292.736 814.679,295.189 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="819.773,285.237 824.679,295.283 819.702,292.736 814.679,295.189 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="820" y1="400" x2="589.585" y2="363.353"/>
    <polygon style="fill: #000000" points="582.178,362.175 592.84,358.808 589.585,363.353 591.269,368.684 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="582.178,362.175 592.84,358.808 589.585,363.353 591.269,368.684 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="820" y1="400" x2="819.587" y2="371.559"/>
    <polygon style="fill: #000000" points="819.478,364.06 824.623,373.986 819.587,371.559 814.624,374.131 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="819.478,364.06 824.623,373.986 819.587,371.559 814.624,374.131 "/>
  </g>
  <text font-size="12.8" style="fill: #000000;text-anchor:start;font-family:courier new;font-style:normal;font-weight:normal" x="409.198" y="341.056">
    <tspan x="409.198" y="341.056"></tspan>
  </text>
  <g>
    <rect style="fill: #ffffff" x="1079.65" y="320" width="40" height="42"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="1079.65" y="320" width="40" height="42"/>
    <text font-size="12.8" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="1099.65" y="344.9">
      <tspan x="1099.65" y="344.9">...</tspan>
    </text>
  </g>
  <g>
    <rect style="fill: #ffffff" x="669.338" y="320.036" width="40" height="41.8095"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="669.338" y="320.036" width="40" height="41.8095"/>
    <text font-size="12.8" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="689.338" y="344.841">
      <tspan x="689.338" y="344.841">...</tspan>
    </text>
  </g>
  <g>
    <rect style="fill: #ffffff" x="910.434" y="320.572" width="160" height="41.7325"/>
    <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="910.434" y="320.572" width="160" height="41.7325"/>
    <text font-size="16" style="fill: #000000;text-anchor:middle;font-family:courier new;font-style:normal;font-weight:normal" x="990.434" y="346.288">
      <tspan x="990.434" y="346.288">@FenumD</tspan>
    </text>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="990.434" y1="320.572" x2="892.147" y2="286.217"/>
    <polygon style="fill: #000000" points="885.067,283.743 896.156,282.322 892.147,286.217 892.857,291.762 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="885.067,283.743 896.156,282.322 892.147,286.217 892.857,291.762 "/>
  </g>
  <g>
    <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="820" y1="400" x2="980.928" y2="364.407"/>
    <polygon style="fill: #000000" points="988.251,362.787 979.566,369.828 980.928,364.407 977.407,360.064 "/>
    <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="988.251,362.787 979.566,369.828 980.928,364.407 977.407,360.064 "/>
  </g>
</svg>