mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added header comment about redefining for extension methods

Browse Source
This commit is contained in:
Colin Adams
2013-08-19 11:48:49 +01:00
parent 3ae898476f
commit 37b94bbf0d
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
library/server/wsf/router/wsf_method_helper_factory.e
View File

@@ -12,7 +12,8 @@ class WSF_METHOD_HELPER_FACTORY
feature -- Factory feature -- Factory
new_method_helper (a_method: READABLE_STRING_8): detachable WSF_METHOD_HELPER new_method_helper (a_method: READABLE_STRING_8): detachable WSF_METHOD_HELPER
-- New object for processing `a_method' -- New object for processing `a_method';
-- Redefine this routine to implement extension methods.
require require
a_method_attached: a_method /= Void a_method_attached: a_method /= Void
do do