From 4df7866a5c5ef56c763f844848d24438bb4555e4 Mon Sep 17 00:00:00 2001 From: Roman Shevchenko Date: Thu, 26 Jun 2014 15:52:47 +0200 Subject: "ascii" option documented and used for both string and character literals --- dist/docs/readme.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'dist') 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) -- cgit v1.2.3