2016-03-16 18:58:10 +01:00
|
|
|
# Copyright (C) 2016 the V8 project authors. All rights reserved.
|
|
|
|
# This code is governed by the BSD license found in the LICENSE file.
|
|
|
|
|
|
|
|
import os, re
|
|
|
|
|
2019-08-14 18:46:24 +02:00
|
|
|
from .util.find_comments import find_comments
|
|
|
|
from .util.parse_yaml import parse_yaml
|
2016-03-16 18:58:10 +01:00
|
|
|
|
2021-07-27 19:08:39 +02:00
|
|
|
def after_parse(fn):
|
|
|
|
def wrapper(self, *args, **kwargs):
|
|
|
|
if self.source is None and self.dynamic_source is not None:
|
|
|
|
self.source = self.dynamic_source()
|
|
|
|
self._parse()
|
|
|
|
return fn(self, *args, **kwargs)
|
|
|
|
return wrapper
|
|
|
|
|
2016-03-16 18:58:10 +01:00
|
|
|
class Test:
|
|
|
|
"""Representation of a generated test. Specifies a file location which may
|
|
|
|
or may not exist."""
|
2021-07-27 19:20:57 +02:00
|
|
|
def __init__(self, file_name, dynamic_source=None, source_file_names=None):
|
2016-03-16 18:58:10 +01:00
|
|
|
self.file_name = file_name
|
2021-07-27 19:08:39 +02:00
|
|
|
self.dynamic_source = dynamic_source
|
2021-07-27 19:20:57 +02:00
|
|
|
self.source_file_names = source_file_names
|
2021-07-27 19:08:39 +02:00
|
|
|
self.source = None
|
2016-03-16 18:58:10 +01:00
|
|
|
self.attribs = dict(meta=None)
|
|
|
|
|
2021-07-27 21:07:52 +02:00
|
|
|
def load(self):
|
|
|
|
with open(self.file_name, 'r') as handle:
|
2016-03-16 18:58:10 +01:00
|
|
|
self.source = handle.read()
|
|
|
|
self._parse()
|
|
|
|
|
|
|
|
def _parse(self):
|
|
|
|
for comment in find_comments(self.source):
|
|
|
|
meta = parse_yaml(comment['source'])
|
|
|
|
if meta:
|
|
|
|
self.attribs['meta'] = meta
|
|
|
|
break
|
|
|
|
|
2021-07-27 19:08:39 +02:00
|
|
|
@after_parse
|
2016-03-16 18:58:10 +01:00
|
|
|
def is_generated(self):
|
|
|
|
if not self.attribs['meta']:
|
|
|
|
return False
|
|
|
|
flags = self.attribs['meta'].get('flags')
|
|
|
|
|
|
|
|
if not flags:
|
|
|
|
return False
|
|
|
|
|
|
|
|
return 'generated' in flags
|
|
|
|
|
2021-07-27 19:08:39 +02:00
|
|
|
@after_parse
|
2016-03-16 18:58:10 +01:00
|
|
|
def to_string(self):
|
|
|
|
return '\n'.join([
|
|
|
|
'/**',
|
|
|
|
' * ----------------------------------------------------------------',
|
|
|
|
' * ' + self.file_name,
|
|
|
|
' * ----------------------------------------------------------------',
|
|
|
|
' */',
|
|
|
|
self.source,
|
|
|
|
'\n'])
|
|
|
|
|
2021-07-27 19:08:39 +02:00
|
|
|
@after_parse
|
2016-03-16 18:58:10 +01:00
|
|
|
def write(self, prefix, parents=False):
|
|
|
|
location = os.path.join(prefix, self.file_name)
|
|
|
|
path = os.path.dirname(location)
|
|
|
|
if not os.path.exists(path):
|
|
|
|
if parents:
|
|
|
|
os.makedirs(path)
|
|
|
|
else:
|
|
|
|
raise Exception('Directory does not exist: ' + path)
|
|
|
|
|
2019-08-14 18:46:24 +02:00
|
|
|
with open(location, 'wb') as handle:
|
2016-03-16 18:58:10 +01:00
|
|
|
handle.write(self.source)
|