public Set < Address > getDestination ( MessageID messageID ) { MessageInfo messageInfo = sentMessages . get ( messageID ) ; Set < Address > destination ; if ( messageInfo != null ) { destination = new HashSet <> ( messageInfo . destinations ) ; } else { destination = Collections . emptySet ( ) ; } return destination ; }
obtains the destination set of a message