diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 21:05:15 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 21:05:15 +0000 |
commit | dfcf7dba0b2d8ad6eb9d8540e92804e70205b8fb (patch) | |
tree | 6cc700c94a4a72e5f4b758803b079dfed059e054 /src/parser | |
parent | fdc93191d331c6bd4a2934eb5cbeb18d78cb078d (diff) |
update-copyright.pl now retrieves and incorporates author information from repository history; re-ran update-copyright.pl; cleaned up some things with make
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_parser.cpp | 15 | ||||
-rw-r--r-- | src/parser/antlr_parser.h | 20 | ||||
-rw-r--r-- | src/parser/cvc/cvc_parser.cpp | 3 | ||||
-rw-r--r-- | src/parser/cvc/cvc_parser.h | 3 | ||||
-rw-r--r-- | src/parser/parser.cpp | 3 | ||||
-rw-r--r-- | src/parser/parser.h | 3 | ||||
-rw-r--r-- | src/parser/parser_exception.h | 5 | ||||
-rw-r--r-- | src/parser/smt/smt_parser.cpp | 3 | ||||
-rw-r--r-- | src/parser/smt/smt_parser.h | 3 | ||||
-rw-r--r-- | src/parser/symbol_table.h | 4 |
10 files changed, 55 insertions, 7 deletions
diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp index 1baaf2139..c42415c54 100644 --- a/src/parser/antlr_parser.cpp +++ b/src/parser/antlr_parser.cpp @@ -1,3 +1,18 @@ +/********************* -*- C++ -*- */ +/** antlr_parser.cpp + ** Original author: dejan + ** Major contributors: none + ** Minor contributors (to current version): cconway, mdeters + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + /* * antlr_parser.cpp * diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h index b2ef3f181..8a9dea5ad 100644 --- a/src/parser/antlr_parser.h +++ b/src/parser/antlr_parser.h @@ -1,9 +1,17 @@ -/* - * antlr_parser.h - * - * Created on: Nov 30, 2009 - * Author: dejan - */ +/********************* -*- C++ -*- */ +/** antlr_parser.h + ** Original author: dejan + ** Major contributors: none + ** Minor contributors (to current version): mdeters, cconway + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** Base for ANTLR parser classes. + **/ #ifndef CVC4_PARSER_H_ #define CVC4_PARSER_H_ diff --git a/src/parser/cvc/cvc_parser.cpp b/src/parser/cvc/cvc_parser.cpp index adeb5761d..57d5e6c96 100644 --- a/src/parser/cvc/cvc_parser.cpp +++ b/src/parser/cvc/cvc_parser.cpp @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** cvc_parser.cpp + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/cvc/cvc_parser.h b/src/parser/cvc/cvc_parser.h index 9cb6b7594..82d659566 100644 --- a/src/parser/cvc/cvc_parser.h +++ b/src/parser/cvc/cvc_parser.h @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** cvc_parser.h + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 8d4af5ba1..2ff409686 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** parser.cpp + ** Original author: mdeters + ** Major contributors: dejan + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/parser.h b/src/parser/parser.h index 7755d65f0..b448cd2a6 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** parser.h + ** Original author: mdeters + ** Major contributors: dejan + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h index b2cf8bc55..3504eeba2 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** parser_exception.h + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences @@ -7,7 +10,7 @@ ** See the file COPYING in the top-level source directory for licensing ** information. ** - ** Exception class. + ** Exception class for parse errors. **/ #ifndef __CVC4__PARSER__PARSER_EXCEPTION_H diff --git a/src/parser/smt/smt_parser.cpp b/src/parser/smt/smt_parser.cpp index 65d36690c..8c5773e32 100644 --- a/src/parser/smt/smt_parser.cpp +++ b/src/parser/smt/smt_parser.cpp @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** smt_parser.cpp + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/smt/smt_parser.h b/src/parser/smt/smt_parser.h index 6927888cf..21c278a37 100644 --- a/src/parser/smt/smt_parser.h +++ b/src/parser/smt/smt_parser.h @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** smt_parser.h + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): cconway, dejan ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h index 2c4f0e8b7..66d5727d6 100644 --- a/src/parser/symbol_table.h +++ b/src/parser/symbol_table.h @@ -1,5 +1,8 @@ /********************* -*- C++ -*- */ /** symbol_table.h + ** Original author: cconway + ** Major contributors: dejan, mdeters + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences @@ -7,6 +10,7 @@ ** See the file COPYING in the top-level source directory for licensing ** information. ** + ** A symbol table for the parsers' use. **/ #ifndef __CVC4__PARSER__SYMBOL_TABLE_H |