diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-06-04 18:55:22 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-06-04 18:55:22 +0000 |
commit | a460f751e8345e61c4989386765d84bb76fe37d6 (patch) | |
tree | 08bc3c035b5bd8f220853e06dc90fb939c55b2ed /contrib/update-copyright.pl | |
parent | febba49895125f4f3489e7dff283a000ae9965b3 (diff) |
** Don't fear the files-changed list, almost all changes are in the **
** file-level documentation at the top of the sources. **
This is the "make bugzilla stop bugging me" bugfix commit.
* Remove BackedNodeBuilder<> and collapse NodeBuilder<> hierarchy.
Updated documentation in the file. Resolves bug #99.
* Convenience NodeBuilders (PlusNodeBuilder, OrNodeBuilder, etc.)
moved into a separate file. Partially resolves bug #100.
* Moved isAssociative(Kind) into kind.h (and into the CVC4::kind
namespace) instead of metakind.h (where it was in CVC4::metakind).
This clears up a warning (private #inclusion) from the SMT and SMT2
parsers, and maybe makes more sense anyways, since this is based on
the kind (and not the metakind) of an operator.
* Documentation improvement; doxygen top-level \file gestures, \brief
gestures for files, etc. Changed contrib/update-copyright.pl for
this change, and post-processed to add \brief. Resolves bug #98.
* Removed ExprManager::mkExpr(Kind) and NodeManager::mkNode(Kind).
They no longer made sense. Resolves bug #91.
Diffstat (limited to 'contrib/update-copyright.pl')
-rwxr-xr-x | contrib/update-copyright.pl | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index dce453346..cf02e1ece 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -28,7 +28,9 @@ # the license.) my $excluded_directories = '^(minisat|CVS|generated)$'; -my $excluded_paths = '^(src/parser/bounded_token_buffer\.(h|cpp))|(src/parser/antlr_input_imports.cpp)$'; +# re-include bounded_token_buffer.{h,cpp} +#my $excluded_paths = '^(src/parser/bounded_token_buffer\.(h|cpp))|(src/parser/antlr_input_imports.cpp)$'; +my $excluded_paths = '^src/parser/antlr_input_imports.cpp$'; # Years of copyright for the template. E.g., the string # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever. @@ -40,7 +42,7 @@ my $standard_template = <<EOF; ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\\endverbatim EOF my $public_template = <<EOF; @@ -49,7 +51,7 @@ my $public_template = <<EOF; ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\\endverbatim EOF ## end config ## @@ -125,11 +127,12 @@ sub recurse { } elsif($file =~ /\.g$/) { # avoid javadoc-style comment here; antlr complains print $OUT "/* ******************* */\n"; - print $OUT "/* $file\n"; + print $OUT "/*! \\file $file\n"; } else { print $OUT "/********************* */\n"; - print $OUT "/** $file\n"; + print $OUT "/*! \\file $file\n"; } + print $OUT " ** \\verbatim\n"; print $OUT " ** Original author: $author\n"; print $OUT " ** Major contributors: $major_contributors\n"; print $OUT " ** Minor contributors (to current version): $minor_contributors\n"; @@ -143,21 +146,25 @@ sub recurse { print "adding\n"; if($file =~ /\.(y|yy|ypp|Y)$/) { print $OUT "%{/******************* */\n"; - print $OUT "/** $file\n"; + print $OUT "/*! \\file $file\n"; } elsif($file =~ /\.g$/) { # avoid javadoc-style comment here; antlr complains print $OUT "/* ******************* */\n"; - print $OUT "/* $file\n"; + print $OUT "/*! \\file $file\n"; } else { print $OUT "/********************* */\n"; - print $OUT "/** $file\n"; + print $OUT "/*! \\file $file\n"; } + print $OUT " ** \\verbatim\n"; print $OUT " ** Original author: $author\n"; print $OUT " ** Major contributors: $major_contributors\n"; print $OUT " ** Minor contributors (to current version): $minor_contributors\n"; print $OUT $standard_template; print $OUT " **\n"; - print $OUT " ** [[ Add file-specific comments here ]]\n"; + print $OUT " ** \brief [[ Add one-line brief description here ]]\n"; + print $OUT " **\n"; + print $OUT " ** [[ Add lengthier description here ]]\n"; + print $OUT " ** \\todo document this file\n"; print $OUT " **/\n\n"; print $OUT $line; if($file =~ /\.(y|yy|ypp|Y)$/) { |