This page is no longer maintained — Please continue to the home page at www.scala-lang.org

expanded names

No replies
extempore
Joined: 2008-12-17,
User offline. Last seen 35 weeks 3 days ago.

Symbols has machinery for providing the expanded name of a setter:

final def setter(base: Symbol): Symbol = setter(base, false)
final def setter(base: Symbol, hasExpandedName: Boolean): Symbol = {
[...]
if (hasExpandedName) sname = base.expandedSetterName(sname)

However there is no similar machinery for getters:

final def getter(base: Symbol): Symbol = {

Is this because getters should not finish up with expanded names, or is
it necessary but missing? I ask because of this bug:

https://lampsvn.epfl.ch/trac/scala/ticket/1722

The broken classfile is apparently a result of disagreement as to the
name of the accessor for private object P - is it C$$P() or P()?

public abstract C$P$ C$$P(); // if P is private - broken classfile
public abstract C$P$ P(); // if P is public - works

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland