[+] def newName ( prefix: String ) : String

[+] @deprecated def newName ( pos: Position , prefix: String ) : String

[+] @deprecated def newName ( pos: Position ) : String

[+] def newName$default$1 : String