C++ (Cpp) muASFToTree示例

示例#1

PT_Tree ASC_get_anno(ATerm type, ATerm aterm, ATerm akey)
{
  PT_Tree term = muASFToTree(aterm);
  PT_Tree key = muASFToTree(akey);

  return get_anno(term, key);
}

示例#2

PT_Tree ASC_set_anno(ATerm type, ATerm aterm, ATerm akey, ATerm avalue)
{
  PT_Tree term = muASFToTree(aterm);
  PT_Tree key = muASFToTree(akey);
  PT_Tree value = muASFToTree(avalue);

  return set_anno(term, key, value);
}

示例#3

PT_Tree ASC_get_lex_term_anno(ATerm type, ATerm aterm, ATerm akey)
{
  PT_Tree term = muASFToTree(aterm);
  PT_Tree key = muASFToTree(akey);
  PT_Tree value = NULL;
  
  value = get_lex_term_anno(term, key);
  
  if (value != NULL) {
    return value;
  }

  return PT_makeTreeLit("TODO: return a proper normal form");
}

示例#4

PT_Tree ASC_set_term_anno(ATerm type, ATerm aTerm, ATerm aKey, ATerm aAnno)
{
  PT_Tree term = muASFToTree(aTerm);
  PT_Tree key = muASFToTree(aKey);
  PT_Tree anno = muASFToTree(aAnno);
  PT_Tree value = NULL;
  
  value = set_term_anno(term, key, anno);
  
  if (value != NULL) {
    return value;
  }

  return term;
}

示例#5

PT_Tree ASC_implode(ATerm type, ATerm input)
{
  PT_Tree tree = muASFToTree(input);

  return implode_tree(tree);
}