/[ascend]/trunk/base/generic/compiler/instantiate.c

Diff of /trunk/base/generic/compiler/instantiate.c

Parent Directory | Revision Log | View Patch Patch

-revision 838 by johnpye,
Fri Jul 14 04:31:54 2006 UTC
+revision 839 by johnpye,
Fri Sep  8 07:46:53 2006 UTC
 Line 174 
 long int g_compiler_counter = 1;
           changing the instance tree is executed.
           At present the compiler cares nothing about this counter,
           but it is provided as a service to clients.
      Real applications:
 ) This variable is used for keeping track of calls to
      the compiler which will create the need for a total solver system
 Line 361 
 void WriteUnexecutedMessage(FILE *f, str
  /**
      Write Unexecuted Error Message in Pass 3 WUEMPASS3
      This code will emit error messages only on the last
      iteration of pass3 when trying to clear pending statements.
      g_iteration is the global iteration counter, and PASS3MAXNUMBER
 Line 866 
 struct IndexType *MakeIndex(struct Insta
      default:
        STATEMENT_ERROR(stat, "Unknown result value type in MakeIndex.\n");
        Asc_Panic(2, NULL, "Unknown result value type in MakeIndex.\n");
      }
    } else { /* checking subscripts on dense ALIASES/param'd IS_A statement */
      if (sptr==NULL) {
 Line 894 
 struct IndexType *MakeIndex(struct Insta
        DestroyValue(&value);
        STATEMENT_ERROR(stat, "Bad index to dense alias array");
        Asc_Panic(2, NULL, "Bad index to dense alias array");
      }
      /* return NULL; */  /* unreachable */
    }
 Line 1062 
 struct Instance *DoNextArray(struct Inst
      return NULL;
    default:
      Asc_Panic(2, NULL ,"Unknown result value type.\n");
    }
  }
 Line 1112 
 struct Instance *AddArrayChild(struct In
      This function returns the child pointer because relation functions
      need it, not because the child is unconnected.
      If rhsinst is not NULL, uses rhsinst instead of creating new one.
      If rhslist is not NULL, uses rhslist instead of rhsinst or creating.
 Line 1431 
 symchar *UniquifyString(char *s, struct
      }
      Asc_Panic(2, NULL,
                "Unable to generate unique compound alias subscript.\n");
    } else {
      ascfree(s);
      return tmp;
 Line 1892 
 int ArgValuesUnassigned(struct Instance
      If needed, args will be expanded, but if you know the length
      to expect, make args of that size before calling and this
      will be faster.
      This does not go into the expressions (which may contain other
      sets themselves) of the set nodes and disassemble them.
      The list may be safely destroyed, but its contents should not
      be destroyed with it as they belong to something else in all
      likelihood.
      @TODO This function should be moved into a set header someplace.
  */
  static
 Line 2220 
 int ArgValueCorrect(struct Instance *ins
  /**
      evaluate a logical or real relation and see that it is satisfied.
      @BUG baa. needs to be exception safe and is not.
      returns MPIOK (satisfied)
 Line 2229 
 int ArgValueCorrect(struct Instance *ins
      returns MPIWAIT (not yet determinable)
      returns MPIEXCEP (evaluation is impossible due to float/other error)
      returns MPINOTBOOL (dissatisfied- nonboolean result)
      @param statement should be a rel or logrel.
  */
  static
 Line 2368 
 int InsertParameterInst(struct Instance
    } else {          /* unknown name */
      STATEMENT_ERROR(statement, "Unknown parameter name.  Never should happen");
      Asc_Panic(2, NULL, "Unknown parameter name.  Never should happen");
    }
  }
 Line 2384 
 void DestroyParameterInst(struct Instanc
    DestroyInstance(i,NULL);
  }
  /**
      destroys everything you send it. If you send some arguments in
      as null, we don't mind.
  */
 Line 2550 
 int MPIMakeSimple(struct Instance *paren
      the more likely to fail steps first.
      A successful return value is 1.
      A failure possibly to succeed later is 0.
      Possible causes will be detailed via the WriteUnexecutedMessage
      facility.
 Line 2559 
 int MPIMakeSimple(struct Instance *paren
      Causes will be detailed via the WSEM facility, in addition return
      values < 0 have the interpretations given in g_mpi_message[-value]
      above.
      @NOTE assumes statement is well formed, in terms of
      arglist of IS_A/IS_REFINED_TO (if there is one) being of correct length.
      returns fairly quickly for nonmodel and nonparametric
 Line 3216 
 struct parpendingentry {
  /**
      returns a single instance, if such can be properly derived
      from the name given.
      Returns NULL if too many or no instances are found.
      Probably ought to have a return code, but doesn't.
  */
 Line 3698 
 void ConfigureInstFromArgs(struct Instan
      At this point there can be no alias children -- all
      are either WILL_BE or IS_A of constants/arrays, so far as
      arginst is concerned.
      This must only be called with models when arginst !=NULL.
      arginst == NULL --> immediate, no action return.
      inst is expected to be of same type as arginst.
 Line 4134 
 void MakeDummyInstance(CONST struct Name
      Used for IS_A statement inside a non-matching CASE of a
      SELECT statement.
      Make a dummy instance for each name in vlisti, but arrays are not expanded
      over subscripts. The dummy instance is UNIVERSAL.
  */
  static
 Line 4217 
 int ExecuteREF(struct Instance *inst, st
      If problem, returns NULL and err should be consulted.
      Note this may have some angst around FOR vars, as it
      should since forvars are not instances.
      Lint is precluding passing a forvar where an instance is required.
      err should only be consulted if result comes back NULL.
 Line 4250 
 struct gl_list_t *FindArgInsts(struct In
  }
  /**
      Find instances: Make sure at least one thing is found for each name item
      on list (else returned list will be NULL) and return the collected instances.
  */
  static
 Line 4875 
 int ExecuteREL(struct Instance *inst, st
          Asc_Panic(2, NULL, "Incorrect error response.\n");/*NOTREACHED*/
        default:
          Asc_Panic(2, NULL, "Unknown error response.\n");/*NOTREACHED*/
        }
      }
  #ifdef DEBUG_RELS
 Line 5166 
 int ExecuteLOGREL(struct Instance *inst,
            return 0;
        case lokay:
          Asc_Panic(2, NULL, "Incorrect error response.\n");/*NOTREACHED*/
        default:
          Asc_Panic(2, NULL, "Unknown error response.\n");/*NOTREACHED*/
        }
      }
    } else{
 Line 5402 
 static struct Instance *CheckExtCallData
  }
  /**
      This function does the job of creating an instance of a 'black box'
      external relation or set of relations.
  */
  static int ExecuteBlackBoxEXT(struct Instance *inst
 Line 6811 
 int CheckFNAME(struct Instance *inst, st
  /**
      Only logrelations and FOR loops of logrelations are allowed inside a
      conditional statement in Pass3. This function ask for recursively
      checking these statements
  */
  static
  int Pass3CheckCondStatements(struct Instance *inst,
 Line 6849 
 int Pass3CheckCondStatements(struct Inst
  }
  /**
      Checking the statement list inside a CONDITIONAL statement in Pass3
  */
  static
  int Pass3CheckCOND(struct Instance *inst, struct Statement *statement)
 Line 7386 
 int CheckWHEN(struct Instance *inst, str
  }
  /* - - - - - - - - - - - - -
      Check SELECT Functions
  */
 Line 7463 
 int CheckSelectStatementList(struct Inst
  /**
      Current checking of the Select statement starts here.
      Checking that the values of the set of values of each CASE of a
      SELECT statement are appropriate. This is, they
      are symbol, integer or boolean. The first part of the
 Line 8467 
 void MakeWhenReference(struct Instance *
  /**
      creating list of reference for each CASE in a WHEN: (3) nested WHENs,
      nested FOR loops etc.
  */
  static
  void MakeWhenCaseReferences(struct Instance *inst,
 Line 9494 
 void ExecuteDefaultsInSELECTStat(struct
      the possibility of different assignments to the same variable in
      different cases of the select. I need to execute only those in
      cases mathing the selection variables.
      @TODO It is becoming annoying to have so similar functions, I need
      to create a robust and general function which considers all the
      possible applications.
 Line 9682 
 int Pass3ExecuteForStatements(struct Ins
  /**
      @NOTE this function must not be called until all the rel,ext
      statements in sl pass their checks.
      This is because if any of the Executes fail
      (returning 0) we abort (at least when assert is active).
      @TODO This should be changed.
  */
  static
 Line 10712 
 int Pass3RealCheckFOR (struct Instance *
  }
  /**
      a currently unused function, with therefore unused subsidiary functions
  */
  static
 Line 12374 
 struct Instance *NewInstantiateModel(str
  /**
      @return 1 if the type is uninstantiable as a sim or 0 otherwise
  */
  static
  int ValidRealInstantiateType(struct TypeDescription *def)
 Line 12410 
 int ValidRealInstantiateType(struct Type
      return 1;
    default:
      Asc_Panic(2, NULL, "Unknown definition type.\n");           /*NOTREACHED*/
    }
  }
 Line 12457 
 struct Instance *NewRealInstantiate(stru
      return NULL; /* how did we get here? */
    default:
      Asc_Panic(2, NULL, "Unknown definition type.\n");   /*NOTREACHED*/
    }
  }

 Legend:



Removed from v.838
 


changed lines


 
Added in v.839
 Legend:



Removed from v.838
 


changed lines


 
Added in v.839
-Removed from v.838
+Added in v.839

john.pye@anu.edu.au	ViewVC Help
Powered by ViewVC 1.1.22