Was ist der Unterschied zwischen Beendet # aktor() und Beendet # getActor()

Question

Ich möchte einfach den Schauspieler der Terminated Nachricht einen anderen Schauspieler erhalten, um sicher zu sein, die Nachricht nur zu behandeln, wenn der "richtige" Schauspieler beendet wurde . Die Terminated Klasse hat zwei Methoden, um mir zu sagen, was ist der Unterschied zwischen ihnen? Ich kann Scala noch nicht lesen, also hat es mir nicht geholfen, die Quelle nachzuschlagen. Die Methoden sind nicht mit JavaDoc dokumentiert.

Terminated terminated = (Terminated)message; 
terminated.actor(); // what is this? 
terminated.getActor(); // what is that? 

Hilfe ist willkommen :-)

Answer 1

es keinen Unterschied gibt. actor ist einfach die Scala-Eigenschaft, während getActor der entsprechende Java-Accessor ist.

Sie können es in der Signatur der Klasse sehen:

final case class Terminated private[akka] (@BeanProperty actor: ActorRef) 

Die @BeanProperty Anmerkung ist eine spezielle Scala ein, die Zugriffs- und Mutatoren (getX/setX) für Java Bean Kompatibilität erzeugt.