summaryrefslogtreecommitdiff
path: root/src/decomp/expr/cond.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/decomp/expr/cond.c')
-rw-r--r--src/decomp/expr/cond.c461
1 files changed, 0 insertions, 461 deletions
diff --git a/src/decomp/expr/cond.c b/src/decomp/expr/cond.c
deleted file mode 100644
index c0b3f83..0000000
--- a/src/decomp/expr/cond.c
+++ /dev/null
@@ -1,461 +0,0 @@
-
-/* Chrysalide - Outil d'analyse de fichiers binaires
- * cond.c - représentation des conditions
- *
- * Copyright (C) 2010-2013 Cyrille Bagard
- *
- * This file is part of Chrysalide.
- *
- * Chrysalide 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 3 of the License, or
- * (at your option) any later version.
- *
- * Chrysalide 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 Foobar. If not, see <http://www.gnu.org/licenses/>.
- */
-
-
-#include "cond.h"
-
-
-#include <malloc.h>
-
-
-#include "../expression-int.h"
-
-
-
-/* Définition d'une condition binaire quelconque (instance) */
-struct _GCondExpression
-{
- GDecExpression parent; /* A laisser en premier */
-
- CondOperatorType operator; /* Opérateur de la liste */
-
- union
- {
- GDecExpression *exp; /* Expression analysée de base */
- struct
- {
- GCondExpression **conds; /* Liste d'expressions */
- size_t count; /* Taille de cette liste */
- };
- };
-
-};
-
-
-/* Définition d'une condition binaire quelconque (classe) */
-struct _GCondExpressionClass
-{
- GDecExpressionClass parent; /* A laisser en premier */
-
-};
-
-
-
-/* Initialise la classe des conditions binaires quelconques. */
-static void g_cond_expression_class_init(GCondExpressionClass *);
-
-/* Initialise une instance de condition binaire quelconque. */
-static void g_cond_expression_init(GCondExpression *);
-
-/* Visite un ensemble hiérarchique d'instructions décompilées. */
-static bool g_cond_expression_visit(GCondExpression *, dec_instr_visitor_cb, DecInstrVisitFlags, void *);
-
-/* Remplace une instruction décompilée par une autre. */
-static bool g_cond_expression_replace(GCondExpression *, GDecInstruction *, GDecInstruction *);
-
-/* Imprime pour l'écran un version humaine d'une expression. */
-static GBufferLine *g_cond_expression_print(const GCondExpression *, GCodeBuffer *, GBufferLine *, GLangOutput *);
-
-/* Réalise une négation sur une expression décompilée. */
-static bool g_cond_expression_negate(GCondExpression *);
-
-
-
-/* Indique le type défini pour une condition binaire quelconque. */
-G_DEFINE_TYPE(GCondExpression, g_cond_expression, G_TYPE_DEC_EXPRESSION);
-
-
-/******************************************************************************
-* *
-* Paramètres : klass = classe à initialiser. *
-* *
-* Description : Initialise la classe des conditions binaires quelconques. *
-* *
-* Retour : - *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static void g_cond_expression_class_init(GCondExpressionClass *klass)
-{
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à initialiser. *
-* *
-* Description : Initialise une instance de condition binaire quelconque. *
-* *
-* Retour : - *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static void g_cond_expression_init(GCondExpression *cond)
-{
- GDecInstruction *instr; /* Autre version de l'objet */
- GDecExpression *expr; /* Autre version de l'objet */
-
- instr = G_DEC_INSTRUCTION(cond);
-
- instr->visit = (dec_instr_visit_fc)g_cond_expression_visit;
- instr->replace = (dec_instr_replace_fc)g_cond_expression_replace;
- instr->print = (dec_instr_print_fc)g_cond_expression_print;
-
- expr = G_DEC_EXPRESSION(cond);
-
- expr->negate = (dec_expr_negate_fc)g_cond_expression_negate;
-
- cond->operator = COT_NONE;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : exp = expression sur laquelle repose la condition. *
-* *
-* Description : Exprime une condition binaire quelconque. *
-* *
-* Retour : Expression mise en place. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-GDecExpression *g_cond_expression_new(GDecExpression *exp)
-{
- GCondExpression *result; /* Expression à retourner */
-
- result = g_object_new(G_TYPE_COND_EXPRESSION, NULL);
-
- result->exp = exp;
-
- return G_DEC_EXPRESSION(result);
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : expr = première instruction à venir visiter. *
-* callback = procédure à appeler à chaque instruction visitée. *
-* flags = moments des appels à réaliser en retour. *
-* data = données quelconques associées au visiteur. *
-* *
-* Description : Visite un ensemble hiérarchique d'instructions décompilées. *
-* *
-* Retour : true si le parcours a été jusqu'à son terme, false sinon. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static bool g_cond_expression_visit(GCondExpression *expr, dec_instr_visitor_cb callback, DecInstrVisitFlags flags, void *data)
-{
- bool result; /* Bilan à retourner */
- size_t i; /* Boucle de parcours */
-
- if (expr->operator == COT_NONE)
- result = _g_dec_instruction_visit(G_DEC_INSTRUCTION(expr->exp), G_DEC_INSTRUCTION(expr),
- callback, flags, data);
-
- else
- {
- result = true;
-
- for (i = 0; i < expr->count && result; i++)
- result = _g_dec_instruction_visit(G_DEC_INSTRUCTION(expr->conds[i]),
- G_DEC_INSTRUCTION(expr),
- callback, flags, data);
-
- }
-
- return result;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : expr = première instruction à venir ausculter. *
-* old = instruction décompilée à venir remplacer. *
-* new = instruction décompilée à utiliser dorénavant. *
-* *
-* Description : Remplace une instruction décompilée par une autre. *
-* *
-* Retour : true si un remplacement a été effectué, false sinon. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static bool g_cond_expression_replace(GCondExpression *expr, GDecInstruction *old, GDecInstruction *new)
-{
- bool result; /* Bilan à retourner */
- size_t i; /* Boucle de parcours */
-
- if (expr->operator == COT_NONE)
- {
- if (expr->exp == G_DEC_EXPRESSION(old))
- {
- g_object_unref(G_OBJECT(expr->exp));
- g_object_ref(G_OBJECT(new));
- expr->exp = G_DEC_EXPRESSION(new);
-
- result = true;
-
- }
- else
- result = g_dec_instruction_replace(G_DEC_INSTRUCTION(expr->exp), old, new);
-
- }
- else
- {
- result = false;
-
- for (i = 0; i < expr->count; i++)
- {
- if (expr->conds[i] == G_COND_EXPRESSION(old))
- {
- g_object_unref(G_OBJECT(expr->conds[i]));
- g_object_ref(G_OBJECT(new));
- expr->conds[i] = G_COND_EXPRESSION(new);
-
- result = true;
-
- }
- else
- result |= g_dec_instruction_replace(G_DEC_INSTRUCTION(expr->conds[i]), old, new);
-
- }
-
- }
-
- return result;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : expr = expression à transcrire en version humaine. *
-* buffer = tampon où doit se réaliser l'insertion. *
-* line = ligne d'impression prête à emploi ou NULL. *
-* output = langage de programmation de sortie. *
-* *
-* Description : Imprime pour l'écran un version humaine d'une expression. *
-* *
-* Retour : - *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static GBufferLine *g_cond_expression_print(const GCondExpression *expr, GCodeBuffer *buffer, GBufferLine *line, GLangOutput *output)
-{
- GBufferLine *result; /* Ligne à retourner */
- size_t i; /* Boucle de parcours */
-
- result = g_lang_output_encapsulate_condition(output, buffer, line, true);
-
- if (expr->operator == COT_NONE)
- result = g_dec_instruction_print(G_DEC_INSTRUCTION(expr->exp),
- buffer, result, output);
-
- else
- for (i = 0; i < expr->count; i++)
- {
- if (i > 0)
- g_lang_output_write_cond_operator(output, result, expr->operator);
-
- result = g_dec_instruction_print(G_DEC_INSTRUCTION(expr->conds[i]),
- buffer, result, output);
-
- }
-
- result = g_lang_output_encapsulate_condition(output, buffer, result, false);
-
- return result;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à traiter. *
-* *
-* Description : Réalise une négation sur une expression décompilée. *
-* *
-* Retour : true si la négation a été gérée, false sinon. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-static bool g_cond_expression_negate(GCondExpression *cond)
-{
- size_t i; /* Boucle de parcours */
-
- if (cond->operator == COT_NONE)
- g_dec_expression_negate(cond->exp);
-
- else
- {
- cond->operator = (cond->operator == COT_AND ? COT_OR : COT_AND);
-
- for (i = 0; i < cond->count; i++)
- g_dec_expression_negate(G_DEC_EXPRESSION(cond->conds[i]));
-
- }
-
- return true;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à consulter. *
-* *
-* Description : Fournit l'opération logique entre les comparaisons. *
-* *
-* Retour : Opération liant les différentes parties, ou COT_NONE. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-CondOperatorType g_cond_expression_get_operator(const GCondExpression *cond)
-{
- return cond->operator;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à consulter. *
-* *
-* Description : Fournit l'expression d'une condition. *
-* *
-* Retour : Expression sur laquelle repose la condition. *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-GDecExpression *g_cond_expression_get_expression(const GCondExpression *cond)
-{
- return cond->exp;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à modifier. *
-* exp = expression sur laquelle repose la condition. *
-* *
-* Description : Définit l'expression d'une condition. *
-* *
-* Retour : - *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-void g_cond_expression_set_expression(GCondExpression *cond, GDecExpression *exp)
-{
- if (cond->exp != NULL)
- g_object_unref(G_OBJECT(cond->exp));
-
- cond->exp = exp;
-
-}
-
-
-/******************************************************************************
-* *
-* Paramètres : cond = instance à compléter. *
-* extra = condition à rajouter. *
-* op = lien avec le reste de la condition. *
-* *
-* Description : Etend l'expression d'une condition. *
-* *
-* Retour : - *
-* *
-* Remarques : - *
-* *
-******************************************************************************/
-
-void g_cond_expression_add_condition(GCondExpression *cond, GCondExpression *extra, CondOperatorType op)
-{
- GCondExpression *existing; /* Expr. première revalorisée */
-
- if (cond->operator == COT_NONE)
- {
- existing = G_COND_EXPRESSION(g_cond_expression_new(cond->exp));
- goto gceac_replace_existing;
- }
- else
- {
- if (cond->operator == op)
- {
- cond->conds = (GCondExpression **)calloc(++cond->count, sizeof(GCondExpression));
- cond->conds[cond->count - 1] = extra;
- }
- else
- {
- existing = G_COND_EXPRESSION(g_cond_expression_new(NULL));
-
- existing->operator = cond->operator;
- existing->conds = cond->conds;
- existing->count = cond->count;
-
- goto gceac_replace_existing;
-
- }
-
- }
-
- gceac_done:
-
- return;
-
- gceac_replace_existing:
-
- cond->operator = op;
-
- cond->conds = (GCondExpression **)calloc(2, sizeof(GCondExpression));
- cond->conds[0] = existing;
- cond->conds[1] = extra;
-
- cond->count = 2;
-
- goto gceac_done;
-
-}