environment.H

Go to the documentation of this file.

// Copyright 2012, Google Inc.
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
//   * Redistributions of source code must retain the above copyright
//     notice, this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above
//     copyright notice, this list of conditions and the following disclaimer
//     in the documentation and/or other materials provided with the
//     distribution.
//   * Neither the name of Google Inc. nor the names of its
//     contributors may be used to endorse or promote products derived from
//     this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
// -----------------------------------------------------------------------------
//
//

#ifndef RERANKER_ENVIRONMENT_H_
#define RERANKER_ENVIRONMENT_H_

#define VAR_MAP_DEBUG 1

#include <sstream>
#include <vector>

#include "stream-init.H"
#include "stream-tokenizer.H"

namespace reranker {

using std::cerr;
using std::endl;
using std::ostream;
using std::ostringstream;
using std::shared_ptr;
using std::unordered_map;
using std::unordered_set;
using std::vector;

class Environment;

class VarMapBase {
 public:
  VarMapBase(const string &name, Environment *env, bool is_primitive) :
      name_(name), env_(env), is_primitive_(is_primitive) { }

  virtual ~VarMapBase() { }

  virtual bool IsPrimitive() const { return is_primitive_; }

  virtual const string &Name() const { return name_; }

  virtual bool Defined(const string &varname) const = 0;

  virtual void ReadAndSet(const string &varname, StreamTokenizer &st) = 0;

  virtual void Print(ostream &os) const = 0;

  virtual VarMapBase *Copy(Environment *env) const = 0;

 protected:
  void SetMembers(const string &name, Environment *env, bool is_primitive) {
    name_ = name;
    env_ = env;
    is_primitive_ = is_primitive;
  }

  string name_;
  Environment *env_;
  bool is_primitive_;
};

class Environment {
 public:
  virtual ~Environment() { }

  virtual bool Defined(const string &varname) const = 0;

  virtual void ReadAndSet(const string &varname, StreamTokenizer &st,
                          const string type = "") = 0;

  virtual const string &GetType(const string &varname) const = 0;

  virtual VarMapBase *GetVarMap(const string &varname) = 0;

  virtual VarMapBase *GetVarMapForType(const string &type) = 0;

  virtual void Print(ostream &os) const = 0;

  virtual Environment *Copy() const = 0;

  virtual void PrintFactories(ostream &os) const = 0;

  static Environment *CreateEmpty();
};

template <typename T>
class ValueString {
 public:
  string ToString(const T &value) const {
    ostringstream oss;
    oss << value;
    return oss.str();
  }
};

template<>
class ValueString<string> {
 public:
  string ToString(const string &value) const {
    return "\"" + value + "\"";
  }
};

template<>
class ValueString<bool> {
 public:
  string ToString(const bool &value) const {
    return value ? "true" : "false";
  }
};

template<typename T>
class ValueString<shared_ptr<T> > {
 public:
  string ToString(const shared_ptr<T> &value) const {
    ostringstream oss;
    oss << "<" << typeid(shared_ptr<T>).name() << ":" << value.get() << ">";
    return oss.str();
  }
};

template <typename T>
class ValueString<vector<T> > {
 public:
  string ToString(const vector<T> &value) const {
    ostringstream oss;
    oss << "{";
    typename vector<T>::const_iterator it = value.begin();
    ValueString<T> value_string;
    if (it != value.end()) {
      oss << value_string.ToString(*it);
      ++it;
    }
    for (; it != value.end(); ++it) {
      oss << ", " << value_string.ToString(*it);
    }
    oss << "}";
    return oss.str();
  }
};

template <typename T>
class VarMap : public VarMapBase {
 public:
  VarMap(const string &name, Environment *env, bool is_primitive = true) :
      VarMapBase(name, env, is_primitive) { }

  virtual ~VarMap() { }

  // Accessor methods

  bool Get(const string &varname, T *value) const {
    typename unordered_map<string, T>::const_iterator it = vars_.find(varname);
    if (it == vars_.end()) {
      return false;
    } else {
      *value = it->second;
      return true;
    }
  }

  virtual bool Defined(const string &varname) const {
    return vars_.find(varname) != vars_.end();
  }

  void Set(const string &varname, T value) {
    vars_[varname] = value;
  }

  virtual void ReadAndSet(const string &varname, StreamTokenizer &st) {
    if (VAR_MAP_DEBUG >= 1) {
      cerr << "VarMap<" << Name() << ">::ReadAndSet: about to set varname "
           << varname << " of type " << typeid(T).name() << endl;
    }

    // First check if next token is an identifier and is a variable in
    // the environment, set varname to its value.
    if (env_->Defined(st.Peek())) {
      VarMapBase *var_map = env_->GetVarMap(st.Peek());
      VarMap<T> *typed_var_map = dynamic_cast<VarMap<T> *>(var_map);
      if (typed_var_map != NULL) {
        // Finally consume variable.
        string rhs_variable = st.Next();
        T value = T();
        // Retrieve rhs variable's value.
        bool success = typed_var_map->Get(rhs_variable, &value);
        // Set varname to the same value.
        if (VAR_MAP_DEBUG >= 1) {
          cerr << "VarMap<" << Name() << ">::ReadAndSet: setting variable "
               << varname << " to same value as rhs variable " << rhs_variable
               << endl;
        }
        if (success) {
          Set(varname, value);
        } else {
          // Error: we couldn't find the varname in this VarMap.
        }
      } else {
        // Error: inferred or declared type of varname is different
        // from the type of the rhs variable.
      }
    } else {
      T value;
      Initializer<T> initializer(&value);
      initializer.Init(st, env_);
      Set(varname, value);

      if (VAR_MAP_DEBUG >= 1) {
        ValueString<T> value_string;
        cerr << "VarMap<" << Name() << ">::ReadAndSet: set varname "
             << varname << " to value " << value_string.ToString(value)<< endl;
      }
    }
  }

  virtual void Print(ostream &os) const {
    ValueString<T> value_string;
    for (typename unordered_map<string, T>::const_iterator it = vars_.begin();
         it != vars_.end(); ++it) {
      const T& value = it->second;
      os << Name() << " "
         << it->first
         << " = "
         << value_string.ToString(value)
         << ";\n";
    }
    os.flush();
  }

  virtual VarMapBase *Copy(Environment *env) const {
    VarMap<T> *var_map_copy = new VarMap<T>(*this);
    var_map_copy->SetMembers(name_, env, is_primitive_);
    return var_map_copy;
  }
 private:
  unordered_map<string, T> vars_;
};

}  // namespace reranker

#endif