diff options
author | Jakob Odersky <jakob@odersky.com> | 2019-12-13 18:14:11 -0500 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2019-12-13 18:14:11 -0500 |
commit | e1547c6b0c4c21bdd0b05c545873490e9453cc9b (patch) | |
tree | b25be94419aa24fc5b1a8e2ce4a96ead7afee8da | |
parent | 568e70982ee0d574345cb5ae90ebd43ceaa090e8 (diff) | |
download | gjavah-e1547c6b0c4c21bdd0b05c545873490e9453cc9b.tar.gz gjavah-e1547c6b0c4c21bdd0b05c545873490e9453cc9b.tar.bz2 gjavah-e1547c6b0c4c21bdd0b05c545873490e9453cc9b.zip |
Add name mangling rule for '$'dollar
-rw-r--r-- | src/main/java/org/glavo/javah/Utils.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/org/glavo/javah/Utils.java b/src/main/java/org/glavo/javah/Utils.java index cb1ceef..6ea619c 100644 --- a/src/main/java/org/glavo/javah/Utils.java +++ b/src/main/java/org/glavo/javah/Utils.java @@ -53,6 +53,8 @@ class Utils { char ch = name.charAt(i); if (ch == '.') { builder.append('_'); + } else if (ch == '$') { + builder.append("__"); } else if (ch == '_') { builder.append("_1"); } else if (ch == ';') { |