ldcheck.py

Wed, 31 Jan 2018 14:34:23 +0200

author
Santeri Piippo
date
Wed, 31 Jan 2018 14:34:23 +0200
changeset 32
75f44d3063da
parent 26
7c263b864371
child 34
7ed2e831acd4
permissions
-rwxr-xr-x

Reworked web front, problems are now sorted by category as well as line number

3
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
1 #!/usr/bin/env python3
8
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
2 from sys import version_info
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
3 if version_info < (3, 4):
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
4 raise RuntimeError('Python 3.4 or newer required')
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
5
3
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
6 from parse import parse_ldraw_code
8
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
7 from colours import load_colours
7
0ab0d61ccee8 Smallest angles
Santeri Piippo
parents: 6
diff changeset
8 from geometry import *
8
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
9 from pathlib import Path
13
12d4ddc4bfd8 Got the skew test working
Santeri Piippo
parents: 9
diff changeset
10 import linetypes
3
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
11
9
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
12 from os.path import realpath
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
13 script_directory = Path(realpath(__file__)).parent
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
14
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
15 def load_config(filename):
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
16 from configobj import ConfigObj
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
17 from copy import deepcopy
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
18 config = ConfigObj(filename, encoding = 'UTF8')
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
19 read_config = deepcopy(config)
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
20 if 'libraries' not in config:
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
21 config['libraries'] = ['/path/to/ldraw']
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
22 if config != read_config:
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
23 config.write()
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
24 return config
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
25
21
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
26 def read_ldraw(file, *, name = '', config):
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
27 model_body = [
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
28 parse_ldraw_code(line)
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
29 for line in file
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
30 ]
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
31 model = Model(body = model_body)
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
32 model.name = name
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
33 return model
3
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
34
9
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
35 def library_paths(config):
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
36 for library_path_string in config['libraries']:
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
37 yield Path(library_path_string).expanduser()
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
38
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
39 def find_ldconfig_ldr_paths(config):
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
40 for library_path in library_paths(config):
17
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
41 yield from [
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
42 library_path / path
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
43 for path in ['LDConfig.ldr', 'ldconfig.ldr']
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
44 if (library_path / path).is_file()
8
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
45 ]
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
46
13
12d4ddc4bfd8 Got the skew test working
Santeri Piippo
parents: 9
diff changeset
47 class Model:
17
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
48 def __init__(self, body):
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
49 self.body = body
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
50 self.body_offset = 0
21
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
51 def filter_by_type(self, type):
17
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
52 yield from [
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
53 element
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
54 for element in self.body
21
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
55 if isinstance(element, type)
17
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
56 ]
21
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
57 @property
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
58 def subfile_references(self):
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
59 yield from self.filter_by_type(linetypes.SubfileReference)
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
60 @property
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
61 def line_segments(self):
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
62 yield from self.filter_by_type(linetypes.LineSegment)
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
63 @property
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
64 def triangles(self):
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
65 yield from self.filter_by_type(linetypes.Triangle)
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
66 @property
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
67 def quadrilaterals(self):
8006fb8cdb77 refactor
Santeri Piippo
parents: 18
diff changeset
68 yield from self.filter_by_type(linetypes.Quadrilateral)
13
12d4ddc4bfd8 Got the skew test working
Santeri Piippo
parents: 9
diff changeset
69
26
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
70 import argparse
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
71 class ListTestSuiteAction(argparse.Action):
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
72 def __init__(self, option_strings, dest, nargs = None, **kwargs):
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
73 super().__init__(option_strings, dest, nargs = 0, **kwargs)
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
74 def __call__(self, *args, **kwargs):
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
75 from testsuite import load_tests
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
76 from sys import exit
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
77 from re import sub
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
78 test_suite = load_tests()
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
79 for test_name in sorted(test_suite['tests'].keys()):
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
80 test_function = test_suite['tests'][test_name]
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
81 help = sub(r'\s+', ' ', test_function.__doc__ or '').strip()
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
82 print(test_name + ': ' + help)
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
83 exit(0)
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
84
3
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
85 if __name__ == '__main__':
1dc58f44d556 Can now write dat files, added direct color handling
Santeri Piippo
parents:
diff changeset
86 from sys import argv
26
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
87 parser = argparse.ArgumentParser()
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
88 parser.add_argument('filename')
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
89 parser.add_argument('--list',
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
90 action = ListTestSuiteAction,
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
91 help = 'Lists all possible checks and exit',
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
92 )
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
93 args = parser.parse_args()
9
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
94 config = load_config('ldcheck.cfg')
fea8e9ae6f29 Added matrix code, moved library paths to ldcheck.cfg.
Santeri Piippo
parents: 8
diff changeset
95 for ldconfig_ldr_path in find_ldconfig_ldr_paths(config):
8
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
96 with ldconfig_ldr_path.open() as ldconfig_ldr:
303c51137cb2 Added ldconfig.ldr support
Santeri Piippo
parents: 7
diff changeset
97 load_colours(ldconfig_ldr)
26
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
98 with open(args.filename) as file:
18
672ebc45685a made errors prettier
Santeri Piippo
parents: 17
diff changeset
99 from os.path import basename
26
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
100 model = read_ldraw(
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
101 file,
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
102 name = basename(args.filename),
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
103 config = config,
7c263b864371 Added command line option to list all checks.
Santeri Piippo
parents: 21
diff changeset
104 )
17
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
105 from testsuite import load_tests, check_model, format_report
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
106 test_suite = load_tests()
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
107 report = check_model(model, test_suite)
327da5d00360 Added code to run the test suite.
Santeri Piippo
parents: 13
diff changeset
108 print(format_report(report, model, test_suite))

mercurial