lyx_mirror/src/support/translator.h

// -*- C++ -*-
/* This file is part of
 * =================================================
 * 
 *          LyX, The Document Processor
 *          Copyright 1995 Matthias Ettrich.
 *          Copyright 1995-2000 The LyX Team.
 *
 *          This file Copyright 2000 Baruch Even
 * ================================================= */

#ifndef TRANSLATOR_H
#define TRANSLATOR_H

#include <vector>
#include <utility>
#include <algorithm>
#include <functional>

#include "support/LAssert.h"
#include "support/lyxfunctional.h"
/** This class template is used to translate between two elements, specifically
    it was worked out to translate between an enum and strings when reading
    the lyx file.
    
    The two template arguments should be of different types.
*/
template<typename T1, typename T2>
class Translator {
public:
	///
	typedef T1 first_argument_type;
	///
	typedef T2 second_argument_type;
	///
	typedef std::pair<T1, T2> MapPair;
	///
	typedef std::vector<MapPair> Map;
	
	///
	Translator(T1 const & t1, T2 const & t2) 
		: default_t1(t1), default_t2(t2) 
		{}
	
	/// Add a mapping to the translator.
	void addPair(T1 const & first, T2 const & second) {
		map.push_back(MapPair(first, second));
	}
	
	/// Find the mapping for the first argument
	T2 const & find(T1 const & first) const {
		Assert(!map.empty());
		
		// For explanation see the next find() function.
		Map::const_iterator it =
			std::find_if(map.begin(), map.end(),
				     equal_1st_in_pair<T1, T2>(first)
				);
		
		if (it != map.end()) {
			return (*it).second;
		} else {
			return default_t2;
		}
	}
	
	/// Find the mapping for the second argument
	T1 const & find(T2 const & second) const {
		Assert(!map.empty());
		
		// The idea is as follows:
		// find_if() will try to compare the data in the vector with
		// the value. The vector is made of pairs and the value has
		// the type of the second part of the pair. 
		// We thus give find_if() an equal_to functor and assign to
		// its second post the value we want to compare. We now
		// compose the equal_to functor with the select2nd functor
		// to take only the second value of the pair to be compared.
		//
		// We can depict it as follows:
		// equal_to( select2nd(pair) , second)
		Map::const_iterator it =
			std::find_if(map.begin(), map.end(),
				     equal_2nd_in_pair<T1, T2>(second)
				);
		
		if (it != map.end())
			return (*it).first;
		else {
			return default_t1;
		}
	}
private:
	///
	Map map;
	///
	T1 const default_t1;
	///
	T2 const default_t2;
};

#endif