Changeset 1382

Timestamp:

12/14/09 09:37:54 (15 years ago)

Author:

walter

Message:

bugzilla 3592 ClassTemplateDeclaration? and FunctionTemplateDeclaration? rules are unreferenced

Files:

• trunk/docsrc/class.dd (modified) (1 diff)
• trunk/docsrc/declaration.dd (modified) (1 diff)
• trunk/docsrc/interface.dd (modified) (1 diff)
• trunk/docsrc/struct.dd (modified) (1 diff)
• trunk/docsrc/template.dd (modified) (2 diffs)

trunk/docsrc/class.dd

@@ -18 +18 @@
-    $(P A class can be exported, which means its name and all its
-    non-private
-    members are exposed externally to the DLL or EXE.
-    )
-
-    $(P A class declaration is defined:
-    )
-
-$(GRAMMAR
-$(GNAME ClassDeclaration):
-
+
+
-
-$(GNAME BaseClassList):
+    $(I Empty)
-    $(B :) $(I SuperClass)
-    $(B :) $(I SuperClass) $(B ,) $(I InterfaceClasses)
-    $(B :) $(I InterfaceClass)
-
-$(GNAME SuperClass):
-    $(I Identifier)
-    $(I Protection) $(I Identifier)
-
-$(GNAME InterfaceClasses):
-    $(I InterfaceClass)

trunk/docsrc/declaration.dd

@@ -72 +72 @@
-        $(I BasicType2) $(I Identifier) $(I DeclaratorSuffixes)$(OPT)
-
-$(GNAME DeclaratorSuffixes):
-        $(I DeclaratorSuffix)
-        $(I DeclaratorSuffix) $(I DeclaratorSuffixes)
-
-$(GNAME DeclaratorSuffix):
-        $(B [ ])
-        $(B [) $(VEXPRESSION) $(B ])
-        $(B [) $(I Type) $(B ])
-I TemplateParameterList
+LINK2 template.html#TemplateParameterList, $(I TemplateParameterList)
-
-$(GNAME IdentifierList):
-        $(I Identifier)
-        $(I Identifier) $(B .) $(I IdentifierList)
-        $(I TemplateInstance)
-        $(I TemplateInstance) $(B .) $(I IdentifierList)
-
-$(GNAME StorageClasses):
-    $(I StorageClass)
-    $(I StorageClass) $(I StorageClasses)

trunk/docsrc/interface.dd

@@ -1 +1 @@
-Ddoc
-
-$(SPEC_S Interfaces,
-
-$(GRAMMAR
-$(GNAME InterfaceDeclaration):
-
-B interface) $(I Identifier) $(B :) $(I SuperInterfaces) $(I InterfaceBody
-
-SuperInterfaces
-Identifier
-I Identifier) $(B ,) $(I SuperInterfaces
+BaseInterfaceList) $(
+LINK2 template.html#InterfaceTemplateDeclaration, $(I InterfaceTemplateDeclaration)
+
+BaseInterfaceList
+Empty
+B :) $(LINK2 class.html#InterfaceClasses, $(I InterfaceClasses)
-
-$(GNAME InterfaceBody):
-    $(B {) DeclDefs $(B })
-)
-
-    $(P Interfaces describe a list of functions that a class that inherits
-    from the interface must implement.
-    A class that implements an interface can be converted to a reference
-    to that interface.)
-

trunk/docsrc/struct.dd

@@ -329 +329 @@
-    $(TD $(LINK2 class.html#nested, YES))
-    $(NO)
-    $(NO)
-    $(NO)
-    )
-)
-    )
-
-$(GRAMMAR
-$(GNAME AggregateDeclaration):
-I Tag
-I Tag) $(I Identifier) $(B ;
-
-
-B struct
-B union
+B struct
+B union) $(I Identifier) $(I StructBody
+
+
+LINK2 template.html#StructTemplateDeclaration, $(I StructTemplateDeclaration)
+LINK2 template.html#UnionTemplateDeclaration, $(I UnionTemplateDeclaration)
-
-$(GNAME StructBody):
-    $(B {) $(B })
-    $(B {) $(I StructBodyDeclarations) $(B })
-
-$(GNAME StructBodyDeclarations):
-    $(I StructBodyDeclaration)
-    $(I StructBodyDeclaration) $(I StructBodyDeclarations)
-
-$(GNAME StructBodyDeclaration):

trunk/docsrc/template.dd

@@ -741 +741 @@
-void test()
-{
-    $(B Foo)!(int) = 6; // instead of Foo!(int).Foo
-}
-------
-
-<h2>Class Templates</h2>
-
-$(GRAMMAR
-$(GNAME ClassTemplateDeclaration):
-I TemplateParameterList) $(B $(RPAREN)) [$(I SuperClass) {$(B ,) $(I InterfaceClass) }]
+GLINK TemplateParameterList) $(B $(RPAREN)) $(I BaseClassList)
-)
-
-    $(P If a template declares exactly one member, and that member is a class
-    with the same name as the template:
-    )
-
-------
-template $(B Bar)(T)
-{
-    class $(B Bar)
@@ -771 +771 @@
-
-------
-class $(B Bar)(T)
-{
-    T member;
-}
-------
-
-<h2>Struct, Union, and Interface Templates</h2>
-
+$(GRAMMAR
+$(GNAME StructTemplateDeclaration):
+    $(B struct) $(I Identifier) $(B $(LPAREN)) $(GLINK TemplateParameterList) $(B $(RPAREN)) $(LINK2 struct.html#StructBody, $(I StructBody))
+
+$(GNAME UnionTemplateDeclaration):
+    $(B union) $(I Identifier) $(B $(LPAREN)) $(GLINK TemplateParameterList) $(B $(RPAREN)) $(LINK2 struct.html#StructBody, $(I StructBody))
+
+$(GNAME InterfaceTemplateDeclaration):
+    $(B interface) $(I Identifier) $(B $(LPAREN)) $(GLINK TemplateParameterList) $(B $(RPAREN)) $(LINK2 interface.html#BaseInterfaceList, $(I BaseInterfaceList)) $(LINK2 interface.html#InterfaceBody, $(I InterfaceBody))
+)
+
-    $(P Analogously to class templates, struct, union and interfaces
-
+template 
-    )
-
-<h2>$(LNAME2 function-templates, Function Templates)</h2>
-
-    $(P If a template declares exactly one member, and that member is a function
-
-
-
-
-
-
-
+
+
+
+
+
-
-    $(P A function template to compute the square of type $(I T) is:
-    )
-------
-T $(B Square)(T)(T t)
-{
-    return t * t;
-}
-------
-