hide trim() from the public interface

* src/misc/escape.cc, src/misc/escape.hh (trim): Move...
* src/priv/trim.cc, src/priv/trim.hh: ... in these new files.
* src/priv/Makefile.am: Add them.
* src/parseaut/scanaut.ll, src/parsetl/scantl.ll: Adjust.

src/priv/Makefile.am

@@ -1,5 +1,5 @@
 ## -*- coding: utf-8 -*-
-## Copyright (C) 2013, 2014 Laboratoire de Recherche et
+## Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
 ## Développement de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.
@@ -23,9 +23,11 @@ AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 noinst_HEADERS = \
   accmap.hh \
   bddalloc.hh \
-  freelist.hh
+  freelist.hh \
+  trim.hh
 
 noinst_LTLIBRARIES = libpriv.la
 libpriv_la_SOURCES = \
   bddalloc.cc \
-  freelist.cc
+  freelist.cc \
+  trim.cc

src/priv/trim.cc

@@ -0,0 +1,39 @@
+// -*- coding: utf-8 -*-
+// Copyright (C) 2015  Laboratoire de Recherche et Developpement de
+// l'Epita (LRDE).
+//
+// This file is part of Spot, a model checking library.
+//
+// Spot is free software; you can redistribute it and/or modify it
+// under the terms of the GNU General Public License as published by
+// the Free Software Foundation; either version 3 of the License, or
+// (at your option) any later version.
+//
+// Spot is distributed in the hope that it will be useful, but WITHOUT
+// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+// License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+#include "trim.hh"
+#include <algorithm>
+#include <functional>
+#include <cctype>
+#include <locale>
+
+namespace spot
+{
+  void
+  trim(std::string& str)
+  {
+    str.erase(std::find_if(str.rbegin(), str.rend(),
+			   std::not1(std::ptr_fun<int, int>
+				     (std::isspace))).base(),
+	      str.end());
+    str.erase(str.begin(),
+	      std::find_if(str.begin(), str.end(),
+			   std::not1(std::ptr_fun<int, int>(std::isspace))));
+  }
+}

src/priv/trim.hh

@@ -0,0 +1,28 @@
+// -*- coding: utf-8 -*-
+// Copyright (C) 2015  Laboratoire de Recherche et Developpement de
+// l'Epita (LRDE).
+//
+// This file is part of Spot, a model checking library.
+//
+// Spot is free software; you can redistribute it and/or modify it
+// under the terms of the GNU General Public License as published by
+// the Free Software Foundation; either version 3 of the License, or
+// (at your option) any later version.
+//
+// Spot is distributed in the hope that it will be useful, but WITHOUT
+// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+// or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+// License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+
+#pragma once
+
+#include <string>
+
+namespace spot
+{
+  /// \brief Remove spaces at the front and back of \a str.
+  void trim(std::string& str);
+}