hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update usage text

Browse Source
This commit is contained in:
Joe Farebrother
2021-07-22 16:30:26 +01:00
parent 150f3fd352
commit 6be9c705f0
1 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
java/ql/src/utils/makeStubs.py
View File

@@ -16,8 +16,8 @@ from shutil import copyfile
def print_usage(exit_code=1):
print("Usage: makeStubs.py testDir stubDir [pom.xml]\n",
"testDir: the directory containing the qltest to be stubbed.\n"
" Should contain an 'options' file pointing to 'stubdir'.\n"
" These files should be in the same format as a normal 'options' file.\n",
" Should contain an 'options' file pointing to 'stubDir'.\n"
" This file should be in the same format as a normal 'options' file.\n",
"stubDir: the directory to output the generated stubs to\n",
"pom.xml: a 'pom.xml' file that can be used to build the project\n",
" If the test can be extracted without a 'pom.xml', this argument can be ommitted.")
@@ -33,6 +33,7 @@ if len(sys.argv) not in [3, 4]:
testDir = os.path.normpath(sys.argv[1])
stubDir = os.path.normpath(sys.argv[2])
def check_dir_exists(path):
if not os.path.isdir(path):
print(path, "does not exist or is not a directory")
@@ -82,19 +83,23 @@ os.makedirs(projectDir)
if len(sys.argv) == 4:
projectTestPkgDir = os.path.join(projectDir, "src", "main", "java", "test")
shutil.copytree(testDir, projectTestPkgDir, ignore=shutil.ignore_patterns('*.testproj'))
shutil.copytree(testDir, projectTestPkgDir,
ignore=shutil.ignore_patterns('*.testproj'))
try:
shutil.copyfile(sys.argv[3], os.path.join(projectDir, "pom.xml"))
except Exception as e:
print("Failed to read project POM %s: %s" % (sys.argv[2], e), file = sys.stderr)
print("Failed to read project POM %s: %s" %
(sys.argv[2], e), file=sys.stderr)
sys.exit(1)
else:
# if `pom.xml` is omitted, simply copy the test directory to `projectDir`
shutil.copytree(testDir, projectDir, ignore=shutil.ignore_patterns('*.testproj'))
shutil.copytree(testDir, projectDir,
ignore=shutil.ignore_patterns('*.testproj'))
dbDir = os.path.join(workDir, "db")
def print_javac_output():
logFiles = glob.glob(os.path.join(dbDir, "log", "javac-output*"))
@@ -143,7 +148,7 @@ try:
results['#select']['tuples']
results['noGeneratedStubs']['tuples']
results['multipleGeneratedStubs']['tuples']
except ValueError:
except KeyError:
print('Unexpected JSON output - no tuples found')
exit(1)