Awali
Another Weighted Automata library
Namespaces | Macros | Functions | Variables
utils.hh File Reference
#include <iostream>
#include <vector>
#include <limits>
#include <iomanip>
#include <sstream>
#include <awali/common/parse_exception.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::internal
 Namespace containing implementation details of elements common to sttc and dyn layers (not stable).
 
 awali::json
 

Macros

#define __SUPPRESS_UNUSED_WARNING__(a)   (void)a;
 

Functions

static void awali::internal::check (std::istream &i, char e, std::string oth="")
 checks the next character More...
 
std::string const & awali::json::escape (char c)
 
std::string awali::json::escape (std::string const &str)
 
std::ostream & awali::json::escape_and_print (std::ostream &o, std::string const &str)
 
static std::string awali::internal::get_first_attr (std::istream &i)
 
static std::vector< std::string > awali::internal::init_converter ()
 
static std::ostream & awali::internal::js_formate (std::ostream &o, std::istream &i)
 formates a json file More...
 
static char awali::internal::parsecst (std::istream &i)
 
static void awali::internal::parseignore (std::istream &i)
 
static int awali::internal::parseint (std::istream &i)
 
static std::string awali::internal::parsestring (std::istream &i)
 
static char awali::internal::peek (std::istream &i)
 peeks the next character More...
 
static std::ostream & awali::internal::tabs (std::ostream &o, int n)
 prints spaces More...
 
std::string awali::json::unescape (std::string const &str)
 

Variables

static std::vector< std::string > const awali::internal::converter = init_converter()
 

Macro Definition Documentation

◆ __SUPPRESS_UNUSED_WARNING__

#define __SUPPRESS_UNUSED_WARNING__ (   a)    (void)a;