Method VisitFunctionCall

avida-core/source/script/cSemanticASTVisitor.cc:680–773

void cSemanticASTVisitor::VisitFunctionCall(cASTFunctionCall& node)
{
  if (m_fun_def_arg) {
    SEMANTIC_ERROR(FUNCTION_DEFAULT_CALL_INVALID);
    return;
  }
  
  const cASFunction* libfun = NULL;
  int fun_id = -1;
  bool global = false;

  if (m_library->LookupFunction(node.GetName(), libfun)) {
    // Check function parameters for match to the signature
    cASTArgumentList* args = node.GetArguments();
    if (args && libfun->GetArity() == args->GetSize()) { 
      bool err = false;
      tListIterator<cASTNode> cit = node.GetArguments()->Iterator();
      cASTNode* an = NULL;
      for (int i = 0; i < libfun->GetArity(); i++) {
        an = cit.Next();
        an->Accept(*this);
        
        ASType_t in_type = an->GetType().type;
        ASType_t out_type = libfun->GetArgumentType(i).type;
        if (valid_cast[in_type][out_type]) {
          if ((in_type == TYPE(FLOAT) && out_type == TYPE(INT)) || (in_type == TYPE(INT) && out_type == TYPE(CHAR))) 
            SEMANTIC_WARNING(LOSS_OF_PRECISION, mapType(in_type), mapType(out_type)); 
        } else { 
          if (!err) {
            SEMANTIC_ERROR(FUNCTION_CALL_SIGNATURE_MISMATCH, (const char*)node.GetName());
            err = true;
          }
          SEMANTIC_ERROR(CANNOT_CAST, mapType(in_type), mapType(out_type)); 
        }
      }
    } else if (libfun->GetArity()) {
      SEMANTIC_ERROR(FUNCTION_CALL_SIGNATURE_MISMATCH, (const char*)node.GetName());
    }
    
    node.SetASFunction(libfun);
    node.SetType(libfun->GetReturnType());
    
  } else if (lookupFunction(node.GetName(), fun_id, global)) {
    cASTVariableDefinitionList* sig = (global ? m_global_symtbl : m_cur_symtbl)->GetFunctionSignature(fun_id);
    
    // Check function parameters for match to the signature
    cASTArgumentList* args = node.GetArguments();
    if (args) {
      if (sig && args->GetSize() <= sig->GetSize()) {
        
        bool err = false;
        tListIterator<cASTVariableDefinition> sit = sig->Iterator();
        tListIterator<cASTNode> cit = node.GetArguments()->Iterator();
        cASTNode* an = NULL;
        while ((an = cit.Next())) {
          an->Accept(*this);
          
          ASType_t in_type = an->GetType().type;