blob: 6ed5e849de70ff7613158d7d1e1ebd53244e8b79 [file] [log] [blame]
Gilles Peskinebd5147c2022-09-16 22:02:37 +02001"""Library for constructing an Mbed TLS test case.
Gilles Peskinedb2f5752021-01-26 21:27:22 +01002"""
3
4# Copyright The Mbed TLS Contributors
Dave Rodgman7ff79652023-11-03 12:04:52 +00005# SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Gilles Peskinedb2f5752021-01-26 21:27:22 +01006#
Gilles Peskinedb2f5752021-01-26 21:27:22 +01007
8import binascii
Gilles Peskine505cc642021-01-27 18:30:40 +01009import os
Gilles Peskine8ffb5852021-01-26 21:35:01 +010010import sys
Gilles Peskine4fbffcd2021-02-16 18:06:59 +010011from typing import Iterable, List, Optional
Gilles Peskinedb2f5752021-01-26 21:27:22 +010012
Gilles Peskine239765a2022-09-16 22:35:18 +020013from . import typing_util
Gilles Peskinedb2f5752021-01-26 21:27:22 +010014
15def hex_string(data: bytes) -> str:
16 return '"' + binascii.hexlify(data).decode('ascii') + '"'
17
18
19class MissingDescription(Exception):
20 pass
21
22class MissingFunction(Exception):
23 pass
24
25class TestCase:
26 """An Mbed TLS test case."""
27
28 def __init__(self, description: Optional[str] = None):
29 self.comments = [] #type: List[str]
30 self.description = description #type: Optional[str]
31 self.dependencies = [] #type: List[str]
32 self.function = None #type: Optional[str]
33 self.arguments = [] #type: List[str]
34
35 def add_comment(self, *lines: str) -> None:
36 self.comments += lines
37
38 def set_description(self, description: str) -> None:
39 self.description = description
40
41 def set_dependencies(self, dependencies: List[str]) -> None:
42 self.dependencies = dependencies
43
44 def set_function(self, function: str) -> None:
45 self.function = function
46
47 def set_arguments(self, arguments: List[str]) -> None:
48 self.arguments = arguments
49
50 def check_completeness(self) -> None:
51 if self.description is None:
52 raise MissingDescription
53 if self.function is None:
54 raise MissingFunction
55
Gilles Peskine4fbffcd2021-02-16 18:06:59 +010056 def write(self, out: typing_util.Writable) -> None:
Gilles Peskinedb2f5752021-01-26 21:27:22 +010057 """Write the .data file paragraph for this test case.
58
59 The output starts and ends with a single newline character. If the
60 surrounding code writes lines (consisting of non-newline characters
61 and a final newline), you will end up with a blank line before, but
62 not after the test case.
63 """
64 self.check_completeness()
65 assert self.description is not None # guide mypy
66 assert self.function is not None # guide mypy
67 out.write('\n')
68 for line in self.comments:
69 out.write('# ' + line + '\n')
70 out.write(self.description + '\n')
71 if self.dependencies:
72 out.write('depends_on:' + ':'.join(self.dependencies) + '\n')
Przemyslaw Stekiele2b50952021-11-09 14:40:12 +010073 out.write(self.function + ':' + ':'.join(self.arguments) + '\n')
Gilles Peskine8ffb5852021-01-26 21:35:01 +010074
75def write_data_file(filename: str,
76 test_cases: Iterable[TestCase],
77 caller: Optional[str] = None) -> None:
78 """Write the test cases to the specified file.
79
80 If the file already exists, it is overwritten.
81 """
82 if caller is None:
Gilles Peskine505cc642021-01-27 18:30:40 +010083 caller = os.path.basename(sys.argv[0])
Gilles Peskineeca29e42022-09-21 22:00:06 +020084 tempfile = filename + '.new'
85 with open(tempfile, 'w') as out:
Gilles Peskine8ffb5852021-01-26 21:35:01 +010086 out.write('# Automatically generated by {}. Do not edit!\n'
87 .format(caller))
88 for tc in test_cases:
89 tc.write(out)
90 out.write('\n# End of automatically generated file.\n')
Gilles Peskineeca29e42022-09-21 22:00:06 +020091 os.replace(tempfile, filename)