X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/blast.git/blobdiff_plain/7af5c69c22148510cf8f042552018c9b966860cd..fc9f5b8b77edda9e49a35d8ef75c4d71caf1c832:/FunctionalBlock.h

diff --git a/FunctionalBlock.h b/FunctionalBlock.h
index 2cf9a5a..440c154 100644
--- a/FunctionalBlock.h
+++ b/FunctionalBlock.h
@@ -27,10 +27,14 @@ class FunctionalBlock : public AbstractBlock {
 public:
 
   FunctionalBlock(GroupBlock* _parent, ReferenceBlock* _reference) throw(Exception);
-
+  ~FunctionalBlock();
   // getters
   inline ReferenceBlock* getReference() { return reference; }
   inline QList<int> getProductionCounter() { return productionCounter; }
+  inline QMap<AbstractInterface*, QList<char>* > getConsumptionPattern() { return consumptionPattern; }
+  inline QMap<AbstractInterface*, QList<char>* > 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 createDelta();
-  bool createConsumptionPattern(); // initialize a QList<char> for each interface from patterns defined in implementation
-  bool createProductionPattern(); // initialize a QList<char> for each interface from patterns defined in implementation
-  bool createProductionCounter(); // initialize a QList<int> from counter defined in implementation
+  void createPatterns() throw(Exception); // called in Graph, before checking compatibility and computing output pattern
+  void checkInputPatternCompatibility() throw(Exception);
+  void computeOutputPattern(int nbExec = -1) throw(Exception);
+  
+private:  
+  // patterns
+  void createDelta() throw(Exception);
+  void createConsumptionPattern() throw(Exception); // initialize a QList<char> for each interface from patterns defined in implementation
+  void createProductionPattern() throw(Exception); // initialize a QList<char> for each interface from patterns defined in implementation
+  void createProductionCounter() throw(Exception); // initialize a QList<int> from counter defined in implementation
+  void createAdmittance(int nbExec) throw(Exception); // initialize a QList<char> from consumption pattern and delta
   void clearConsumptionPattern();
   void clearProductionPattern();
-  bool computeOutputPattern(int nbExec = -1);
+  void createInputPattern() throw(Exception);
+  void clearInputPattern();
+  int createTriggers(); // compute the clock cycle at which the block is triggered
   
-private:  
-  // patterns    
-  double evaluateExpression(const QString& expression, bool* ok);
-  QList<char>* expandPattern(const QString& patternIn, bool* ok);
-  void expandPatternRecur(const QString& patternIn, int* offset, bool* ok, QList<char> *patternOut);
+  double evaluateExpression(const QString& expression) throw(Exception);
+  QList<char>* expandPattern(const QString& patternIn) throw(Exception);
+  void expandPatternRecur(const QString& patternIn, int* offset, QList<char> *patternOut)  throw(Exception);
+  /*!
+   * \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<AbstractInterface*, QList<char>* >& patternSrc, int srcCol, const QMap<AbstractInterface*, QList<char>* >& patternDest, int destCol);
   /*!
    * \brief canCombinePatterns
    * \param patternSrc the pattern that must be combined with patternDest (patternDest = patternDest OR patternSrc)  
@@ -126,12 +146,18 @@ private:
   void shiftRightPattern(const QMap<AbstractInterface*, QList<char>* >& pattern, int offset);
 
   QMap<AbstractInterface*, QList<char>* > consumptionPattern;
-  QMap<AbstractInterface*, QString > admittance; // the admittance expressed as prologue-cyclic part-eppilogue
-  QMap<AbstractInterface*, QList<char>* > admittanceExpanded; // the admittance expanded by taking into account nb exec.
+  QMap<AbstractInterface*, QString > admittanceCyclic; // the admittance expressed as prologue-cyclic part-eppilogue, deduced from admittance
+  QMap<AbstractInterface*, QList<char>* > admittance; // the admittance taking into account nb exec.
   QMap<AbstractInterface*, QList<char>* > productionPattern;
+  QMap<AbstractInterface*,QList<char>* > inputPattern;
   QMap<AbstractInterface*, QList<char>* > outputPattern; // CAUTION: the QList<char>* must also be stored in the outputPattern attributes of AbstractInterface
-  QList<int> productionCounter; //! only usefull for control output interfaces
-  
+  QList<int> productionCounter; // only usefull for control output interfaces
+  QList<int> triggers; // the clock cycles at which the block is triggered, taking into account IP
+  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;