• Skip to content
  • Skip to link menu
KDE API Reference
  • KDE API Reference
  • kdeedu API Reference
  • KDE Home
  • Contact Us
 

Analitza

  • sources
  • kde-4.14
  • kdeedu
  • analitza
  • analitza
expressiontypechecker.h
Go to the documentation of this file.
1 /*************************************************************************************
2  * Copyright (C) 2010 by Aleix Pol <aleixpol@kde.org> *
3  * *
4  * This program is free software; you can redistribute it and/or *
5  * modify it under the terms of the GNU General Public License *
6  * as published by the Free Software Foundation; either version 2 *
7  * of the License, or (at your option) any later version. *
8  * *
9  * This program is distributed in the hope that it will be useful, *
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of *
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
12  * GNU General Public License for more details. *
13  * *
14  * You should have received a copy of the GNU General Public License *
15  * along with this program; if not, write to the Free Software *
16  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA *
17  *************************************************************************************/
18 
19 #ifndef EXPRESSIONTYPECHECKER_H
20 #define EXPRESSIONTYPECHECKER_H
21 
22 #include "abstractexpressionvisitor.h"
23 #include "analitzaexport.h"
24 #include "expressiontype.h"
25 #include <QStack>
26 #include <QStringList>
27 #include <QSet>
28 
29 namespace Analitza
30 {
31 class Variables;
32 class Expression;
33 
34 class ANALITZA_EXPORT ExpressionTypeChecker : public AbstractExpressionVisitor
35 {
36  public:
37  ExpressionTypeChecker(Variables* v);
38 
39  ExpressionType check(const Expression& exp);
40 
41  virtual QVariant visit(const Operator* var);
42  virtual QVariant visit(const Ci* var);
43  virtual QVariant visit(const Cn* var);
44  virtual QVariant visit(const Container* var);
45  virtual QVariant visit(const Vector* var);
46  virtual QVariant visit(const List* l);
47  virtual QVariant visit(const Matrix* c);
48  virtual QVariant visit(const Analitza::MatrixRow* m);
49  virtual QVariant visit(const Apply* a);
50  virtual QVariant visit(const CustomObject* c);
51 
52  virtual QVariant result() const { return QVariant(); }
53 
54  QStringList dependencies() const { return m_deps; }
55  bool hasDependencies() const { return !m_deps.isEmpty(); }
56  bool isCorrect() const { return m_err.isEmpty() && !current.isError(); }
57  QStringList errors() const;
58 
59  void initializeVars(const QMap<QString, ExpressionType>& types) { m_vars=types; }
60  QMap<QString, ExpressionType> variablesTypes() const;
61 
62  private:
63  ExpressionType tellTypeIdentity(const QString& name, const ExpressionType& type);
64  ExpressionType solve(const Operator* o, const QVector<Object*>& parameters);
65  bool inferType(const ExpressionType& c, const ExpressionType& targetType, QMap<QString, ExpressionType>* assumptions);
66  QList<ExpressionType> computePairs(const QList<ExpressionType>& options, const ExpressionType& param);
67 
68  QMap<QString, ExpressionType> typeIs(const Object* o, const ExpressionType& type);
69  template <class T>
70  QMap<QString, ExpressionType> typeIs(T it, const T& itEnd, const ExpressionType& type);
71 
72  template <class T>
73  QVariant visitListOrVector(const T* v, ExpressionType::Type t, int size);
74 
75  ExpressionType typeForVar(const QString& var);
76 
77  void addError(const QString& err);
78  ExpressionType commonType(const QList<Object*>& values);
79  bool isVariableDefined(const QString& id) const;
80 
81  uint m_stars;
82  QList<QStringList> m_err;
83  QStringList m_calculating;
84  ExpressionType current;
85  Variables* m_v;
86  QMap<QString, ExpressionType> m_typeForBVar;
87  QMap<QString, ExpressionType> m_vars;
88  QSet<QString> m_lambdascope;
89  QStack<const Object*> m_calls;
90  QStringList m_deps;
91 };
92 
93 }
94 
95 #endif // EXPRESSIONTYPECHECKER_H
Analitza::AbstractExpressionVisitor
Definition: abstractexpressionvisitor.h:49
Analitza::ExpressionTypeChecker
Definition: expressiontypechecker.h:34
Analitza::ExpressionType::Type
Type
Just use undefined type when returning from a recursion.
Definition: expressiontype.h:34
Analitza::ExpressionTypeChecker::result
virtual QVariant result() const
Definition: expressiontypechecker.h:52
Analitza::ExpressionTypeChecker::initializeVars
void initializeVars(const QMap< QString, ExpressionType > &types)
Definition: expressiontypechecker.h:59
Analitza::ExpressionTypeChecker::hasDependencies
bool hasDependencies() const
Definition: expressiontypechecker.h:55
QMap
Analitza::Cn
Cn is a value in MathML.
Definition: value.h:42
Analitza::Operator
Is the operator representation in the trees.
Definition: operator.h:36
Analitza::CustomObject
Definition: customobject.h:39
Analitza::MatrixRow
Definition: matrix.h:29
Analitza::Ci
A variable object, name refers to MathML standard.
Definition: variable.h:34
Analitza::Vector
Definition: vector.h:34
expressiontype.h
Analitza::Matrix
Definition: matrix.h:38
Analitza::ExpressionType
Definition: expressiontype.h:30
abstractexpressionvisitor.h
QSet< QString >
QString
QList
QStringList
Analitza::ExpressionTypeChecker::isCorrect
bool isCorrect() const
Definition: expressiontypechecker.h:56
Analitza::Variables
Stores the variables in a hash map and make them available.
Definition: variables.h:42
analitzaexport.h
Analitza::Container
Container represents special tags of MathML called containers.
Definition: container.h:44
Analitza::Object
Definition: object.h:38
QVector
ANALITZA_EXPORT
#define ANALITZA_EXPORT
Definition: analitzaexport.h:31
Analitza::Expression
Represents a mathematical expression.
Definition: expression.h:45
Analitza::ExpressionTypeChecker::dependencies
QStringList dependencies() const
Definition: expressiontypechecker.h:54
Analitza::List
Definition: list.h:34
Analitza::Apply
This class is the one that will correspond to MathML apply tags.
Definition: apply.h:41
QStack
QVariant
This file is part of the KDE documentation.
Documentation copyright © 1996-2020 The KDE developers.
Generated on Mon Jun 22 2020 13:11:37 by doxygen 1.8.7 written by Dimitri van Heesch, © 1997-2006

KDE's Doxygen guidelines are available online.

Analitza

Skip menu "Analitza"
  • Main Page
  • Namespace List
  • Namespace Members
  • Alphabetical List
  • Class List
  • Class Hierarchy
  • Class Members
  • File List
  • File Members
  • Modules
  • Related Pages

kdeedu API Reference

Skip menu "kdeedu API Reference"
  • Analitza
  •     lib
  • kalgebra
  • kalzium
  •   libscience
  • kanagram
  • kig
  •   lib
  • klettres
  • marble
  • parley
  • rocs
  •   App
  •   RocsCore
  •   VisualEditor
  •   stepcore

Search



Report problems with this website to our bug tracking system.
Contact the specific authors with questions and comments about the page contents.

KDE® and the K Desktop Environment® logo are registered trademarks of KDE e.V. | Legal