Class EiffelActivityFinishedEvent


  • public class EiffelActivityFinishedEvent
    extends EiffelEvent
    A Java representation of an Eiffel event of the EiffelActivityStartedEvent (ActF) kind. See the Eiffel event documentation for more on the meaning of the attributes.