Skip to content

Commit

Permalink
pretty name of constructors now uses empty declarator
Browse files Browse the repository at this point in the history
  • Loading branch information
Daniel Kroening committed May 7, 2018
1 parent 0e1ff97 commit ac3ac30
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions src/java_bytecode/java_bytecode_convert_method.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -380,11 +380,12 @@ void java_bytecode_convert_method_lazy(

if(is_constructor(method_symbol.base_name))
{
// we use full.class_name.class_name(...) as pretty name
// for constructors
// we use full.class_name(...) as pretty name
// for constructors -- the idea is that they have
// an empty declarator.
method_symbol.pretty_name=
id2string(class_symbol.pretty_name)+"."+
id2string(class_symbol.base_name)+signature_string;
id2string(class_symbol.pretty_name)+
signature_string;
member_type.set_is_constructor();
}
else
Expand Down

0 comments on commit ac3ac30

Please sign in to comment.