Path revPath = headroot.getParent().resolve(revLink); if(Files.isRegularFile(revPath) && Files.size(revPath) > 0l) {
List<String> revlines = Files.readAllLines(revPath);
String revline = revlines.get(0); if(revline.length()>=12){
id = revline.substring(0, 12);
} else {
log("no content in " + revPath, Project.MSG_WARN);
}
} else {
log("unable to find revision info for " + revPath, Project.MSG_WARN);
}
} else {
log("No HEAD found starting from " + file, Project.MSG_WARN);
}
} catch(IOException ex) {
log("Could not read " + headroot + ": " + ex, Project.MSG_WARN);
} assert id.length() == 12 : id;
getProject().setNewProperty(property, id);
}
}
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.