diff --git a/cpd_script.php b/cpd_script.php new file mode 100644 index 0000000..4516660 --- /dev/null +++ b/cpd_script.php @@ -0,0 +1,10 @@ +duplication as $duplication) { + $files = $duplication->xpath('file'); + foreach ($files as $file) { + echo $file['path'].':'.$file['line'].':1: warning: '.$duplication['lines'].' copy-pasted lines from: ' + .implode(', ', array_map(function ($otherFile) { return $otherFile['path'].':'.$otherFile['line']; }, + array_filter($files, function ($f) use (&$file) { return $f != $file; }))).PHP_EOL; + } +} +?>