diff options
Diffstat (limited to 'dist/docs/readme.txt')
| -rw-r--r-- | dist/docs/readme.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/docs/readme.txt b/dist/docs/readme.txt index d598032..daf05cf 100644 --- a/dist/docs/readme.txt +++ b/dist/docs/readme.txt @@ -51,7 +51,8 @@ occ (0): ouput copyright comment ner (1): assume return not throwing exceptions den (1): decompile enumerations rgn (1): remove getClass() invocation, when it is part of a qualified new statement -lit (0): output numeric and character literals "as-is" +lit (0): output numeric literals "as-is" +asc (0): encode non-ASCII characters in string and character literals as Unicode escapes bto (1): interpret int 1 as boolean true (workaround to a compiler bug) nns (1): allow for not set synthetic attribute (workaround to a compiler bug) uto (1): consider nameless types as java.lang.Object (workaround to a compiler architecture flaw) |