summaryrefslogtreecommitdiff
path: root/src/analysis/scan/expr.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/analysis/scan/expr.c')
-rw-r--r--src/analysis/scan/expr.c354
1 files changed, 349 insertions, 5 deletions
diff --git a/src/analysis/scan/expr.c b/src/analysis/scan/expr.c
index 52d2c42..808b14f 100644
--- a/src/analysis/scan/expr.c
+++ b/src/analysis/scan/expr.c
@@ -28,6 +28,8 @@
#include "expr-int.h"
+#include "exprs/literal.h"
+#include "exprs/set.h"
@@ -52,6 +54,9 @@ static void g_scan_expression_finalize(GScanExpression *);
/* Reproduit une expression en place dans une nouvelle instance. */
static void g_scan_expression_copy(GScanExpression *, const GScanExpression *);
+/* Réalise l'intersection entre deux ensembles. */
+static GScanExpression *_g_scan_expression_intersect(GScanExpression *, const GScanExpression *, GScanContext *, GScanScope *);
+
/* ----------------------- INTERFACE OFFRANT DES COMPARAISONS ----------------------- */
@@ -93,7 +98,8 @@ static void g_scan_expression_class_init(GScanExpressionClass *klass)
object->dispose = (GObjectFinalizeFunc/* ! */)g_scan_expression_dispose;
object->finalize = (GObjectFinalizeFunc)g_scan_expression_finalize;
- klass->copy = g_scan_expression_copy;
+ //klass->copy = g_scan_expression_copy;
+ klass->intersect = _g_scan_expression_intersect;
}
@@ -112,6 +118,7 @@ static void g_scan_expression_class_init(GScanExpressionClass *klass)
static void g_scan_expression_init(GScanExpression *expr)
{
+ expr->state = SRS_PENDING;
}
@@ -292,7 +299,7 @@ GScanExpression *g_scan_expression_duplicate(const GScanExpression *expr)
class = G_SCAN_EXPRESSION_GET_CLASS(expr);
- class->copy(result, expr);
+ //class->copy(result, expr);
return result;
@@ -314,7 +321,200 @@ GScanExpression *g_scan_expression_duplicate(const GScanExpression *expr)
* *
******************************************************************************/
-bool g_scan_expression_reduce(GScanExpression *expr, GScanContext *ctx, GScanScope *scope, GScanExpression **out)
+ScanReductionState g_scan_expression_reduce(GScanExpression *expr, GScanContext *ctx, GScanScope *scope, GScanExpression **out)
+{
+ GScanExpressionClass *class; /* Classe à activer */
+
+ if (expr->state == SRS_REDUCED)
+ {
+ *out = expr;
+ g_object_ref(G_OBJECT(expr));
+ }
+
+ else
+ {
+ *out = NULL;
+
+ class = G_SCAN_EXPRESSION_GET_CLASS(expr);
+
+ if (class->reduce != NULL)
+ {
+ expr->state = class->reduce(expr, ctx, scope, out);
+
+ if (expr->state != SRS_UNRESOLVABLE && *out == NULL)
+ {
+ *out = expr;
+ g_object_ref(G_OBJECT(expr));
+ }
+
+ }
+
+ else
+ expr->state = SRS_UNRESOLVABLE;
+
+#ifndef NDEBUG
+ if (*out != NULL)
+ assert(expr->state != SRS_UNRESOLVABLE);
+#endif
+
+ }
+
+ assert(expr->state != SRS_PENDING);
+
+
+ return expr->state;
+
+}
+
+
+/******************************************************************************
+* *
+* Paramètres : expr = expression à consulter. *
+* ctx = contexte de suivi de l'analyse courante. *
+* scope = portée courante des variables locales. *
+* out = zone d'enregistrement de la réduction opérée. [OUT] *
+* *
+* Description : Réduit une expression à une forme booléenne. *
+* *
+* Retour : Bilan de l'opération : false en cas d'erreur irrécupérable. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+bool g_scan_expression_reduce_to_boolean(GScanExpression *expr, GScanContext *ctx, GScanScope *scope, GScanExpression **out)
+{
+ bool result; /* Bilan à retourner */
+ GScanExpression *inter; /* Expression intermédiaire */
+ GScanExpressionClass *class; /* Classe à activer */
+
+ *out = NULL;
+
+ result = g_scan_expression_reduce(expr, ctx, scope, &inter);
+ if (!result) goto exit;
+
+ if (inter != NULL)
+ {
+ class = G_SCAN_EXPRESSION_GET_CLASS(inter);
+
+ if (class->reduce_to_bool != NULL)
+ result = class->reduce_to_bool(inter, ctx, scope, out);
+ else
+ result = false;
+
+ g_object_unref(G_OBJECT(inter));
+
+ /* Validation d'un type booléen */
+ if (result && *out != NULL)
+ {
+ if (!G_IS_SCAN_LITERAL_EXPRESSION(*out))
+ {
+ g_clear_object(out);
+ result = false;
+ }
+
+ if (g_scan_literal_expression_get_value_type(G_SCAN_LITERAL_EXPRESSION(*out)) != LVT_BOOLEAN)
+ {
+ g_clear_object(out);
+ result = false;
+ }
+
+ }
+
+ }
+
+ exit:
+
+#ifndef NDEBUG
+ if (*out != NULL)
+ assert(result);
+#endif
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
+* Paramètres : expr = expression à consulter. *
+* *
+* Description : Détermine si l'expression peut représenter un ensemble. *
+* *
+* Retour : Bilan de la consultation. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+bool g_scan_expression_handle_set_features(const GScanExpression *expr)
+{
+ bool result; /* Bilan à retourner */
+ GScanExpressionClass *class; /* Classe à activer */
+
+ class = G_SCAN_EXPRESSION_GET_CLASS(expr);
+
+ result = (class->count != NULL);
+
+ assert((result && (class->get != NULL)) || (!result && (class->get == NULL)));
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
+* Paramètres : expr = expression à consulter. *
+* count = quantité d'éléments déterminée. [OUT] *
+* *
+* Description : Dénombre les éléments portés par une expression. *
+* *
+* Retour : Bilan de l'opération : false en cas d'erreur irrécupérable. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+bool g_scan_expression_count_items(const GScanExpression *expr, size_t *count)
+{
+ bool result; /* Bilan à retourner */
+ GScanExpressionClass *class; /* Classe à activer */
+
+ *count = -1;
+
+ class = G_SCAN_EXPRESSION_GET_CLASS(expr);
+
+ if (class->count != NULL)
+ result = class->count(expr, count);
+ else
+ result = false;
+
+#ifndef NDEBUG
+ if (*count != -1)
+ assert(result);
+#endif
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
+* Paramètres : expr = expression à consulter. *
+* index = indice de l'élément à transférer. *
+* out = zone d'enregistrement de la réduction opérée. [OUT] *
+* *
+* Description : Fournit un élément donné issu d'un ensemble constitué. *
+* *
+* Retour : Bilan de l'opération : false en cas d'erreur irrécupérable. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+bool g_scan_expression_get_item(const GScanExpression *expr, size_t index, GScanExpression **out)
{
bool result; /* Bilan à retourner */
GScanExpressionClass *class; /* Classe à activer */
@@ -323,7 +523,17 @@ bool g_scan_expression_reduce(GScanExpression *expr, GScanContext *ctx, GScanSco
class = G_SCAN_EXPRESSION_GET_CLASS(expr);
- result = class->reduce(expr, ctx, scope, out);
+ if (class->get != NULL)
+ {
+ result = class->get(expr, index, out);
+
+ if (*out != NULL)
+ g_object_ref(G_OBJECT(*out));
+
+ }
+
+ else
+ result = false;
#ifndef NDEBUG
if (*out != NULL)
@@ -335,6 +545,133 @@ bool g_scan_expression_reduce(GScanExpression *expr, GScanContext *ctx, GScanSco
}
+/******************************************************************************
+* *
+* Paramètres : expr = expression à filtrer. *
+* other = expression utilisée pour le filtrage. *
+* ctx = contexte de suivi de l'analyse courante. *
+* scope = portée courante des variables locales. *
+* *
+* Description : Réalise l'intersection entre deux ensembles. *
+* *
+* Retour : Intersection entre les deux ensembles ou NULL en cas d'échec.*
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+static GScanExpression *_g_scan_expression_intersect(GScanExpression *expr, const GScanExpression *other, GScanContext *ctx, GScanScope *scope)
+{
+ GScanExpression *result; /* Instance à retourner */
+ size_t other_count; /* Taille du second ensemble */
+ bool valid; /* Bilan de validité */
+ size_t expr_count; /* Taille du premier ensemble */
+ size_t k; /* Boucle de parcours #1 */
+ GComparableItem *comparable; /* Premier élément à comparer */
+ size_t i; /* Boucle de parcours #2 */
+ GScanExpression *item; /* Elément à comparer */
+ bool status; /* Bilan d'une comparaison */
+
+ result = NULL;
+
+ valid = g_scan_expression_count_items(other, &other_count);
+ if (!valid) goto done;
+
+ /* Intersection entre deux ensembles ? */
+ if (g_scan_expression_handle_set_features(expr))
+ {
+ valid = g_scan_expression_count_items(expr, &expr_count);
+ if (!valid) goto done;
+
+ result = g_scan_generic_set_new();
+
+ for (k = 0; k < expr_count; k++)
+ {
+ valid = g_scan_expression_get_item(expr, k, &item);
+ if (!valid) break;
+
+ comparable = G_COMPARABLE_ITEM(item);
+
+ for (i = 0; i < other_count; i++)
+ {
+ valid = g_scan_expression_get_item(other, i, &item);
+ if (!valid) break;
+
+ valid = g_comparable_item_compare_rich(comparable, G_COMPARABLE_ITEM(item), RCO_EQ, &status);
+
+ if (valid && status)
+ g_scan_generic_set_add_item(G_SCAN_GENERIC_SET(result), item);
+
+ g_object_unref(G_OBJECT(item));
+
+ }
+
+ g_object_unref(G_OBJECT(comparable));
+
+ }
+
+ }
+
+ /* Intersection entre un élément et un ensemble */
+ else
+ {
+ comparable = G_COMPARABLE_ITEM(expr);
+
+ for (i = 0; i < other_count && result == NULL; i++)
+ {
+ valid = g_scan_expression_get_item(other, i, &item);
+ if (!valid) break;
+
+ valid = g_comparable_item_compare_rich(comparable, G_COMPARABLE_ITEM(item), RCO_EQ, &status);
+
+ if (valid && status)
+ result = g_scan_literal_expression_new(LVT_BOOLEAN, (bool []) { true });
+
+ g_object_unref(G_OBJECT(item));
+
+ }
+
+ if (result && result == NULL)
+ result = g_scan_literal_expression_new(LVT_BOOLEAN, (bool []) { false });
+
+ }
+
+ done:
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
+* Paramètres : expr = expression à filtrer. *
+* other = expression utilisée pour le filtrage. *
+* ctx = contexte de suivi de l'analyse courante. *
+* scope = portée courante des variables locales. *
+* *
+* Description : Réalise l'intersection entre deux ensembles. *
+* *
+* Retour : Intersection entre les deux ensembles ou NULL en cas d'échec.*
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+GScanExpression *g_scan_expression_intersect(GScanExpression *expr, const GScanExpression *other, GScanContext *ctx, GScanScope *scope)
+{
+ GScanExpression *result; /* Instance à retourner */
+ GScanExpressionClass *class; /* Classe à activer */
+
+ class = G_SCAN_EXPRESSION_GET_CLASS(expr);
+
+ result = class->intersect(expr, other, ctx, scope);
+
+ return result;
+
+}
+
+
/* ---------------------------------------------------------------------------------- */
/* INTERFACE OFFRANT DES COMPARAISONS */
@@ -364,7 +701,14 @@ static bool g_scan_expression_compare_rich(const GScanExpression *item, const GS
class = G_SCAN_EXPRESSION_GET_CLASS(item);
if (class->cmp_rich != NULL)
- result = class->cmp_rich(item, other, op, status);
+ {
+ result = (G_TYPE_FROM_INSTANCE(item) == G_TYPE_FROM_INSTANCE(other)); // FIXME : subtype ? cf. literal ?
+
+ if (result)
+ result = class->cmp_rich(item, other, op, status);
+
+ }
+
else
result = false;
generated by cgit v0.11.2-87-g4458 at 2024-05-18 16:57:22 (GMT)