Python: add default implementation of getName() and deprecate it

This commit is contained in:
Erik Krogh Kristensen
2022-03-07 11:13:32 +01:00
parent e721094182
commit a1769f8036
4 changed files with 9 additions and 6 deletions

View File

@@ -259,7 +259,7 @@ predicate file_consistency(string clsname, string problem, string what) {
exists(Container f |
clsname = f.getAQlClass() and
uniqueness_error(count(f.toString()), "toString", problem) and
what = "file " + f.getName()
what = "file " + f.getAbsolutePath()
)
}