Implemented CMS_LINK.is_forbidden in all descendants.

This commit is contained in:
2015-08-06 11:52:35 +02:00
parent bbf7456fa2
commit f26b81977c

View File

@@ -41,6 +41,11 @@ feature -- Status report
has_children: BOOLEAN = False
-- <Precursor>
feature -- Security
is_forbidden: BOOLEAN = False
-- <Precursor>
feature -- Access
children: detachable LIST [CMS_LINK]
@@ -48,6 +53,6 @@ feature -- Access
invariant
note
copyright: "2011-2014, Javier Velilla, Jocelyn Fiat, Eiffel Software and others"
copyright: "2011-2015, Javier Velilla, Jocelyn Fiat, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
end