From 2a1e97cb8bc0ce7ab102035c3e481465fc59ec12 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 20 Nov 2020 17:30:43 -0800
Subject: [PATCH] Rename symfpu_literal.(h.in|cpp) ->
 floatingpoint_literal_symfpu.(h.in|cpp). (#5502)

---
 src/CMakeLists.txt                                          | 2 +-
 src/theory/fp/fp_converter.cpp                              | 2 +-
 src/util/CMakeLists.txt                                     | 4 ++--
 src/util/floatingpoint.cpp                                  | 2 +-
 ...{symfpu_literal.cpp => floatingpoint_literal_symfpu.cpp} | 4 ++--
 ...ymfpu_literal.h.in => floatingpoint_literal_symfpu.h.in} | 6 +++---
 6 files changed, 10 insertions(+), 10 deletions(-)
 rename src/util/{symfpu_literal.cpp => floatingpoint_literal_symfpu.cpp} (99%)
 rename src/util/{symfpu_literal.h.in => floatingpoint_literal_symfpu.h.in} (98%)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index aea57ef00..366e72af0 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1205,7 +1205,7 @@ install(FILES
           ${CMAKE_CURRENT_BINARY_DIR}/util/integer.h
           ${CMAKE_CURRENT_BINARY_DIR}/util/rational.h
           ${CMAKE_CURRENT_BINARY_DIR}/util/real_algebraic_number.h
-          ${CMAKE_CURRENT_BINARY_DIR}/util/symfpu_literal.h
+          ${CMAKE_CURRENT_BINARY_DIR}/util/floatingpoint_literal_symfpu.h
         DESTINATION
           ${CMAKE_INSTALL_INCLUDEDIR}/cvc4/util)
 
diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp
index b8e6f381c..85482bf6d 100644
--- a/src/theory/fp/fp_converter.cpp
+++ b/src/theory/fp/fp_converter.cpp
@@ -18,7 +18,7 @@
 
 #include "theory/theory.h"  // theory.h Only needed for the leaf test
 #include "util/floatingpoint.h"
-#include "util/symfpu_literal.h"
+#include "util/floatingpoint_literal_symfpu.h"
 
 #ifdef CVC4_USE_SYMFPU
 #include "symfpu/core/add.h"
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index a9b0b1dca..24e485f5e 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -8,7 +8,7 @@
 ## All rights reserved.  See the file COPYING in the top-level source
 ## directory for licensing information.
 ##
-configure_file(symfpu_literal.h.in symfpu_literal.h)
+configure_file(floatingpoint_literal_symfpu.h.in floatingpoint_literal_symfpu.h)
 configure_file(rational.h.in rational.h)
 configure_file(integer.h.in integer.h)
 configure_file(real_algebraic_number.h.in real_algebraic_number.h)
@@ -62,7 +62,7 @@ libcvc4_add_sources(
   statistics_registry.h
   string.cpp
   string.h
-  symfpu_literal.cpp
+  floatingpoint_literal_symfpu.cpp
   tuple.h
   unsafe_interrupt_exception.h
   utility.cpp
diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp
index 4e4b076f0..c5ec4d0c6 100644
--- a/src/util/floatingpoint.cpp
+++ b/src/util/floatingpoint.cpp
@@ -23,8 +23,8 @@
 #include <limits>
 
 #include "base/check.h"
+#include "util/floatingpoint_literal_symfpu.h"
 #include "util/integer.h"
-#include "util/symfpu_literal.h"
 
 #ifdef CVC4_USE_SYMFPU
 #include "symfpu/core/add.h"
diff --git a/src/util/symfpu_literal.cpp b/src/util/floatingpoint_literal_symfpu.cpp
similarity index 99%
rename from src/util/symfpu_literal.cpp
rename to src/util/floatingpoint_literal_symfpu.cpp
index b916d62f9..fb5c0b7b5 100644
--- a/src/util/symfpu_literal.cpp
+++ b/src/util/floatingpoint_literal_symfpu.cpp
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file symfpu_literal.cpp
+/*! \file floatingpoint_literal_symfpu.cpp
  ** \verbatim
  ** Top contributors (to current version):
  **   Martin Brain, Aina Niemetz
@@ -11,7 +11,7 @@
  **
  ** \brief SymFPU glue code for floating-point values.
  **/
-#include "util/symfpu_literal.h"
+#include "util/floatingpoint_literal_symfpu.h"
 
 #include "base/check.h"
 
diff --git a/src/util/symfpu_literal.h.in b/src/util/floatingpoint_literal_symfpu.h.in
similarity index 98%
rename from src/util/symfpu_literal.h.in
rename to src/util/floatingpoint_literal_symfpu.h.in
index e477bb0c1..06a98b7ea 100644
--- a/src/util/symfpu_literal.h.in
+++ b/src/util/floatingpoint_literal_symfpu.h.in
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file symfpu_literal.h.in
+/*! \file floatingpoint_literal_symfpu.h.in
  ** \verbatim
  ** Top contributors (to current version):
  **   Aina Niemetz, Martin Brain, Andres Noetzli
@@ -15,8 +15,8 @@
  **/
 #include "cvc4_public.h"
 
-#ifndef CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H
-#define CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H
+#ifndef CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H
+#define CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H
 
 #include "util/bitvector.h"
 #include "util/roundingmode.h"
-- 
2.30.2