/usr/include/analitza/expressiontype.h is in libanalitza-dev 4:4.13.0-0ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | /*************************************************************************************
* Copyright (C) 2010 by Aleix Pol <aleixpol@kde.org> *
* *
* This program is free software; you can redistribute it and/or *
* modify it under the terms of the GNU General Public License *
* as published by the Free Software Foundation; either version 2 *
* of the License, or (at your option) any later version. *
* *
* This program is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
* GNU General Public License for more details. *
* *
* You should have received a copy of the GNU General Public License *
* along with this program; if not, write to the Free Software *
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA *
*************************************************************************************/
#ifndef EXPRESSIONTYPE_H
#define EXPRESSIONTYPE_H
#include "analitzaexport.h"
#include <QString>
#include <QList>
#include <QMap>
namespace Analitza
{
class ANALITZA_EXPORT ExpressionType
{
public:
///Just use undefined type when returning from a recursion
enum Type { Error=0, Value, Vector, List, Lambda, Any, Many, Object, Char, Bool, Matrix };
QString toString() const;
ExpressionType(Type t=Error, int any=-1);
ExpressionType(Type t, const ExpressionType& contained, int s=0);
ExpressionType(Type t, const QList<ExpressionType>& alternatives);
/** Constructs a type that identifies a custom Object */
ExpressionType(const QString& objectName);
ExpressionType(const ExpressionType& t);
~ExpressionType() {/* delete contained; */}
bool operator==(const ExpressionType& t) const;
bool operator!=(const ExpressionType& t) const { return !operator==(t); }
ExpressionType operator=(const ExpressionType& et);
/** Depth search to check if it's defined */
bool isError() const;
Type type() const { return m_type; }
ExpressionType contained() const;
QList<ExpressionType> alternatives() const { Q_ASSERT(m_type==Many); return m_contained; }
/** In case it's a Many type, it adds @p t as an alternative. If @p t is a Many type too, they will be merged */
void addAlternative(const ExpressionType& t);
int size() const { return m_size; }
int anyValue() const { return m_any; }
ExpressionType& addParameter(const ExpressionType& t);
QList<ExpressionType> parameters() const { Q_ASSERT(m_type==Lambda); return m_contained; }
QList<ExpressionType>& parameters() { Q_ASSERT(m_type==Lambda); return m_contained; }
ExpressionType returnValue() const;
bool addAssumption(const QString& bvar, const ExpressionType& t);
QMap<QString, ExpressionType> assumptions() const;
QMap<QString, ExpressionType>& assumptions();
ExpressionType assumptionFor(const QString& bvar) const { return m_assumptions.value(bvar); }
void addAssumptions(const QMap< QString, ExpressionType >& a);
void clearAssumptions();
/** Returns a new type with the stars solved according t @p info */
ExpressionType starsToType(const QMap<int, ExpressionType>& info) const;
/** @returns true if the current type can be converted into @p type */
bool canReduceTo(const ExpressionType& type) const;
/**
* @returns false in case that just by looking at the current type we see that it won't be able to be reduced to @p type.
* Useful to improve error reporting
*/
bool canCompareTo(const ExpressionType& type) const;
int increaseStars(int stars);
ExpressionType& simplifyStars();
/** when it's a many type, reduce to the one(s) that can be reduced to */
void reduce(const ExpressionType& type);
/** @returns the name of a custom type */
QString objectName() const;
static ExpressionType minimumType(const ExpressionType& t1, const ExpressionType& t2);
static bool assumptionsMerge(QMap<QString, ExpressionType>& data, const QMap<QString, ExpressionType>& newmap);
static void assumptionsUnion(QMap<QString, ExpressionType>& data, const QMap<QString, ExpressionType>& newmap);
static QMap<int, ExpressionType> computeStars(const QMap<int, ExpressionType>& initial, const ExpressionType& candidate, const ExpressionType& type);
static bool matchAssumptions(QMap<int, ExpressionType>* stars, const QMap<QString, ExpressionType>& assum1, const QMap<QString, ExpressionType>& assum2);
static QStringList wrongAssumptions(const QMap<QString, ExpressionType>& assum1, const QMap<QString, ExpressionType>& assum2);
void removeAssumptions(const QStringList& bvarStrings);
static QList<ExpressionType> lambdaFromArgs(const QList<ExpressionType>& args);
static QList<ExpressionType> manyFromArgs(const QList<ExpressionType>& args);
private:
static void starsSimplification(ExpressionType& t, QMap<int, int>& reductions, int& next);
Type m_type;
///In case of list and vector the inside type
QList<ExpressionType> m_contained;
QMap<QString, ExpressionType> m_assumptions;
union { int m_size; int m_any; };
QString m_objectName;
};
}
Q_DECLARE_TYPEINFO ( Analitza::ExpressionType, Q_MOVABLE_TYPE);
#endif // EXPRESSIONTYPE_H
|