model_server/smt/src/smt_ifl.cxx
// ===========================================================================
// Get the AST code based on the node type that appeared in the IF.
// The node type may indicate a symbol kind (e.g. "variable") in which case
// the AST code is DFA_REF_DD.
// Returns AST_IGNORE if it's not a type we're concerned with.
//
Get the AST code based on the node type that appeared in the IF.
The node type may indicate a symbol kind  in which case
the AST code is DFA_REF_DD.
Returns AST_IGNORE if it's not a type we're concerned with.
Get the AST code based on the node type that appeared in the IF . The node type may indicate a symbol kind in which case the AST code is DFA_REF_DD . Returns AST_IGNORE if it ' s not a type we ' re concerned with .
static int dfa_get_ast_code(astnodeStruct* a)
{
  int retval = AST_IGNORE;
  char const *name = a->node;
  if (name)
    {
      Relational* rel = obj_search_by_name(name, *ast_codes);
      if (rel)
	retval = codeAttribute_get_code(rel);
      else
	{
	  ddKind kind = dd_convert_ifl_code(name);
	  if (kind != DD_BUGS)
	    retval = DFA_REF_DD;
	}
    }
  return retval;
}
static int dfa_get_ast_code ( astnodeStruct * a ) { int retval = AST_IGNORE ; char const * name = a -> node ; if ( name ) { Relational * rel = obj_search_by_name ( name , * ast_codes ) ; if ( rel ) retval = codeAttribute_get_code ( rel ) ; else { ddKind kind = dd_convert_ifl_code ( name ) ; if ( kind != DD_BUGS ) retval = DFA_REF_DD ; } } return retval ; }
Get the AST code based on the node type that appeared in the IF.
Get the AST code based on the node type that appeared in the IF .