C++ (Cpp) T_getAllKeys Beispiele

Beispiel #1

ATermList TS_getAllKeys(const char * name)
{
  Table table = TS_getTable(name);

  if (table != NULL) {
    return T_getAllKeys(table);
  }

  return ATempty;
}

Beispiel #2

ATermList T_getAllKeyValuePairs(Table table)
{
  ATermList keys = T_getAllKeys(table);
  ATermList pairs;

  for (pairs = ATempty; !ATisEmpty(keys); keys = ATgetNext(keys)) {
    ATerm key = ATgetFirst(keys);
    ATerm value = T_getValue(table, key);
    ATermList pair = ATmakeList2(key, value);

    pairs = ATinsert(pairs, (ATerm) pair);
  }

  return pairs;
}