importorg.opalj.io.writeimportorg.opalj.tac._importorg.opalj.util.PerformanceEvaluation.timevalf=newjava.io.File("/Users/eichberg/Downloads/presto-verifier-0.147-executable.zip")valp=org.opalj.br.analyses.Project(f)vari=0time{p.parForeachMethodWithBody(parallelizationLevel=32){mi=>// Create representationval(code,_)=org.opalj.tac.AsQuadruples(mi.method,p.classHierarchy)// Convert to JavaLike text based representationvaltac=ToJavaLike(code)valfileNamePrefix=mi.classFile.thisType.toJava+"."+mi.method.namevalfile=write(tac,fileNamePrefix,".tac.txt")i+=1println(i+":"+file)}}(t=>println("Analysis time: "+t.toSeconds))
HTTPSSSH
You can clone a snippet to your computer for local editing.
Learn more.