235 lines
5.0 KiB
C++
235 lines
5.0 KiB
C++
// OpenSTA, Static Timing Analyzer
|
|
// Copyright (c) 2019, Parallax Software, Inc.
|
|
//
|
|
// This program 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.
|
|
//
|
|
// This program 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 <https://www.gnu.org/licenses/>.
|
|
|
|
#include <limits>
|
|
#include <ctype.h>
|
|
#include <stdio.h>
|
|
#include <mutex>
|
|
#include "Machine.hh"
|
|
#include "Mutex.hh"
|
|
#include "StringUtil.hh"
|
|
|
|
namespace sta {
|
|
|
|
static void
|
|
stringPrintTmp(const char *fmt,
|
|
va_list args,
|
|
// Return values.
|
|
char *&str,
|
|
size_t &length);
|
|
static void
|
|
getTmpString(// Return values.
|
|
char *&str,
|
|
size_t &length);
|
|
|
|
char *
|
|
stringCopy(const char *str)
|
|
{
|
|
if (str) {
|
|
char *copy = new char[strlen(str) + 1];
|
|
strcpy(copy, str);
|
|
return copy;
|
|
}
|
|
else
|
|
return nullptr;
|
|
}
|
|
|
|
bool
|
|
isDigits(const char *str)
|
|
{
|
|
for (const char *s = str; *s; s++) {
|
|
if (!isdigit(*s))
|
|
return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////
|
|
|
|
char *
|
|
integerString(int number)
|
|
{
|
|
return stringPrint("%d", number);
|
|
}
|
|
|
|
// print for c++ strings.
|
|
void
|
|
stringPrint(string &str,
|
|
const char *fmt,
|
|
...)
|
|
{
|
|
va_list args;
|
|
va_start(args, fmt);
|
|
char *tmp;
|
|
size_t tmp_length;
|
|
stringPrintTmp(fmt, args, tmp, tmp_length);
|
|
va_end(args);
|
|
str = tmp;
|
|
}
|
|
|
|
string
|
|
stdstrPrint(const char *fmt,
|
|
...)
|
|
{
|
|
va_list args;
|
|
va_start(args, fmt);
|
|
char *tmp;
|
|
size_t tmp_length;
|
|
stringPrintTmp(fmt, args, tmp, tmp_length);
|
|
va_end(args);
|
|
return tmp;
|
|
}
|
|
|
|
char *
|
|
stringPrint(const char *fmt,
|
|
...)
|
|
{
|
|
va_list args;
|
|
va_start(args, fmt);
|
|
char *result = stringPrintArgs(fmt, args);
|
|
va_end(args);
|
|
return result;
|
|
}
|
|
|
|
char *
|
|
stringPrintArgs(const char *fmt,
|
|
va_list args)
|
|
{
|
|
char *tmp;
|
|
size_t tmp_length;
|
|
stringPrintTmp(fmt, args, tmp, tmp_length);
|
|
char *result = new char[tmp_length + 1];
|
|
strcpy(result, tmp);
|
|
return result;
|
|
}
|
|
|
|
char *
|
|
stringPrintTmp(const char *fmt,
|
|
...)
|
|
{
|
|
va_list args;
|
|
va_start(args, fmt);
|
|
char *tmp;
|
|
size_t tmp_length;
|
|
stringPrintTmp(fmt, args, tmp, tmp_length);
|
|
va_end(args);
|
|
return tmp;
|
|
}
|
|
|
|
static void
|
|
stringPrintTmp(const char *fmt,
|
|
va_list args,
|
|
// Return values.
|
|
char *&tmp,
|
|
// strlen(tmp), not including terminating '\0'.
|
|
size_t &tmp_length)
|
|
{
|
|
size_t tmp_length1;
|
|
getTmpString(tmp, tmp_length1);
|
|
|
|
va_list args_copy;
|
|
va_copy(args_copy, args);
|
|
// Returned length does NOT include trailing '\0'.
|
|
tmp_length = vsnprint(tmp, tmp_length1, fmt, args_copy);
|
|
va_end(args_copy);
|
|
|
|
if (tmp_length >= tmp_length1) {
|
|
tmp_length1 = tmp_length + 1;
|
|
tmp = makeTmpString(tmp_length1);
|
|
va_copy(args_copy, args);
|
|
tmp_length = vsnprint(tmp, tmp_length1, fmt, args_copy);
|
|
va_end(args_copy);
|
|
}
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////
|
|
|
|
static int tmp_string_count_ = 100;
|
|
static char **tmp_strings_ = nullptr;
|
|
static size_t *tmp_string_lengths_ = nullptr;
|
|
static int tmp_string_next_;
|
|
static std::mutex string_lock_;
|
|
|
|
void
|
|
initTmpStrings()
|
|
{
|
|
size_t initial_length = 100;
|
|
|
|
tmp_strings_ = new char*[tmp_string_count_];
|
|
tmp_string_lengths_ = new size_t[tmp_string_count_];
|
|
for (int i = 0; i < tmp_string_count_; i++) {
|
|
tmp_strings_[i] = new char[initial_length];
|
|
tmp_string_lengths_[i] = initial_length;
|
|
}
|
|
tmp_string_next_ = 0;
|
|
}
|
|
|
|
void
|
|
deleteTmpStrings()
|
|
{
|
|
if (tmp_strings_) {
|
|
for (int i = 0; i < tmp_string_count_; i++)
|
|
delete [] tmp_strings_[i];
|
|
delete [] tmp_strings_;
|
|
tmp_strings_ = nullptr;
|
|
|
|
delete [] tmp_string_lengths_;
|
|
tmp_string_lengths_ = nullptr;
|
|
}
|
|
}
|
|
|
|
static void
|
|
getTmpString(// Return values.
|
|
char *&str,
|
|
size_t &length)
|
|
{
|
|
UniqueLock lock(string_lock_);
|
|
if (tmp_string_next_ == tmp_string_count_)
|
|
tmp_string_next_ = 0;
|
|
str = tmp_strings_[tmp_string_next_];
|
|
length = tmp_string_lengths_[tmp_string_next_];
|
|
tmp_string_next_++;
|
|
}
|
|
|
|
char *
|
|
makeTmpString(size_t length)
|
|
{
|
|
UniqueLock lock(string_lock_);
|
|
if (tmp_string_next_ == tmp_string_count_)
|
|
tmp_string_next_ = 0;
|
|
char *tmp_str = tmp_strings_[tmp_string_next_];
|
|
size_t tmp_length = tmp_string_lengths_[tmp_string_next_];
|
|
if (tmp_length < length) {
|
|
// String isn't long enough. Make a new one.
|
|
stringDelete(tmp_str);
|
|
tmp_str = new char[length];
|
|
tmp_strings_[tmp_string_next_] = tmp_str;
|
|
tmp_string_lengths_[tmp_string_next_] = length;
|
|
}
|
|
tmp_string_next_++;
|
|
return tmp_str;
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////
|
|
|
|
void
|
|
trimRight(string &str)
|
|
{
|
|
str.erase(str.find_last_not_of(" ") + 1);
|
|
}
|
|
|
|
} // namespace
|