SystemVerilogExpressionParser.h

Go to the documentation of this file.

//-----------------------------------------------------------------------------
// File: SystemVerilogExpressionParser.h
//-----------------------------------------------------------------------------
// Project: Kactus2
// Author: Esko Pekkarinen
// Date: 25.11.2014
//
// Description:
// Parser for SystemVerilog expressions.
//-----------------------------------------------------------------------------
 
#ifndef SYSTEMVERILOGEXPRESSIONPARSER_H
#define SYSTEMVERILOGEXPRESSIONPARSER_H
 
#include "ExpressionParser.h"
 
#include "KactusAPI/KactusAPIGlobal.h"
 
#include <QString>
#include <QMap>
 
//-----------------------------------------------------------------------------
//-----------------------------------------------------------------------------
class KACTUS2_API SystemVerilogExpressionParser : public ExpressionParser
{
public:

    SystemVerilogExpressionParser() = default;

    ~SystemVerilogExpressionParser() override = default;
 
    // Disable copying.
    SystemVerilogExpressionParser(SystemVerilogExpressionParser const& rhs) = delete;
    SystemVerilogExpressionParser& operator=(SystemVerilogExpressionParser const& rhs) = delete;

    QString parseExpression(QStringView expression, bool* validExpression = nullptr) const override;

    virtual bool isArrayExpression(QStringView expression) const noexcept;

    bool isPlainValue(QStringView expression) const override;

    int baseForExpression(QStringView expression) const override;
 
protected:
     
    QString parseConstant(QStringView token) const;

    virtual bool isSymbol(QStringView expression) const;

    virtual QString findSymbolValue(QStringView symbol) const;

    virtual int getBaseForSymbol(QStringView symbol) const;

    static unsigned int operatorPrecedence(QStringView oper);

    virtual bool isUnaryOperator(QStringView token) const;

    virtual QString solveUnary(QStringView operation, QString const& term) const;
 
private:

    static QVector<QStringView> convertToRPN(QString& expression);

    QString solveRPN(QVector<QStringView> rpn, bool* validExpression) const;

    bool isStringLiteral(QStringView expression) const noexcept;

    bool isLiteral(QStringView expression) const;

    bool isBinaryOperator(QStringView token) const;

    bool isTernaryOperator(QStringView token) const;

    QString solveTernary(QStringView condition, QString const& trueCase, QString const& falseCase) const;
 

    QString solveBinary(QStringView operation, QString const& leftTerm, QString const& rightTerm) const;

    QString solveClog2(QString const& value) const;

    QString solveSqrt(QString const& value) const;

    static int precisionOf(QStringView term) noexcept;

    static int baseOf(QStringView constantNumber);
};
 
#endif // SYSTEMVERILOGEXPRESSIONPARSER_H