diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-04-24 15:39:24 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-24 15:39:24 -0700 |
commit | 2ab48defab1f0c8918cd7612c1943be7503e4d30 (patch) | |
tree | ab8fafc614f5fceef133a3a32f27a0fddcd3c717 /src/parser | |
parent | 5f716f5aac730f976eac538cfbf47dcc651e54f7 (diff) |
Do not use __ prefix for header guards. (#2974)
Fixes 2887.
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/antlr_input.h | 6 | ||||
-rw-r--r-- | src/parser/antlr_line_buffered_input.h | 6 | ||||
-rw-r--r-- | src/parser/antlr_tracing.h | 6 | ||||
-rw-r--r-- | src/parser/bounded_token_buffer.h | 6 | ||||
-rw-r--r-- | src/parser/bounded_token_factory.h | 6 | ||||
-rw-r--r-- | src/parser/cvc/cvc_input.h | 6 | ||||
-rw-r--r-- | src/parser/input.h | 6 | ||||
-rw-r--r-- | src/parser/line_buffer.h | 6 | ||||
-rw-r--r-- | src/parser/memory_mapped_input_buffer.h | 6 | ||||
-rw-r--r-- | src/parser/parser.h | 6 | ||||
-rw-r--r-- | src/parser/parser_builder.h | 6 | ||||
-rw-r--r-- | src/parser/parser_exception.h | 6 | ||||
-rw-r--r-- | src/parser/smt1/smt1.h | 6 | ||||
-rw-r--r-- | src/parser/smt1/smt1_input.h | 6 | ||||
-rw-r--r-- | src/parser/smt2/smt2.h | 6 | ||||
-rw-r--r-- | src/parser/smt2/smt2_input.h | 6 | ||||
-rw-r--r-- | src/parser/smt2/sygus_input.h | 6 | ||||
-rw-r--r-- | src/parser/tptp/tptp.h | 6 | ||||
-rw-r--r-- | src/parser/tptp/tptp_input.h | 6 |
19 files changed, 57 insertions, 57 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index 17e21e21f..9c53e0349 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -14,8 +14,8 @@ ** Base for ANTLR parser classes. **/ -#ifndef __CVC4__PARSER__ANTLR_INPUT_H -#define __CVC4__PARSER__ANTLR_INPUT_H +#ifndef CVC4__PARSER__ANTLR_INPUT_H +#define CVC4__PARSER__ANTLR_INPUT_H #include "cvc4parser_private.h" @@ -299,4 +299,4 @@ inline BitVector AntlrInput::tokenToBitvector(pANTLR3_COMMON_TOKEN number, pANTL }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__ANTLR_INPUT_H */ +#endif /* CVC4__PARSER__ANTLR_INPUT_H */ diff --git a/src/parser/antlr_line_buffered_input.h b/src/parser/antlr_line_buffered_input.h index 3a1843ee5..34cb72f1e 100644 --- a/src/parser/antlr_line_buffered_input.h +++ b/src/parser/antlr_line_buffered_input.h @@ -22,8 +22,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H -#define __CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H +#ifndef CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H +#define CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H #include <antlr3.h> #include <istream> @@ -47,4 +47,4 @@ pANTLR3_INPUT_STREAM antlr3LineBufferedStreamNew(std::istream& in, }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H */ +#endif /* CVC4__PARSER__ANTLR_LINE_BUFFERED_INPUT_H */ diff --git a/src/parser/antlr_tracing.h b/src/parser/antlr_tracing.h index 77d16aedb..d2eb742c2 100644 --- a/src/parser/antlr_tracing.h +++ b/src/parser/antlr_tracing.h @@ -15,8 +15,8 @@ ** \todo document this file **/ -#ifndef __CVC4__PARSER__ANTLR_TRACING_H -#define __CVC4__PARSER__ANTLR_TRACING_H +#ifndef CVC4__PARSER__ANTLR_TRACING_H +#define CVC4__PARSER__ANTLR_TRACING_H // only enable the hack with -DCVC4_TRACE_ANTLR #ifdef CVC4_TRACE_ANTLR @@ -83,4 +83,4 @@ static struct __Cvc4System { #endif /* CVC4_TRACE_ANTLR */ -#endif /* __CVC4__PARSER__ANTLR_TRACING_H */ +#endif /* CVC4__PARSER__ANTLR_TRACING_H */ diff --git a/src/parser/bounded_token_buffer.h b/src/parser/bounded_token_buffer.h index 3258441b8..8afe6864a 100644 --- a/src/parser/bounded_token_buffer.h +++ b/src/parser/bounded_token_buffer.h @@ -25,8 +25,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H -#define __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H +#ifndef CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H +#define CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H #include <antlr3defs.h> @@ -61,4 +61,4 @@ BoundedTokenBufferFree(pBOUNDED_TOKEN_BUFFER buffer); }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H */ +#endif /* CVC4__PARSER__BOUNDED_TOKEN_BUFFER_H */ diff --git a/src/parser/bounded_token_factory.h b/src/parser/bounded_token_factory.h index f44218786..f2df9ac36 100644 --- a/src/parser/bounded_token_factory.h +++ b/src/parser/bounded_token_factory.h @@ -19,8 +19,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H -#define __CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H +#ifndef CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H +#define CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H namespace CVC4 { namespace parser { @@ -48,4 +48,4 @@ BoundedTokenFactoryNew(pANTLR3_INPUT_STREAM input,ANTLR3_UINT32 size); }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H */ +#endif /* CVC4__PARSER__BOUNDED_TOKEN_FACTORY_H */ diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h index 944a125c2..098efd580 100644 --- a/src/parser/cvc/cvc_input.h +++ b/src/parser/cvc/cvc_input.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__CVC_INPUT_H -#define __CVC4__PARSER__CVC_INPUT_H +#ifndef CVC4__PARSER__CVC_INPUT_H +#define CVC4__PARSER__CVC_INPUT_H #include "parser/antlr_input.h" #include "parser/cvc/CvcLexer.h" @@ -74,4 +74,4 @@ class CvcInput : public AntlrInput { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__CVC_INPUT_H */ +#endif /* CVC4__PARSER__CVC_INPUT_H */ diff --git a/src/parser/input.h b/src/parser/input.h index c8d6bbb0e..5627dc15e 100644 --- a/src/parser/input.h +++ b/src/parser/input.h @@ -16,8 +16,8 @@ #include "cvc4parser_public.h" -#ifndef __CVC4__PARSER__INPUT_H -#define __CVC4__PARSER__INPUT_H +#ifndef CVC4__PARSER__INPUT_H +#define CVC4__PARSER__INPUT_H #include <iostream> #include <stdio.h> @@ -178,4 +178,4 @@ class CVC4_PUBLIC Input { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__ANTLR_INPUT_H */ +#endif /* CVC4__PARSER__ANTLR_INPUT_H */ diff --git a/src/parser/line_buffer.h b/src/parser/line_buffer.h index d493ed7ae..e8ab05691 100644 --- a/src/parser/line_buffer.h +++ b/src/parser/line_buffer.h @@ -18,8 +18,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__LINE_BUFFER_H -#define __CVC4__PARSER__LINE_BUFFER_H +#ifndef CVC4__PARSER__LINE_BUFFER_H +#define CVC4__PARSER__LINE_BUFFER_H #include <cstdlib> #include <istream> @@ -73,4 +73,4 @@ class LineBuffer { } // namespace parser } // namespace CVC4 -#endif /* __CVC4__PARSER__LINE_BUFFER_H */ +#endif /* CVC4__PARSER__LINE_BUFFER_H */ diff --git a/src/parser/memory_mapped_input_buffer.h b/src/parser/memory_mapped_input_buffer.h index efa739912..ee143c6b3 100644 --- a/src/parser/memory_mapped_input_buffer.h +++ b/src/parser/memory_mapped_input_buffer.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H -#define __CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H +#ifndef CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H +#define CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H #include <antlr3input.h> #include <string> @@ -39,4 +39,4 @@ MemoryMappedInputBufferNew(const std::string& filename); }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H */ +#endif /* CVC4__PARSER__MEMORY_MAPPED_INPUT_BUFFER_H */ diff --git a/src/parser/parser.h b/src/parser/parser.h index 8bdc28d15..826d460b2 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -16,8 +16,8 @@ #include "cvc4parser_public.h" -#ifndef __CVC4__PARSER__PARSER_STATE_H -#define __CVC4__PARSER__PARSER_STATE_H +#ifndef CVC4__PARSER__PARSER_STATE_H +#define CVC4__PARSER__PARSER_STATE_H #include <string> #include <set> @@ -835,4 +835,4 @@ public: }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__PARSER_STATE_H */ +#endif /* CVC4__PARSER__PARSER_STATE_H */ diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 3f48b0bdb..1a9ca719e 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -16,8 +16,8 @@ #include "cvc4parser_public.h" -#ifndef __CVC4__PARSER__PARSER_BUILDER_H -#define __CVC4__PARSER__PARSER_BUILDER_H +#ifndef CVC4__PARSER__PARSER_BUILDER_H +#define CVC4__PARSER__PARSER_BUILDER_H #include <string> @@ -180,4 +180,4 @@ class CVC4_PUBLIC ParserBuilder { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__PARSER_BUILDER_H */ +#endif /* CVC4__PARSER__PARSER_BUILDER_H */ diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h index 5e7e2500e..cd5e162d2 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -16,8 +16,8 @@ #include "cvc4parser_public.h" -#ifndef __CVC4__PARSER__PARSER_EXCEPTION_H -#define __CVC4__PARSER__PARSER_EXCEPTION_H +#ifndef CVC4__PARSER__PARSER_EXCEPTION_H +#define CVC4__PARSER__PARSER_EXCEPTION_H #include <iostream> #include <string> @@ -99,4 +99,4 @@ class CVC4_PUBLIC ParserEndOfFileException : public ParserException { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__PARSER_EXCEPTION_H */ +#endif /* CVC4__PARSER__PARSER_EXCEPTION_H */ diff --git a/src/parser/smt1/smt1.h b/src/parser/smt1/smt1.h index f8a018806..32867e692 100644 --- a/src/parser/smt1/smt1.h +++ b/src/parser/smt1/smt1.h @@ -14,8 +14,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__SMT1_H -#define __CVC4__PARSER__SMT1_H +#ifndef CVC4__PARSER__SMT1_H +#define CVC4__PARSER__SMT1_H #include <string> #include <unordered_map> @@ -130,4 +130,4 @@ private: }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__SMT1_H */ +#endif /* CVC4__PARSER__SMT1_H */ diff --git a/src/parser/smt1/smt1_input.h b/src/parser/smt1/smt1_input.h index 511ddfd53..fcdc63ee2 100644 --- a/src/parser/smt1/smt1_input.h +++ b/src/parser/smt1/smt1_input.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__SMT1_INPUT_H -#define __CVC4__PARSER__SMT1_INPUT_H +#ifndef CVC4__PARSER__SMT1_INPUT_H +#define CVC4__PARSER__SMT1_INPUT_H #include "parser/antlr_input.h" #include "parser/smt1/Smt1Lexer.h" @@ -82,4 +82,4 @@ public: }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__SMT1_INPUT_H */ +#endif /* CVC4__PARSER__SMT1_INPUT_H */ diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index 7a3c3b0c3..ee694db06 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__SMT2_H -#define __CVC4__PARSER__SMT2_H +#ifndef CVC4__PARSER__SMT2_H +#define CVC4__PARSER__SMT2_H #include <sstream> #include <stack> @@ -414,4 +414,4 @@ private: }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__SMT2_H */ +#endif /* CVC4__PARSER__SMT2_H */ diff --git a/src/parser/smt2/smt2_input.h b/src/parser/smt2/smt2_input.h index a456a33f8..e8b736a16 100644 --- a/src/parser/smt2/smt2_input.h +++ b/src/parser/smt2/smt2_input.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__SMT2_INPUT_H -#define __CVC4__PARSER__SMT2_INPUT_H +#ifndef CVC4__PARSER__SMT2_INPUT_H +#define CVC4__PARSER__SMT2_INPUT_H #include "parser/antlr_input.h" #include "parser/smt2/Smt2Lexer.h" @@ -83,4 +83,4 @@ class Smt2Input : public AntlrInput { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__SMT2_INPUT_H */ +#endif /* CVC4__PARSER__SMT2_INPUT_H */ diff --git a/src/parser/smt2/sygus_input.h b/src/parser/smt2/sygus_input.h index 23227e96c..a0e3e81ef 100644 --- a/src/parser/smt2/sygus_input.h +++ b/src/parser/smt2/sygus_input.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__SYGUS_INPUT_H -#define __CVC4__PARSER__SYGUS_INPUT_H +#ifndef CVC4__PARSER__SYGUS_INPUT_H +#define CVC4__PARSER__SYGUS_INPUT_H #include "parser/antlr_input.h" #include "parser/smt2/Smt2Lexer.h" @@ -83,4 +83,4 @@ class SygusInput : public AntlrInput { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__SYGUS_INPUT_H */ +#endif /* CVC4__PARSER__SYGUS_INPUT_H */ diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index db08311f0..082b905df 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -18,8 +18,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__TPTP_H -#define __CVC4__PARSER__TPTP_H +#ifndef CVC4__PARSER__TPTP_H +#define CVC4__PARSER__TPTP_H #include <cassert> #include <unordered_map> @@ -196,4 +196,4 @@ enum NonAssoc { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__TPTP_INPUT_H */ +#endif /* CVC4__PARSER__TPTP_INPUT_H */ diff --git a/src/parser/tptp/tptp_input.h b/src/parser/tptp/tptp_input.h index dab98b91b..5205cbc17 100644 --- a/src/parser/tptp/tptp_input.h +++ b/src/parser/tptp/tptp_input.h @@ -16,8 +16,8 @@ #include "cvc4parser_private.h" -#ifndef __CVC4__PARSER__TPTP_INPUT_H -#define __CVC4__PARSER__TPTP_INPUT_H +#ifndef CVC4__PARSER__TPTP_INPUT_H +#define CVC4__PARSER__TPTP_INPUT_H #include "parser/antlr_input.h" #include "parser/tptp/TptpLexer.h" @@ -83,4 +83,4 @@ class TptpInput : public AntlrInput { }/* CVC4::parser namespace */ }/* CVC4 namespace */ -#endif /* __CVC4__PARSER__TPTP_INPUT_H */ +#endif /* CVC4__PARSER__TPTP_INPUT_H */ |