X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/blast.git/blobdiff_plain/7af5c69c22148510cf8f042552018c9b966860cd..84eeae848c9d322ea4c935b8ec7338f69becbc10:/FunctionalBlock.h diff --git a/FunctionalBlock.h b/FunctionalBlock.h index 2cf9a5a..f27bef6 100644 --- a/FunctionalBlock.h +++ b/FunctionalBlock.h @@ -31,6 +31,10 @@ public: // getters inline ReferenceBlock* getReference() { return reference; } inline QList getProductionCounter() { return productionCounter; } + inline QMap* > getConsumptionPattern() { return consumptionPattern; } + inline QMap* > getProductionPattern() { return productionPattern; } + inline int getConsumptionPatternLength() { return lengthCP; } + inline int getProductionPatternLength() { return lengthPP; } inline int getDelta() { return delta; } // setters @@ -52,20 +56,36 @@ public: QString getReferenceHashMd5(); // patterns - bool createPatterns(); + bool createPatterns(); // called in Graph, before checking compatibility and computing output pattern + bool checkInputPatternCompatibility(); + bool computeOutputPattern(int nbExec = -1); + +private: + // patterns bool createDelta(); bool createConsumptionPattern(); // initialize a QList for each interface from patterns defined in implementation bool createProductionPattern(); // initialize a QList for each interface from patterns defined in implementation bool createProductionCounter(); // initialize a QList from counter defined in implementation + bool createAdmittance(int nbExec); // initialize a QList from consumption pattern and delta void clearConsumptionPattern(); void clearProductionPattern(); - bool computeOutputPattern(int nbExec = -1); + void createInputPattern(); + void clearInputPattern(); + int getNumberOfExecution(); // compute number of block execution from inputPattern and delta -private: - // patterns double evaluateExpression(const QString& expression, bool* ok); QList* expandPattern(const QString& patternIn, bool* ok); void expandPatternRecur(const QString& patternIn, int* offset, bool* ok, QList *patternOut); + /*! + * \brief samePatterns + * \param patternSrc the pattern that must be tested with patternDest (is patternDest == patternDest) + * \param srcCol the column index within patternSrc + * \param patternDest the pattern that must be tested with patternSrc + * \param destCol the column index within patternDest + * BEWARE: this method returns as soons as there is an acces problem (i.e. out of list range, impossible combine, ...) + leaving the dest pattern in an inconsistent state. Thus, it is a good idea to call canCombine before. + */ + bool samePatterns(const QMap* >& patternSrc, int srcCol, const QMap* >& patternDest, int destCol); /*! * \brief canCombinePatterns * \param patternSrc the pattern that must be combined with patternDest (patternDest = patternDest OR patternSrc) @@ -126,12 +146,17 @@ private: void shiftRightPattern(const QMap* >& pattern, int offset); QMap* > consumptionPattern; - QMap admittance; // the admittance expressed as prologue-cyclic part-eppilogue - QMap* > admittanceExpanded; // the admittance expanded by taking into account nb exec. + QMap admittanceCyclic; // the admittance expressed as prologue-cyclic part-eppilogue, deduced from admittance + QMap* > admittance; // the admittance taking into account nb exec. QMap* > productionPattern; + QMap* > inputPattern; QMap* > outputPattern; // CAUTION: the QList* must also be stored in the outputPattern attributes of AbstractInterface QList productionCounter; //! only usefull for control output interfaces - + int lengthIP; // for convenience, set in createInputPattern() + int lengthCP; // for convenience, set in createConsumptionPattern() + int lengthAP; // for convenience, set in createAdmittance() + int lengthPP; // for convenience, set in createProductionPattern() + int lengthOP; // for convenience, set in computeOutputPattern() int delta; ArithmeticEvaluator* evaluator;