Class UnknownNotification

    • Constructor Detail

      • UnknownNotification

        public UnknownNotification​(AgentId agent,
                                   Notification not)
        Allocates a new UnknownNotification notification.
        Parameters:
        agent - The target agent id.
        not - The failing notification.
    • Method Detail

      • toString

        public StringBuilder toString​(StringBuilder output)
        Appends a string image for this object to the StringBuilder parameter.
        Overrides:
        toString in class Notification
        Parameters:
        output - buffer to fill in
        Returns:
        output buffer is returned