| 29 | # Represents a sequence of arguments that can appear |
| 30 | # in any order. |
| 31 | class unordered: |
| 32 | def __init__(self, *args): |
| 33 | self.args = list(args) |
| 34 | def match(self, command_line, pos, outputs): |
| 35 | unmatched = self.args[:] |
| 36 | while len(unmatched) > 0: |
| 37 | res = try_match_one(command_line, pos, unmatched, outputs) |
| 38 | if res is None: |
| 39 | return |
| 40 | pos = res |
| 41 | return pos |
| 42 | |
| 43 | # Represents a single input file. |
| 44 | # If id is set, then the file must have been created |
no outgoing calls
no test coverage detected