Python: Add toString information for all classes without such.

Having `toString()` defined to be `none()` is a major headache when debugging,
as `toString`-less results are silently elided. This PR puts dummy `toString`s
in place of the `none()`s.

(I am mostly creating this to see if it impacts our tests and/or the
performance. If not, we may as well merge it.)
This commit is contained in:
Taus Brock-Nannestad
2019-11-20 14:47:20 +01:00
parent 77c869f528
commit c525ab325f
5 changed files with 8 additions and 8 deletions

View File

@@ -93,7 +93,7 @@ class Copy extends @duplication_or_similarity
}
/** Gets a textual representation of this element. */
string toString() { none() }
string toString() { result = "Copy" }
/**
* Gets a block that extends this one, that is, its first token is also