mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Merge remote branch 'origin/master'
This commit is contained in:
@@ -129,6 +129,14 @@ public class SignatureParsing {
|
||||
if(standAlone$) {
|
||||
canonicalText.append('$');
|
||||
break;
|
||||
} else if (signature.getIndex() + 1 < signature.getEndIndex()) {
|
||||
char next = signature.next();
|
||||
signature.previous();
|
||||
standAlone$ = !StringUtil.isJavaIdentifierPart(next); // $;
|
||||
if(standAlone$) {
|
||||
canonicalText.append('$');
|
||||
break;
|
||||
}
|
||||
}
|
||||
}
|
||||
case '/':
|
||||
|
||||
Reference in New Issue
Block a user