diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2023-08-06 16:54:57 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2023-08-06 16:54:57 (GMT) |
commit | 4fcc35a52ccb025b6d803d85e017931cd2452960 (patch) | |
tree | e95920f16c273e41f9cae1ea2f02571c221a514e /src/analysis/scan/expr.c | |
parent | 74d062d4ec55d7ac3914bbf64b8b6c5ab52227df (diff) |
Extend the ROST grammar with a first batch of new features.
Diffstat (limited to 'src/analysis/scan/expr.c')
-rw-r--r-- | src/analysis/scan/expr.c | 354 |
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; |