From 7dd4da35af8ad6a4efac1af9a526cacfec9780be Mon Sep 17 00:00:00 2001 From: jvelilla Date: Mon, 6 Apr 2015 18:07:35 -0300 Subject: [PATCH] Added feature comments. Added missing postconditions. --- .../standalone/src/wgi_standalone_server_observer.e | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/library/server/ewsgi/connectors/standalone/src/wgi_standalone_server_observer.e b/library/server/ewsgi/connectors/standalone/src/wgi_standalone_server_observer.e index 702b8ae8..8684943a 100644 --- a/library/server/ewsgi/connectors/standalone/src/wgi_standalone_server_observer.e +++ b/library/server/ewsgi/connectors/standalone/src/wgi_standalone_server_observer.e @@ -16,12 +16,16 @@ inherit feature -- Access started: BOOLEAN + -- is the server started? stopped: BOOLEAN + -- is the server stoped? terminated: BOOLEAN + -- is the server terminated? port: INTEGER + -- Server listening on port. feature -- Event @@ -29,17 +33,24 @@ feature -- Event do started := True port := a_port + ensure then + started_set: started = True + port_set: port = a_port end on_stopped do stopped := True + ensure then + stopped_set: stopped = True end on_terminated do port := 0 terminated := True + ensure then + terminated_set: terminated = True end note