indexing description: "Represents a rendezvous event" license: "MIT license (see ../../license.txt)" author: "Beat Strasser " date: "$Date$" revision: "$Revision$" class P2P_RENDEZVOUS_EVENT create make feature {NONE} -- Initialization make (a_type: INTEGER; a_peer_id: P2P_PEER_ID) is -- Create new rendezvous event with `a_type' and associated `a_peer_id' require Type_valid: a_type > 0 and a_type <= type_reconnected_to_rendezvous Peer_valid: a_peer_id /= Void and a_peer_id.is_valid do type := a_type peer_id := a_peer_id end feature -- Access type: INTEGER peer_id: P2P_PEER_ID Type_connected_to_rendezvous: INTEGER is 1 Type_disconnected_from_rendezvous: INTEGER is 2 Type_client_connected: INTEGER is 3 Type_client_disconnected: INTEGER is 4 Type_became_rendezvous: INTEGER is 5 Type_reconnected_to_rendezvous: INTEGER is 6 invariant Type_valid: type > 0 and type <= type_reconnected_to_rendezvous Peer_valid: peer_id /= Void and peer_id.is_valid end