|
|
|
#!/usr/bin/env python
|
|
|
|
# Copyright 2015 gRPC authors.
|
|
|
|
#
|
|
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
# you may not use this file except in compliance with the License.
|
|
|
|
# You may obtain a copy of the License at
|
|
|
|
#
|
|
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
#
|
|
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
# See the License for the specific language governing permissions and
|
|
|
|
# limitations under the License.
|
|
|
|
|
|
|
|
from __future__ import print_function
|
|
|
|
|
|
|
|
import json
|
|
|
|
import os
|
|
|
|
import re
|
|
|
|
import sys
|
|
|
|
|
|
|
|
root = os.path.abspath(os.path.join(os.path.dirname(sys.argv[0]), '../../..'))
|
|
|
|
with open(
|
|
|
|
os.path.join(root, 'tools', 'run_tests', 'generated',
|
|
|
|
'sources_and_headers.json')) as f:
|
|
|
|
js = json.loads(f.read())
|
|
|
|
|
|
|
|
re_inc1 = re.compile(r'^#\s*include\s*"([^"]*)"')
|
|
|
|
assert re_inc1.match('#include "foo"').group(1) == 'foo'
|
|
|
|
re_inc2 = re.compile(r'^#\s*include\s*<((grpc|grpc\+\+)/[^"]*)>')
|
|
|
|
assert re_inc2.match('#include <grpc++/foo>').group(1) == 'grpc++/foo'
|
|
|
|
|
|
|
|
|
|
|
|
def get_target(name):
|
|
|
|
for target in js:
|
|
|
|
if target['name'] == name:
|
|
|
|
return target
|
|
|
|
assert False, 'no target %s' % name
|
|
|
|
|
|
|
|
|
|
|
|
def get_headers_transitive():
|
|
|
|
"""Computes set of headers transitively provided by each target"""
|
|
|
|
target_headers_transitive = {}
|
|
|
|
for target in js:
|
|
|
|
target_name = target['name']
|
|
|
|
assert not target_headers_transitive.has_key(target_name)
|
|
|
|
target_headers_transitive[target_name] = set(target['headers'])
|
|
|
|
|
|
|
|
# Make sure each target's transitive headers contain those
|
|
|
|
# of their dependencies. If not, add them and continue doing
|
|
|
|
# so until we get a full pass over all targets without any updates.
|
|
|
|
closure_changed = True
|
|
|
|
while closure_changed:
|
|
|
|
closure_changed = False
|
|
|
|
for target in js:
|
|
|
|
target_name = target['name']
|
|
|
|
for dep in target['deps']:
|
|
|
|
headers = target_headers_transitive[target_name]
|
|
|
|
old_count = len(headers)
|
|
|
|
headers.update(target_headers_transitive[dep])
|
|
|
|
if old_count != len(headers):
|
|
|
|
closure_changed = True
|
|
|
|
return target_headers_transitive
|
|
|
|
|
|
|
|
|
|
|
|
# precompute transitive closure of headers provided by each target
|
|
|
|
target_headers_transitive = get_headers_transitive()
|
|
|
|
|
|
|
|
|
|
|
|
def target_has_header(target, name):
|
|
|
|
if name in target_headers_transitive[target['name']]:
|
|
|
|
return True
|
|
|
|
if name.startswith('absl/'):
|
|
|
|
return True
|
|
|
|
if name in [
|
|
|
|
'src/core/lib/profiling/stap_probes.h',
|
|
|
|
'src/proto/grpc/reflection/v1alpha/reflection.grpc.pb.h'
|
|
|
|
]:
|
|
|
|
return True
|
|
|
|
return False
|
|
|
|
|
|
|
|
|
|
|
|
def produces_object(name):
|
|
|
|
return os.path.splitext(name)[1] in ['.c', '.cc']
|
|
|
|
|
|
|
|
|
|
|
|
c_ish = {}
|
|
|
|
obj_producer_to_source = {'c': c_ish, 'c++': c_ish, 'csharp': {}}
|
|
|
|
|
|
|
|
errors = 0
|
|
|
|
for target in js:
|
|
|
|
if not target['third_party']:
|
|
|
|
for fn in target['src']:
|
|
|
|
with open(os.path.join(root, fn)) as f:
|
|
|
|
src = f.read().splitlines()
|
|
|
|
for line in src:
|
|
|
|
m = re_inc1.match(line)
|
|
|
|
if m:
|
|
|
|
if not target_has_header(target, m.group(1)):
|
|
|
|
print(
|
|
|
|
'target %s (%s) does not name header %s as a dependency'
|
|
|
|
% (target['name'], fn, m.group(1)))
|
|
|
|
errors += 1
|
|
|
|
m = re_inc2.match(line)
|
|
|
|
if m:
|
|
|
|
if not target_has_header(target, 'include/' + m.group(1)):
|
|
|
|
print(
|
|
|
|
'target %s (%s) does not name header %s as a dependency'
|
|
|
|
% (target['name'], fn, m.group(1)))
|
|
|
|
errors += 1
|
|
|
|
if target['type'] in ['lib', 'filegroup']:
|
|
|
|
for fn in target['src']:
|
|
|
|
language = target['language']
|
|
|
|
if produces_object(fn):
|
|
|
|
obj_base = os.path.splitext(os.path.basename(fn))[0]
|
|
|
|
if obj_base in obj_producer_to_source[language]:
|
|
|
|
if obj_producer_to_source[language][obj_base] != fn:
|
|
|
|
print(
|
|
|
|
'target %s (%s) produces an aliased object file with %s'
|
|
|
|
% (target['name'], fn,
|
|
|
|
obj_producer_to_source[language][obj_base]))
|
|
|
|
else:
|
|
|
|
obj_producer_to_source[language][obj_base] = fn
|
|
|
|
|
|
|
|
assert errors == 0
|