added example for declare @constructor

diff --git a/docs/adk15ProgGuideDB/annotations.xml b/docs/adk15ProgGuideDB/annotations.xml
index cad65a650bbbcde369b296bbc393a92db9c9a557..83f3311d73e24b828fda83cde90913a596c3852a 100644 (file)
--- a/docs/adk15ProgGuideDB/annotations.xml
+++ b/docs/adk15ProgGuideDB/annotations.xml
@@ -1337,6 +1337,16 @@
                  </listitem>
                </varlistentry>
                
+                <varlistentry>
+                 <term>declare @constructor : BankAccount+.new(..) : @Secured(role="supervisor")</term>
+                 <listitem>
+                   <para>
+                       All constructors in <literal>BankAccount</literal> and its subtypes have the
+                       annotation <literal>@Secured(role="supervisor")</literal>.
+                   </para>
+                 </listitem>
+               </varlistentry>
+               
                <varlistentry>
                  <term>declare @field : * DAO+.* : @Persisted;</term>
                  <listitem>