Thu, 26 Aug 2021 22:04:33 +0300
removed some alias tests that aren't mandated by the official header specification
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
1 | <!DOCTYPE html> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
2 | <html> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
3 | <head> | 
| 39 | 4 | <link rel="icon" href="static/favicon.ico" /> | 
| 5 | <link rel="stylesheet" href="static/style.css" /> | |
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
6 | <title>LDraw part verification tool</title> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
7 | </head> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
8 | <body> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
9 | <div class="top-form"> | 
| 
100
 
62759e5c4554
add some basic versioning
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
72 
diff
changeset
 | 
10 | <h1>{{appname}} {{version}} - Check your part here</h1> | 
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
11 | <form method="post" enctype="multipart/form-data"> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
12 | <input type="file" name="file"/> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
13 | <input type="submit" /> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
14 | </form> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
15 | </div> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
16 | <div class="report-container"> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
17 | |
| 
100
 
62759e5c4554
add some basic versioning
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
72 
diff
changeset
 | 
18 | {% if is_debug %} | 
| 
 
62759e5c4554
add some basic versioning
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
72 
diff
changeset
 | 
19 | <p>Note: this is an unreleased version, everything may not work as intended.</p> | 
| 
 
62759e5c4554
add some basic versioning
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
72 
diff
changeset
 | 
20 | {% endif %} | 
| 
 
62759e5c4554
add some basic versioning
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
72 
diff
changeset
 | 
21 | |
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
22 | {% if report %} | 
| 
61
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
23 | <h1>{{name}}</h1> | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
24 | {% if report['problems'] %} | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
25 | <ul class="problems-list"> | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
26 | {% for problem in report['problems'] %} | 
| 
62
 
f0a6bf48b05e
Problem reporting revamp, program is now aware of its problem types
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
61 
diff
changeset
 | 
27 | <li class="problem-{{problem['severity']}}"> | 
| 
72
 
62d0b5b9d797
made problems be copied more nicely from the web front end
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
64 
diff
changeset
 | 
28 | <div class='problem-content'> | 
| 
 
62d0b5b9d797
made problems be copied more nicely from the web front end
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
64 
diff
changeset
 | 
29 | <div class='problem-description'> | 
| 
64
 
1c0884f5506e
changed severity names to be better understood
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
63 
diff
changeset
 | 
30 | Line {{problem.line_number}}: | 
| 
72
 
62d0b5b9d797
made problems be copied more nicely from the web front end
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
64 
diff
changeset
 | 
31 | {{problem.message_str}} — {{problem.severity.upper()}} | 
| 
61
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
32 | <br /> | 
| 
62
 
f0a6bf48b05e
Problem reporting revamp, program is now aware of its problem types
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
61 
diff
changeset
 | 
33 | <span class="ldraw-code">{{problem.ldraw_code}}</span> | 
| 
72
 
62d0b5b9d797
made problems be copied more nicely from the web front end
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
64 
diff
changeset
 | 
34 | </div> | 
| 
 
62d0b5b9d797
made problems be copied more nicely from the web front end
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
64 
diff
changeset
 | 
35 | </div> | 
| 
61
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
36 | </li> | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
37 | {% endfor %} | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
38 | </ul> | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
39 | {% else %} | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
40 | No problems whatsoever. | 
| 
 
15c95d3fcfd8
show the filename of the processed file in the report
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
39 
diff
changeset
 | 
41 | {% endif %} | 
| 
63
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
42 | <hr /> | 
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
43 | {% endif %} | 
| 
63
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
44 | <h1>List of reported issue types</h1> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
45 | <table> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
46 | <thead> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
47 | <tr> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
48 | <th>Name of issue</th> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
49 | <th>Severity</th> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
50 | <th>Example message</th> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
51 | </tr> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
52 | </thead> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
53 | <tbody> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
54 | |
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
55 | {% for problem_type in problem_types %} | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
56 | <tr> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
57 | <td>{{ problem_type.name }}</td> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
58 | <td>{{ problem_type.severity }}</td> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
59 | <td>{{ problem_type.placeholder_message() }}</td> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
60 | </tr> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
61 | {% endfor %} | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
62 | </tbody> | 
| 
 
8949af6a4279
added the list of issues onto the web frontend
 
Teemu Piippo <teemu@hecknology.net> 
parents: 
62 
diff
changeset
 | 
63 | </table> | 
| 
32
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
64 | </div> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
65 | </body> | 
| 
 
75f44d3063da
Reworked web front, problems are now sorted by category as well as line number
 
Santeri Piippo 
parents:  
diff
changeset
 | 
66 | </html> |