aggregatefunctexpression.h

Go to the documentation of this file.

/*
 | Author: Michael Schmidt;
 |         Gunnar Jehl 
 |
 | ************************* SOFTWARE LICENSE AGREEMENT ***********************
 | This source code is published under the BSD License.
 |
 | See file 'LICENSE.txt' that comes with this distribution or
 | http://dbis.informatik.uni-freiburg.de/index.php?project=GCX/license.php
 | for the full license agreement.
 |
 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 | ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 | LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 | CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 | SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 | INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 | ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 | POSSIBILITY OF SUCH DAMAGE.
 | ****************************************************************************
*/

#ifndef AGGREGATEFUNCTEXPRESSION_H
#define AGGREGATEFUNCTEXPRESSION_H

#include <iomanip>
#include "operandexpression.h"
#include "varstepexpression.h"
#include "forexpression.h"
#include "miscfunctions.h"

class AggregateFunctExpression:public OperandExpression {

  public:
    AggregateFunctExpression(EXP_TYPE _type, VarExpression * _var);

     AggregateFunctExpression(EXP_TYPE _type, VarStepExpression * _varstep);

     virtual ~ AggregateFunctExpression();

    virtual void scopeCheck(vector < unsigned >&def_vars,
                            vector < unsigned >&introduced_vars,
                            vector < unsigned >&violating_vars);

    virtual void replaceVarId(unsigned old_id, unsigned new_id);

    virtual void extractFSAMap(FSAMap * fsamap, unsigned parent_var);

    virtual void extractParVarMap(ParVarMap * parvarmap);

    virtual void extractDependencies(vector < DependencySet * >*depset);

    virtual Expression *placeSignOffs(vector < SignOffExpression * >&signoffs);

    void rewriteAggregateFuncts();

    virtual void print(OutputStream & dos) const;

    virtual void init(BufferNode * root);

    virtual void eval(OutputStream & eos, Environment * env, unsigned modus) =
        0;

    inline bool isSingleValued() {
        return true;
    } virtual void prepareOperand(OutputStream & eos, Environment * env,
                                    unsigned modus);

    inline void unprepareOperand() {
        initial = true;
    }

    virtual Value *getNextValue();

  private:
    virtual long double calculateValue(OutputStream & eos, Environment * env,
                                       unsigned modus, bool & empty_sequence) =
        0;

  protected:
    VarExpression * var;

    VarStepExpression *varstep;

    ForExpression *forexp;

    BufferIterator *bit;
};

#endif // AGGREGATEFUNCTEXPRESSION_H

---