OnJava8-Examples/tools/Validate.py

507 lines
17 KiB
Python
Raw Normal View History

2015-05-07 00:32:46 -07:00
#! py -3
2015-05-08 09:14:27 -07:00
"""
2015-06-03 23:25:15 -07:00
Run all (possible) java files and capture output and errors. Integrate into /* Output:
2015-06-02 11:55:14 -07:00
"""
TODO = """
2015-06-03 00:07:41 -07:00
- 1st and last 10 lines, with ... in between? {OutputFirstAndLast: 10 Lines}
- {NoOutput}
2015-05-10 15:08:56 -07:00
2015-06-02 11:55:14 -07:00
- format __newOutput() for line width using textwrap
2015-05-08 09:14:27 -07:00
"""
2015-05-07 00:32:46 -07:00
from pathlib import Path
2015-05-07 10:54:54 -07:00
import pprint
2015-05-08 09:14:27 -07:00
import textwrap
2015-05-08 11:41:01 -07:00
import os, sys, re
2015-05-08 14:51:12 -07:00
import difflib
2015-05-09 14:56:40 -07:00
from collections import defaultdict
2015-06-03 23:25:15 -07:00
from itertools import chain
2015-05-10 18:41:41 -07:00
from betools import CmdLine, visitDir, ruler, head
2015-05-07 10:54:54 -07:00
2015-06-05 10:39:12 -07:00
maxlinewidth = 60
2015-05-30 18:22:51 -07:00
examplePath = Path(r"C:\Users\Bruce\Dropbox\__TIJ4-ebook\ExtractedExamples")
2015-05-14 15:23:07 -07:00
maindef = re.compile("public\s+static\s+void\s+main")
2015-05-08 09:14:27 -07:00
###############################################################################
# Create Powershell Script to run all programs and capture the output
###############################################################################
2015-05-07 17:22:48 -07:00
# Powershell: https://gist.github.com/diyan/2850866
# http://marxsoftware.blogspot.com/2008/02/windows-powershell-and-java.html
2015-05-07 10:54:54 -07:00
class Flags:
discard = ["{Requires:"]
def __init__(self, lines):
self.flaglines = []
for line in lines:
if line.startswith("//"):
self.flaglines.append(line)
else:
break # Only capture top block
self.flaglines = [line for line in self.flaglines if line.startswith("// {")]
self.flaglines = [line for line in self.flaglines if not [d for d in Flags.discard if d in line]]
self.flags = dict()
for flag in self.flaglines:
2015-05-30 18:22:51 -07:00
flag = flag[flag.index("{") + 1 : flag.rfind("}")].strip()
2015-05-07 10:54:54 -07:00
if ":" in flag:
fl, arg = flag.split(":")
fl = fl.strip()
arg = arg.strip()
self.flags[fl] = arg
else:
self.flags[flag] = None # Make an entry, but no arg
2015-05-07 17:22:48 -07:00
def __contains__(self, elt):
return elt in self.flags
2015-05-07 10:54:54 -07:00
def __repr__(self):
return pprint.pformat(self.flags)
def __len__(self):
return len(self.flaglines)
def keys(self):
return {key for key in self.flags.keys()}
def values(self):
return str(self.flags.values())
2015-05-07 11:30:19 -07:00
def jvm_args(self):
2015-05-30 18:22:51 -07:00
return self.flags["JVMArgs"] + " " if "JVMArgs" in self.flags else ""
2015-05-07 11:30:19 -07:00
def cmd_args(self):
return " " + self.flags["Args"] if "Args" in self.flags else ""
2015-05-07 00:32:46 -07:00
class RunnableFile:
2015-05-07 10:54:54 -07:00
2015-05-07 00:32:46 -07:00
def __init__(self, path, body):
self.path = path
self.name = path.stem
2015-05-07 10:54:54 -07:00
self.relative = path.relative_to(RunFiles.base)
2015-05-07 00:32:46 -07:00
self.body = body
self.lines = body.splitlines()
2015-05-07 10:54:54 -07:00
self.flags = Flags(self.lines)
2015-05-07 11:30:19 -07:00
self._package = ""
2015-05-07 00:32:46 -07:00
for line in self.lines:
if line.startswith("package "):
2015-05-07 11:30:19 -07:00
self._package = line.split("package ")[1].strip()[:-1]
if self._package.replace('.', '/') not in self.lines[0]:
self._package = ""
2015-05-30 18:22:51 -07:00
self.main = self.name
if "main" in self.flags:
self.main = self.flags.flags["main"]
2015-05-07 17:22:48 -07:00
def __contains__(self, elt):
return elt in self.flags
2015-05-07 00:32:46 -07:00
def __repr__(self):
2015-05-08 09:14:27 -07:00
return str(self.relative) #+ ": " + self.name
2015-05-07 00:32:46 -07:00
2015-05-07 11:30:19 -07:00
def package(self):
return self._package + '.' if self._package else ''
2015-05-07 00:32:46 -07:00
2015-05-07 17:22:48 -07:00
def rundir(self):
"Directory to change to before running the command"
return self.path.parent
def javaArguments(self):
2015-05-30 18:22:51 -07:00
return self.flags.jvm_args() + self.package() + self.main + self.flags.cmd_args()
2015-05-07 17:22:48 -07:00
2015-05-07 00:32:46 -07:00
def runCommand(self):
2015-05-07 17:22:48 -07:00
return "java " + self.javaArguments()
2015-05-07 00:32:46 -07:00
2015-05-08 09:14:27 -07:00
2015-05-07 10:54:54 -07:00
class RunFiles:
2015-05-07 17:22:48 -07:00
# RunFirst is temporary?
2015-05-30 18:22:51 -07:00
not_runnable = ["ValidateByHand", "TimeOutDuringTesting", "CompileTimeError", 'TimeOut', 'RunFirst']
2015-05-07 17:22:48 -07:00
skip_dirs = ["gui", "swt"]
2015-05-07 11:30:19 -07:00
base = Path(".")
2015-05-07 10:54:54 -07:00
def __init__(self):
self.runFiles = []
for java in RunFiles.base.rglob("*.java"):
with java.open() as code:
body = code.read()
2015-05-14 15:23:07 -07:00
if maindef.search(body):
2015-05-07 10:54:54 -07:00
self.runFiles.append(RunnableFile(java, body))
2015-05-08 09:14:27 -07:00
allMains = set(self.runFiles)
2015-05-07 17:22:48 -07:00
self.runFiles = [f for f in self.runFiles if not [nr for nr in self.not_runnable if nr in f]]
self.runFiles = [f for f in self.runFiles if not [nd for nd in self.skip_dirs if nd in f.path.parts[0]]]
2015-05-08 09:14:27 -07:00
testedMains = set(self.runFiles)
self.untested = allMains.difference(testedMains)
with (RunFiles.base / "Untested.txt").open('w') as utf:
utf.write(pprint.pformat(self.untested))
2015-05-07 10:54:54 -07:00
def allFlagKeys(self):
flagkeys = set()
for f in [f for f in self.runFiles if f.flags]:
[flagkeys.add(key) for key in f.flags.keys()]
return flagkeys
def allFlagValues(self):
return [f.flags.values() for f in self.runFiles if f.flags if f.flags.values()]
def allFlags(self):
return [f.flags for f in self.runFiles if f.flags]
def runCommands(self):
return [f.runCommand() for f in self.runFiles]
2015-05-07 00:32:46 -07:00
2015-05-07 17:22:48 -07:00
def runData(self):
return "\n".join(["[{}] {}".format(f.rundir(), f.runCommand()) for f in self.runFiles])
def __iter__(self):
return iter(self.runFiles)
2015-05-16 14:10:17 -07:00
@CmdLine("p")
2015-05-08 09:14:27 -07:00
def createPowershellScript():
2015-05-09 14:56:40 -07:00
"""
Create Powershell Script to run all programs and capture the output
"""
2015-05-30 18:22:51 -07:00
os.chdir(str(examplePath))
2015-05-07 10:54:54 -07:00
runFiles = RunFiles()
2015-05-07 17:22:48 -07:00
startDir = os.getcwd()
with open("runall.ps1", 'w') as ps:
ps.write('''Start-Process -FilePath "ant" -ArgumentList "build" -NoNewWindow -Wait \n\n''')
2015-05-07 17:22:48 -07:00
for rf in runFiles:
with visitDir(rf.rundir()):
2015-05-30 18:22:51 -07:00
argquote = '"'
if '"' in rf.javaArguments() or '$' in rf.javaArguments():
argquote = "'"
2015-05-08 09:14:27 -07:00
pstext = """\
Start-Process
-FilePath "java.exe"
2015-05-30 18:22:51 -07:00
-ArgumentList {}{}{}
2015-05-08 09:14:27 -07:00
-NoNewWindow
-RedirectStandardOutput {}-output.txt
-RedirectStandardError {}-erroroutput.txt
2015-05-30 18:22:51 -07:00
""".format(argquote, rf.javaArguments(), argquote, rf.name, rf.name)
2015-05-08 09:14:27 -07:00
pstext = textwrap.dedent(pstext).replace('\n', ' ')
2015-05-30 18:22:51 -07:00
if "ThrowsException" in rf:
pstext += " -Wait\n"
pstext += "Add-Content {}-erroroutput.txt '---[ Exception is Expected ]---'".format(rf.name)
2015-05-07 17:22:48 -07:00
ps.write("cd {}\n".format(os.getcwd()))
2015-05-08 09:14:27 -07:00
ps.write(pstext + "\n")
2015-05-07 17:22:48 -07:00
ps.write('Write-Host [{}] {}\n'.format(rf.relative, rf.name))
ps.write("cd {}\n\n".format(startDir))
2015-05-07 17:22:48 -07:00
2015-05-07 00:32:46 -07:00
2015-05-08 09:14:27 -07:00
###############################################################################
# Attach Output to Java Files
###############################################################################
2015-05-09 14:56:40 -07:00
# Tags:
# (XX% Match)
# (Sample)
# (First XX Lines)
class OutputTags:
tagfind = re.compile("\(.*?\)")
def __init__(self, javaFilePath):
self.javaFilePath = javaFilePath
self.has_output = False
self.tags = []
with self.javaFilePath.open() as code:
for line in code.readlines():
if "/* Output:" in line:
self.has_output = True
for tag in self.tagfind.findall(line):
self.tags.append(tag[1:-1])
def __repr__(self):
return "{}\n{}\n".format(self.javaFilePath, pprint.pformat(self.tags))
def __bool__(self):
return bool(self.has_output and self.tags)
def __iter__(self):
return iter(self.tags)
2015-05-10 18:33:50 -07:00
2015-05-08 09:14:27 -07:00
class Result:
"""
Finds result files, compares to output stored in comments at ends of Java files.
2015-05-09 14:56:40 -07:00
If there's output, and no flag that says otherwise, add /* Output:
"""
2015-05-10 15:08:56 -07:00
excludefiles = [
"object/ShowProperties.java",
]
2015-05-08 11:41:01 -07:00
oldOutput = re.compile("/* Output:.*?\n(.*)\n\*///:~(?s)")
2015-05-08 09:14:27 -07:00
@staticmethod
def create(javaFilePath):
2015-05-08 11:41:01 -07:00
"Factory: If the output files exist and are not both empty, produce Result object"
2015-05-10 15:08:56 -07:00
for p in Result.excludefiles:
if javaFilePath.match(p):
return None
2015-05-08 09:14:27 -07:00
outfile = javaFilePath.with_name(javaFilePath.stem + "-output.txt")
errfile = javaFilePath.with_name(javaFilePath.stem + "-erroroutput.txt")
if outfile.exists():
assert errfile.exists()
2015-05-10 15:08:56 -07:00
with javaFilePath.open() as jf:
if "{CheckOutputByHand}" in jf.read():
return None
if outfile.stat().st_size or errfile.stat().st_size:
return Result(javaFilePath, outfile, errfile)
return None
2015-05-08 09:14:27 -07:00
def __init__(self, javaFilePath, outfile, errfile):
self.javaFilePath = javaFilePath
self.outFilePath = outfile
self.errFilePath = errfile
2015-05-09 14:56:40 -07:00
self.output_tags = OutputTags(javaFilePath)
2015-05-08 14:29:07 -07:00
self.old_output = self.__oldOutput()
self.new_output = self.__newOutput()
2015-05-08 14:51:12 -07:00
self.difference = difflib.SequenceMatcher(None, self.old_output, self.new_output).ratio()
2015-05-08 14:29:07 -07:00
def __oldOutput(self):
with self.javaFilePath.open() as code:
2015-05-09 14:56:40 -07:00
body = code.read()
result = self.oldOutput.findall(body)
2015-05-08 14:29:07 -07:00
return "\n".join(result).rstrip()
def __newOutput(self):
result =""
with self.outFilePath.open() as f:
2015-05-13 18:44:17 -07:00
out = f.read().strip()
if out:
result += out + "\n"
2015-05-08 14:29:07 -07:00
with self.errFilePath.open() as f:
2015-05-13 18:44:17 -07:00
err = f.read().strip()
if err:
2015-06-05 10:39:12 -07:00
result += "--[ Error Output ]--\n"
2015-05-13 18:44:17 -07:00
result += err
2015-06-05 10:39:12 -07:00
return textwrap.wrap(result, width=maxlinewidth)
2015-05-08 09:14:27 -07:00
def __repr__(self):
2015-05-10 18:33:50 -07:00
result = "\n" + ruler(self.javaFilePath, "=") +"\n"
with self.javaFilePath.open() as jf:
for line in jf.readlines():
if "/* Output:" in line:
result += line + "\n"
break
else:
result += "no prior /* Output:\n"
2015-05-08 11:41:01 -07:00
if self.old_output:
2015-05-10 18:33:50 -07:00
result += ruler("Previous Output")
2015-05-08 14:51:12 -07:00
result += self.old_output + "\n\n"
2015-05-08 11:41:01 -07:00
else:
2015-05-10 18:33:50 -07:00
result += ruler("No Previous Output")
result += ruler("New Output")
2015-05-08 14:51:12 -07:00
result += self.new_output + "\n\n"
2015-05-10 18:33:50 -07:00
result += ruler("Difference: {}".format(self.difference), '+') + "\n"
2015-05-08 14:51:12 -07:00
if self.difference == 1.0: return '.'
2015-05-08 11:41:01 -07:00
return result
2015-05-08 09:14:27 -07:00
2015-05-13 16:14:46 -07:00
def appendOutputFiles(self):
2015-06-05 10:39:12 -07:00
if not self.new_output:
return
2015-05-13 16:14:46 -07:00
if not self.output_tags.has_output: # no /* Output: at all
with self.javaFilePath.open() as jf:
code = jf.read()
lines = code.splitlines()
while lines[-1].strip() is "":
lines.pop()
assert lines[-1].rstrip() == "} ///:~"
lines[-1] = "} /* Output:"
lines.append(self.new_output)
lines.append("*///:~")
result = "\n".join(lines) + "\n"
with self.javaFilePath.open("w") as jf:
jf.write(result)
return result
else:
2015-05-15 22:36:55 -07:00
print("{} already has Output!".format(self.javaFilePath))
2015-05-13 16:14:46 -07:00
sys.exit()
2015-05-08 09:14:27 -07:00
2015-05-09 14:56:40 -07:00
2015-05-16 14:10:17 -07:00
@CmdLine("d")
2015-05-09 18:25:16 -07:00
def discoverOutputTags():
2015-05-09 14:56:40 -07:00
"""
2015-05-09 18:25:16 -07:00
Discover 'Output:' tags
2015-05-09 14:56:40 -07:00
"""
results = [r for r in [Result.create(jfp) for jfp in RunFiles.base.rglob("*.java")] if r]
assert len(results), "Must run runall.ps1 first"
tagd = defaultdict(list)
2015-05-15 22:36:55 -07:00
for tagged in [r for r in [Result.create(jfp) for jfp in RunFiles.base.rglob("*.java")]
if r and r.output_tags]:
2015-05-09 14:56:40 -07:00
for tag in tagged.output_tags:
tagd[tag].append(str(tagged.javaFilePath))
pprint.pprint(tagd)
2015-05-16 14:10:17 -07:00
@CmdLine("f")
2015-05-10 15:08:56 -07:00
def fillInUnexcludedOutput():
"""
2015-05-10 18:41:41 -07:00
Find the files that aren't explicitly excluded AND have no 'Output:'. Show them and their output.
2015-05-10 15:08:56 -07:00
"""
results = [r for r in [Result.create(jfp) for jfp in RunFiles.base.rglob("*.java")] if r]
assert len(results), "Must run runall.ps1 first"
nonexcluded = []
for r in results:
if r.output_tags:
for t in r.output_tags:
if t in RunFiles.not_runnable:
break
else:
if not r.old_output:
nonexcluded.append(r)
2015-05-10 18:33:50 -07:00
for ne in nonexcluded:
print(ne)
2015-05-10 15:08:56 -07:00
2015-05-16 14:10:17 -07:00
@CmdLine("e")
2015-05-10 18:33:50 -07:00
def findExceptionsFromRun():
"""
2015-05-30 18:22:51 -07:00
Put the exceptions produced by runall.ps1 into errors.txt
2015-05-10 18:33:50 -07:00
"""
errors = [r for r in [Result.create(jfp) for jfp in RunFiles.base.rglob("*.java")]
if r and r.errFilePath.stat().st_size]
assert len(errors), "Must run runall.ps1 first"
2015-05-30 18:22:51 -07:00
with (examplePath / "errors.txt").open('w') as errors_txt:
for e in errors:
with e.errFilePath.open() as errfile:
errors_txt.write("\n" + ruler(e.errFilePath, width=80))
errors_txt.write(errfile.read())
errors_txt.write("<-:->")
showProblemErrors()
@CmdLine("b")
def showProblemErrors():
"""
Show unexpected errors inside errors.txt
"""
with (examplePath / "errors.txt").open() as errors_txt:
for err in errors_txt.read().split("<-:->"):
if "_[ logging\\" in err:
continue
if "LoggingException" in err:
continue
if "---[ Exception is Expected ]---" in err:
continue
print(err)
2015-06-03 23:25:15 -07:00
# @CmdLine('w')
2015-05-30 23:25:02 -07:00
def findAndEditAllCompileTimeError():
"Find all files tagged with {CompileTimeError} and edit them"
os.chdir(str(examplePath))
with open("CompileTimeError.bat", 'w') as cte:
cte.write("subl ")
for j in Path(".").rglob("*.java"):
code = j.open().read()
if "//: reusing/Lisa.java" in code:
continue # Checked
if "//: initialization/OverloadingVarargs2.java" in code:
continue # Checked
if "//: generics/UseList.java" in code:
continue # Checked
if "//: generics/NonCovariantGenerics.java" in code:
continue # Checked
if "//: generics/MultipleInterfaceVariants.java" in code:
continue # Checked
if "//: generics/Manipulation.java" in code:
continue # Checked
if "generics/HijackedInterface.java" in code:
continue # Checked
if "//: generics/Erased.java" in code:
continue # Checked
if "{CompileTimeError}" in code:
cte.write(str(j) + " ")
print(j)
os.system("CompileTimeError.bat")
2015-05-13 16:14:46 -07:00
2015-05-16 14:10:17 -07:00
@CmdLine("a")
2015-05-13 10:53:49 -07:00
def editAllJavaFiles():
"""
Edit all Java files in this directory and beneath
"""
2015-06-03 23:25:15 -07:00
for java in Path(".").rglob("*.java"):
os.system("ed {}".format(java))
2015-05-13 10:53:49 -07:00
2015-05-13 16:14:46 -07:00
2015-05-16 14:10:17 -07:00
@CmdLine("s", num_args="+")
2015-05-13 10:53:49 -07:00
def attachToSingleFile():
"""
2015-05-13 16:14:46 -07:00
Attach output to selected file(s).
2015-05-13 10:53:49 -07:00
"""
2015-05-13 16:14:46 -07:00
for jfp in sys.argv[2:]:
javafilepath = Path(jfp)
if not javafilepath.exists():
print("Error: cannot find {}".format(javafilepath))
sys.exit(1)
result = Result.create(javafilepath)
if not result:
print("Error: no output or error files for {}".format(javafilepath))
sys.exit(1)
print(result.appendOutputFiles())
2015-05-13 10:53:49 -07:00
2015-05-16 14:10:17 -07:00
@CmdLine("m")
2015-05-14 15:23:07 -07:00
def findAllMains():
"""
Find all main()s in java files, using re
"""
for jf in Path('.').rglob("*.java"):
with jf.open() as java:
code = java.read()
for m in maindef.findall(code):
head(jf)
print(m)
2015-05-10 12:26:22 -07:00
2015-05-31 14:55:56 -07:00
def createChecklist():
"""
Make checklist of chapters and appendices
"""
from bs4 import BeautifulSoup
import codecs
os.chdir(str(examplePath / ".."))
with codecs.open(str(Path("TIJDirectorsCut.htm")),'r', encoding='utf-8', errors='ignore') as book:
soup = BeautifulSoup(book.read())
with Path("Checklist-generated.txt").open('wb') as checklist:
for h1 in soup.find_all("h1"):
text = " ".join(h1.text.split())
checklist.write(codecs.encode(text + "\n"))
2015-06-03 23:25:15 -07:00
@CmdLine('w')
def checkWidth():
"Check line width on code examples"
os.chdir(str(examplePath))
for example in chain(Path(".").rglob("*.java"), Path(".").rglob("*.cpp"), Path(".").rglob("*.py")):
displayed = False
with example.open() as code:
for n, line in enumerate(code.readlines()):
if "///:~" in line or "/* Output:" in line:
break
2015-06-05 10:39:12 -07:00
if len(line) > maxlinewidth:
2015-06-03 23:25:15 -07:00
if not displayed:
#print(str(example).replace("\\", "/"))
displayed = True
os.system("ed {}:{}".format(str(example), n+1))
# print("{} : {}".format(n, len(line)))
@CmdLine("c")
def clean_files():
2015-06-03 23:51:59 -07:00
"Strip trailing spaces and blank lines in all Java files -- prep for reintigration into book"
2015-06-03 23:25:15 -07:00
os.chdir(str(examplePath))
for j in Path(".").rglob("*.java"):
print(str(j), end=" ")
with j.open() as f:
2015-06-03 23:51:59 -07:00
code = f.readlines()
code = "\n".join([line.rstrip() for line in code])
code = code.strip()
2015-06-03 23:25:15 -07:00
with j.open('w') as w:
w.write(code)
2015-05-31 14:55:56 -07:00
2015-05-09 18:25:16 -07:00
if __name__ == '__main__': CmdLine.run()