コード例 #1
0
ファイル: Symbol.cpp プロジェクト: Jansuns/Robust-first
  const std::string Symbol::getMangledName()
  {
       std::ostringstream mangled;
       std::string nstr = m_state.getDataAsStringMangled(getId());

       mangled << getMangledPrefix() << nstr.c_str();
       return mangled.str();
  }
コード例 #2
0
ファイル: SymbolConstantValue.cpp プロジェクト: elenasa/ULAM
  const std::string SymbolConstantValue::getMangledName()
  {
    if(m_state.isScalar(getUlamTypeIdx()))
      return Symbol::getMangledName();

    std::ostringstream mangled;
    std::string nstr = m_state.getDataAsStringMangled(getId());
    mangled << getMangledPrefix() << nstr.c_str();
    return mangled.str();
  } //getMangledName