From ca1d6845a105833b182ffa3a962750b06f5fe1a5 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 14 Jun 2012 23:19:21 +0200
Subject: [PATCH] model-checker : remove unused files

---
 examples/msg/mc/automaton.h              | 115 -------
 examples/msg/mc/automatonparse_promela.h |  26 --
 examples/msg/mc/parserPromela.lex        |  78 -----
 examples/msg/mc/parserPromela.yacc       |  76 -----
 src/xbt/automaton.c                      | 366 -----------------------
 src/xbt/automatonparse_promela.c         | 101 -------
 6 files changed, 762 deletions(-)
 delete mode 100644 examples/msg/mc/automaton.h
 delete mode 100644 examples/msg/mc/automatonparse_promela.h
 delete mode 100644 examples/msg/mc/parserPromela.lex
 delete mode 100644 examples/msg/mc/parserPromela.yacc
 delete mode 100644 src/xbt/automaton.c
 delete mode 100644 src/xbt/automatonparse_promela.c

diff --git a/examples/msg/mc/automaton.h b/examples/msg/mc/automaton.h
deleted file mode 100644
index f140ed2e82..0000000000
--- a/examples/msg/mc/automaton.h
+++ /dev/null
@@ -1,115 +0,0 @@
-#ifndef _XBT_AUTOMATON_H
-#define _XBT_AUTOMATON_H
-
-#include <stdlib.h>
-#include <string.h>
-#include <xbt/dynar.h>
-#include <xbt/sysdep.h>
-#include <xbt/graph.h>
-
-SG_BEGIN_DECL()
-
-typedef struct xbt_state {
-  char* id;
-  int type; /* -1 = init, 0 = inter, 1 = final */
-  xbt_dynar_t in;
-  xbt_dynar_t out;
-} s_xbt_state;
-
-typedef struct xbt_state* xbt_state_t;
-
-typedef struct xbt_automaton {
-  xbt_dynar_t propositional_symbols;
-  xbt_dynar_t transitions;
-  xbt_dynar_t states;
-  xbt_state_t current_state;
-} s_xbt_automaton;
-
-typedef struct xbt_automaton* xbt_automaton_t;
-
-typedef struct xbt_exp_label{
-  enum{or=0, and=1, not=2, predicat=3, one=4} type;
-  union{
-    struct{
-      struct xbt_exp_label* left_exp;
-      struct xbt_exp_label* right_exp;
-    }or_and;
-    struct xbt_exp_label* exp_not;
-    char* predicat;
-  }u;
-} s_xbt_exp_label;
-
-typedef struct xbt_exp_label* xbt_exp_label_t;
-
-
-typedef struct xbt_transition {
-  xbt_state_t src;
-  xbt_state_t dst;
-  xbt_exp_label_t label;
-} s_xbt_transition;
-
-typedef struct xbt_transition* xbt_transition_t;
-
-
-typedef struct xbt_propositional_symbol{
-  char* pred;
-  void* function;
-} s_xbt_propositional_symbol;
-
-typedef struct xbt_propositional_symbol* xbt_propositional_symbol_t;
-
-
-XBT_PUBLIC(xbt_automaton_t) xbt_automaton_new_automaton(void);
-
-XBT_PUBLIC(xbt_state_t) xbt_automaton_new_state(xbt_automaton_t a, int type, char* id);
-
-XBT_PUBLIC(xbt_transition_t) xbt_automaton_new_transition(xbt_automaton_t a, xbt_state_t src, xbt_state_t dst, xbt_exp_label_t label);
-
-XBT_PUBLIC(xbt_exp_label_t) xbt_automaton_new_label(int type, ...);
-
-XBT_PUBLIC(xbt_dynar_t) xbt_automaton_get_states(xbt_automaton_t a);
-
-XBT_PUBLIC(xbt_dynar_t) xbt_automaton_get_transitions(xbt_automaton_t a);
-
-XBT_PUBLIC(xbt_transition_t) xbt_automaton_get_transition(xbt_automaton_t a, xbt_state_t src, xbt_state_t dst);
-
-XBT_PUBLIC(void) xbt_automaton_free_automaton(xbt_automaton_t a, void_f_pvoid_t transition_free_function);
-
-XBT_PUBLIC(void) xbt_automaton_free_state(xbt_automaton_t a, xbt_state_t s, void_f_pvoid_t transition_free_function);
-
-XBT_PUBLIC(void) xbt_automaton_free_transition(xbt_automaton_t a, xbt_transition_t t, void_f_pvoid_t transition_free_function);
-
-XBT_PUBLIC(xbt_state_t) xbt_automaton_transition_get_source(xbt_transition_t t);
-
-XBT_PUBLIC(xbt_state_t) xbt_automaton_transition_get_destination(xbt_transition_t t);
-
-XBT_PUBLIC(void) xbt_automaton_transition_set_source(xbt_transition_t t, xbt_state_t src);
-
-XBT_PUBLIC(void) xbt_automaton_transition_set_destination(xbt_transition_t t, xbt_state_t dst);
-
-XBT_PUBLIC(xbt_dynar_t) xbt_automaton_state_get_out_transitions(xbt_state_t s);
-
-XBT_PUBLIC(xbt_dynar_t) xbt_automaton_state_get_in_transitions(xbt_state_t s);
-
-XBT_PUBLIC(xbt_state_t) xbt_automaton_state_exists(xbt_automaton_t a, char *id); 
-
-XBT_PUBLIC(void) xbt_automaton_display(xbt_automaton_t a);
-
-XBT_PUBLIC(void) xbt_automaton_display_exp(xbt_exp_label_t l);
-
-XBT_PUBLIC(xbt_propositional_symbol_t) xbt_new_propositional_symbol(xbt_automaton_t a, const char* id, void* fct);
-
-XBT_PUBLIC(xbt_state_t) xbt_automaton_get_current_state(xbt_automaton_t a);
-
-XBT_PUBLIC(int) automaton_state_compare(xbt_state_t s1, xbt_state_t s2);
-
-XBT_PUBLIC(int) propositional_symbols_compare_value(xbt_dynar_t s1, xbt_dynar_t s2);
-
-XBT_PUBLIC(int) automaton_transition_compare(const void *t1, const void *t2);
-
-XBT_PUBLIC(int) automaton_label_transition_compare(xbt_exp_label_t l1, xbt_exp_label_t l2);
-
-
-SG_END_DECL()
-
-#endif
diff --git a/examples/msg/mc/automatonparse_promela.h b/examples/msg/mc/automatonparse_promela.h
deleted file mode 100644
index c80c34db2b..0000000000
--- a/examples/msg/mc/automatonparse_promela.h
+++ /dev/null
@@ -1,26 +0,0 @@
-#ifndef _XBT_AUTOMATONPARSE_PROMELA_H
-#define _XBT_AUTOMATONPARSE_PROMELA_H
-
-#include <stdlib.h>
-#include <string.h>
-#include "xbt/automaton.h"
-
-SG_BEGIN_DECL()
-
-XBT_PUBLIC_DATA(xbt_automaton_t) automaton;
-
-XBT_PUBLIC(void) init(void);
-
-XBT_PUBLIC(void) new_state(char* id, int src);
-
-XBT_PUBLIC(void) new_transition(char* id, xbt_exp_label_t label);
-
-XBT_PUBLIC(xbt_exp_label_t) new_label(int type, ...);
-
-XBT_PUBLIC(xbt_automaton_t) get_automaton(void);
-			    
-XBT_PUBLIC(void) display_automaton(void);
-
-SG_END_DECL()
-
-#endif
diff --git a/examples/msg/mc/parserPromela.lex b/examples/msg/mc/parserPromela.lex
deleted file mode 100644
index f4c913280e..0000000000
--- a/examples/msg/mc/parserPromela.lex
+++ /dev/null
@@ -1,78 +0,0 @@
-%option noyywrap
-
-%{
-
-
-#include <stdio.h>
-#include "y.tab.h"
-  
-  extern YYSTYPE yylval;
- 
-%}
-
-blancs       [ \t]+
-espace       [ ]+
-nouv_ligne   [ \n]
-
-chiffre      [0-9]
-entier       {chiffre}+
-reel         {entier}("."{entier})
-caractere    [a-zA-Z0-9_]
-
-numl         \n
-
-chaine       \"({caractere}*|\n|\\|\"|{espace}*)*\"
-
-commentaire  "/*"([^\*\/]*{nouv_ligne}*[^\*\/]*)*"*/"
-
-%%
-
-"never"      { printf("%s", yytext); return (NEVER); }
-"if"         { printf("%s", yytext); return (IF); }
-"fi"         { printf("%s", yytext); 
-               return (FI); }
-"->"         { printf("%s", yytext); return (IMPLIES); }
-"goto"       { printf("%s", yytext); return (GOTO); }
-"&&"         { printf("%s", yytext); return (AND); }
-"||"         { printf("%s", yytext); return (OR); }
-"!"          { printf("%s", yytext); return (NOT); }
-"("          { printf("%s", yytext); return (LEFT_PAR); }
-")"          { printf("%s", yytext); return (RIGHT_PAR); }
-"::"         { printf("%s", yytext); return (CASE); }
-":"          { printf("%s", yytext); return (COLON); }
-";"          { printf("%s", yytext); return (SEMI_COLON); }
-"1"          { printf("%s", yytext); return (CASE_TRUE); }
-"{"          { printf("%s", yytext); return (LEFT_BRACE); }
-"}"          { printf("%s", yytext); return (RIGHT_BRACE); }
-
-
-{commentaire}             { printf(" ");}
-
-{blancs}                  { printf("%s",yytext); }
-
-
-{reel}                    { printf("%s",yytext); 
-                            sscanf(yytext,"%lf",&yylval.real); 
-                            return (LITT_REEL); }
-
-{entier}                  { printf("%s",yytext); 
-                            sscanf(yytext,"%d",&yylval.integer); 
-                            return (LITT_ENT); }
-
-{chaine}                  { printf("%s",yytext);  
-                            yylval.string=(char *)malloc(strlen(yytext)+1);
-                            sscanf(yytext,"%s",yylval.string); 
-                            return (LITT_CHAINE); }
-
-[a-zA-Z]{caractere}*      { printf("%s",yytext); 
-			    yylval.string=(char *)malloc(strlen(yytext)+1);
-			    sscanf(yytext,"%s",yylval.string);
-			    return (ID); }
-		   
-{numl}                    { printf("\n"); }
-
-.                         { printf("caractère inconnu\n"); }
-
-%%
-
-
diff --git a/examples/msg/mc/parserPromela.yacc b/examples/msg/mc/parserPromela.yacc
deleted file mode 100644
index f018f80d86..0000000000
--- a/examples/msg/mc/parserPromela.yacc
+++ /dev/null
@@ -1,76 +0,0 @@
-%{
-
-#include "automaton.h"
-#include "automatonparse_promela.h"
-#include "lex.yy.c"
-
-void yyerror(const char *s);
-
-%}
-
-%union{
-  double real;
-  int integer;
-  char* string;
-  xbt_exp_label_t label;
-}
-
-%token NEVER
-%token IF
-%token FI
-%token IMPLIES
-%token GOTO
-%token AND
-%token OR
-%token NOT
-%token LEFT_PAR
-%token RIGHT_PAR
-%token CASE
-%token COLON
-%token SEMI_COLON
-%token CASE_TRUE
-%token LEFT_BRACE
-%token RIGHT_BRACE
-%token <integer> LITT_ENT
-%token <string> LITT_CHAINE
-%token <real> LITT_REEL
-%token <string> ID
-
-%type <label> exp;
-
-%start automaton
-
-%left AND OR
-%nonassoc NOT
-
-%%
-
-automaton : NEVER LEFT_BRACE stateseq RIGHT_BRACE 
-          ;
-
-stateseq : 
-         | ID COLON { new_state($1, 1);} IF option FI SEMI_COLON stateseq 
-         ;
-
-option :
-       | CASE exp IMPLIES GOTO ID option { new_transition($5, $2);}
-       ;
-
-exp : LEFT_PAR exp RIGHT_PAR { $$ = $2; }
-    | exp OR exp { $$ = new_label(0, $1, $3); }
-    | exp AND exp { $$ = new_label(1, $1, $3); }
-    | NOT exp { $$ = new_label(2, $2); }
-    | CASE_TRUE { $$ = new_label(4); }
-    | ID { $$ = new_label(3, $1); }
-    ;
- 
-%%
-
-
-
-void yyerror(const char *s){
-  fprintf (stderr, "%s\n", s);
-}
-
-
-
diff --git a/src/xbt/automaton.c b/src/xbt/automaton.c
deleted file mode 100644
index dffad324b2..0000000000
--- a/src/xbt/automaton.c
+++ /dev/null
@@ -1,366 +0,0 @@
-/* automaton - representation of büchi automaton */
-
-/* Copyright (c) 2011. The SimGrid Team.
- * All rights reserved.                                                     */
-
-/* This program is free software; you can redistribute it and/or modify it
- * under the terms of the license (GNU LGPL) which comes with this package. */
-
-#include "xbt/automaton.h"
-
-xbt_automaton_t xbt_automaton_new_automaton(){
-  xbt_automaton_t automaton = NULL;
-  automaton = xbt_new0(struct xbt_automaton, 1);
-  automaton->states = xbt_dynar_new(sizeof(xbt_state_t), NULL);
-  automaton->transitions = xbt_dynar_new(sizeof(xbt_transition_t), NULL);
-  automaton->propositional_symbols = xbt_dynar_new(sizeof(xbt_propositional_symbol_t), NULL);
-  return automaton;
-}
-
-xbt_state_t xbt_automaton_new_state(xbt_automaton_t a, int type, char* id){
-  xbt_state_t state = NULL;
-  state = xbt_new0(struct xbt_state, 1);
-  state->type = type;
-  state->id = strdup(id);
-  state->in = xbt_dynar_new(sizeof(xbt_transition_t), NULL);
-  state->out = xbt_dynar_new(sizeof(xbt_transition_t), NULL); 
-  xbt_dynar_push(a->states, &state);
-  return state;
-}
-
-xbt_transition_t xbt_automaton_new_transition(xbt_automaton_t a, xbt_state_t src, xbt_state_t dst, xbt_exp_label_t label){
-  xbt_transition_t transition = NULL;
-  transition = xbt_new0(struct xbt_transition, 1);
-  if(src != NULL){
-    xbt_dynar_push(src->out, &transition);
-    transition->src = src;
-  }
-  if(dst != NULL){
-    xbt_dynar_push(dst->in, &transition);
-    transition->dst = dst;
-  }
-  transition->label = label;
-  xbt_dynar_push(a->transitions, &transition);
-  return transition;
-}
-
-xbt_exp_label_t xbt_automaton_new_label(int type, ...){
-  xbt_exp_label_t label = NULL;
-  label = xbt_new0(struct xbt_exp_label, 1);
-  label->type = type;
-
-  va_list ap;
-  va_start(ap, type);
-  switch(type){
-  case 0 : {
-    xbt_exp_label_t left = va_arg(ap, xbt_exp_label_t);
-    xbt_exp_label_t right = va_arg(ap, xbt_exp_label_t);
-    label->u.or_and.left_exp = left;
-    label->u.or_and.right_exp = right;
-    break;
-  }
-  case 1 : {
-    xbt_exp_label_t left = va_arg(ap, xbt_exp_label_t);
-    xbt_exp_label_t right = va_arg(ap, xbt_exp_label_t);
-    label->u.or_and.left_exp = left;
-    label->u.or_and.right_exp = right;
-    break;
-  }
-  case 2 : {
-    xbt_exp_label_t exp_not = va_arg(ap, xbt_exp_label_t);
-    label->u.exp_not = exp_not;
-    break;
-  }
-  case 3 :{
-    char* p = va_arg(ap, char*);
-    label->u.predicat = strdup(p);
-    break;
-  }
-  }
-  va_end(ap);
-  return label;
-}
-
-
-xbt_dynar_t xbt_automaton_get_states(xbt_automaton_t a){
-  return a->states;
-}
-
-xbt_dynar_t xbt_automaton_get_transitions(xbt_automaton_t a){
-  return a->transitions;
-}
-
-xbt_transition_t xbt_automaton_get_transition(xbt_automaton_t a, xbt_state_t src, xbt_state_t dst){
-  xbt_transition_t transition;
-  unsigned int cursor;
-  xbt_dynar_foreach(src->out, cursor, transition){
-    if((transition->src == src) && (transition->dst == dst))
-      return transition;
-  }
-  return NULL;
-}
-
-void xbt_automaton_free_automaton(xbt_automaton_t a, void_f_pvoid_t transition_free_function){
-  unsigned int cursor = 0;
-  xbt_state_t state = NULL;
-  xbt_transition_t transition = NULL;
-
-  xbt_dynar_foreach(a->states, cursor, state){
-    xbt_dynar_free(&(state->out));
-    xbt_dynar_free(&(state->in));
-  }
-
-  xbt_dynar_foreach(a->transitions, cursor, transition){
-    if(transition_free_function) 
-      (*transition_free_function) (transition->label);
-  }
-
-  xbt_dynar_foreach(a->states, cursor, state)
-    free(state);
-  xbt_dynar_free(&(a->states));
-
-  xbt_dynar_foreach(a->transitions, cursor, state)
-    free(transition);
-  xbt_dynar_free(&(a->transitions));
-
-  free(a);
-
-  return;
-}
-
-void xbt_automaton_free_state(xbt_automaton_t a, xbt_state_t s, void_f_pvoid_t transition_free_function){
-  unsigned long nbr;
-  unsigned long i;
-  unsigned int cursor = 0;
-  xbt_state_t state = NULL;
-  xbt_transition_t transition = NULL;
-
-  nbr = xbt_dynar_length(a->transitions);
-  for(i = 0; i <nbr; i++){
-    xbt_dynar_get_cpy(a->transitions, cursor, &transition);
-    if((transition->src == s) || (transition->dst == s)){
-      xbt_automaton_free_transition(a, transition, transition_free_function);
-    }else{
-      cursor++;
-    }
-  }
-
-  cursor = 0;
-  xbt_dynar_foreach(a->states, cursor, state)
-    if(state == s)
-      xbt_dynar_cursor_rm(a->states, &cursor);
-
-  xbt_dynar_free(&(s->in));
-  xbt_dynar_free(&(s->out));
-
-  free(s);
-
-  return;
-}
-
-void xbt_automaton_free_transition(xbt_automaton_t a, xbt_transition_t t, void_f_pvoid_t transition_free_function){
-  int index;
-  unsigned int cursor = 0;
-  xbt_transition_t transition = NULL;
-
-  if((transition_free_function) && (t->label))
-    (*transition_free_function) (t->label);
-
-  xbt_dynar_foreach(a->transitions, cursor, transition) {
-    if(transition == t){
-      index = __xbt_find_in_dynar(transition->dst->in, transition);
-      xbt_dynar_remove_at(transition->dst->in, index, NULL);
-      index = __xbt_find_in_dynar(transition->src->out, transition);
-      xbt_dynar_remove_at(transition->src->out, index, NULL);
-      xbt_dynar_cursor_rm(a->transitions, & cursor);
-      free(transition);
-      break;
-    }  
-  }
-} 
-
-xbt_state_t xbt_automaton_transition_get_source(xbt_transition_t t){
-  return t->src;
-}
-
-xbt_state_t xbt_automaton_transition_get_destination(xbt_transition_t t){
-  return t->dst;
-}
-
-void xbt_automaton_transition_set_source(xbt_transition_t t, xbt_state_t src){
-  t->src = src;
-  xbt_dynar_push(src->out,&t);
-}
-
-void xbt_automaton_transition_set_destination(xbt_transition_t t, xbt_state_t dst){
-  t->dst = dst;
-  xbt_dynar_push(dst->in,&t);
-}
-
-xbt_dynar_t xbt_automaton_state_get_out_transitions(xbt_state_t s){
-  return s->out;
-}
-
-xbt_dynar_t xbt_automaton_state_get_in_transitions(xbt_state_t s){
-  return s->in;
-}
-
-xbt_state_t xbt_automaton_state_exists(xbt_automaton_t a, char *id){
-  xbt_state_t state = NULL;
-  unsigned int cursor = 0;
-  xbt_dynar_foreach(a->states, cursor, state){
-   if(strcmp(state->id, id)==0)
-     return state;
-  }
-  return NULL;
-}
-
-void  xbt_automaton_display(xbt_automaton_t a){
-  unsigned int cursor = 0;
-  xbt_state_t state = NULL;
-
-  printf("\n\nEtat courant : %s\n", a->current_state->id);
-
-  printf("\nListe des états : %lu\n\n", xbt_dynar_length(a->states));
- 
-  
-  xbt_dynar_foreach(a->states, cursor, state){
-    printf("ID : %s, type : %d\n", state->id, state->type);
-  }
-
-  cursor=0;
-  xbt_transition_t transition = NULL;
-  printf("\nListe des transitions : %lu\n\n", xbt_dynar_length(a->transitions));
-  
-  xbt_dynar_foreach(a->transitions, cursor, transition){
-    printf("label :");
-    xbt_automaton_display_exp(transition->label);
-    printf(", %s -> %s\n", transition->src->id, transition->dst->id);
-  }
-}
-
-void xbt_automaton_display_exp(xbt_exp_label_t label){
-
-  switch(label->type){
-  case 0 :
-    printf("(");
-    xbt_automaton_display_exp(label->u.or_and.left_exp);
-    printf(" || ");
-    xbt_automaton_display_exp(label->u.or_and.right_exp);
-    printf(")");
-    break;
-  case 1 : 
-    printf("(");
-    xbt_automaton_display_exp(label->u.or_and.left_exp);
-    printf(" && ");
-    xbt_automaton_display_exp(label->u.or_and.right_exp);
-    printf(")");
-    break;
-  case 2 : 
-    printf("(!");
-    xbt_automaton_display_exp(label->u.exp_not);
-    printf(")");
-    break;
-  case 3 :
-    printf("(%s)",label->u.predicat);
-    break;
-  case 4 :
-    printf("(1)");
-    break;
-  }
-
-}
-
-xbt_state_t xbt_automaton_get_current_state(xbt_automaton_t a){
-  return a->current_state;
-}
-
-xbt_propositional_symbol_t xbt_new_propositional_symbol(xbt_automaton_t a, const char* id, void* fct){
-  xbt_propositional_symbol_t prop_symb = NULL;
-  prop_symb = xbt_new0(struct xbt_propositional_symbol, 1);
-  prop_symb->pred = strdup(id);
-  prop_symb->function = fct;
-  xbt_dynar_push(a->propositional_symbols, &prop_symb);
-  return prop_symb;
-}
-
-int automaton_state_compare(xbt_state_t s1, xbt_state_t s2){
-
-  /* single id for each state, id and type sufficient for comparison*/
-
-  if(strcmp(s1->id, s2->id))
-    return 1;
-
-  if(s1->type != s2->type)
-    return 1;
-
-  return 0;
-
-}
-
-int automaton_transition_compare(const void *t1, const void *t2){
-
-  if(automaton_state_compare(((xbt_transition_t)t1)->src, ((xbt_transition_t)t2)->src))
-    return 1;
-  
-  if(automaton_state_compare(((xbt_transition_t)t1)->dst, ((xbt_transition_t)t2)->dst))
-    return 1;
-
-  if(automaton_label_transition_compare(((xbt_transition_t)t1)->label,((xbt_transition_t)t2)->label))
-    return 1;
-
-  return 0;
-  
-}
-
-int automaton_label_transition_compare(xbt_exp_label_t l1, xbt_exp_label_t l2){
-
-  if(l1->type != l2->type)
-    return 1;
-
-  switch(l1->type){
-
-  case 0 : // OR 
-  case 1 : // AND
-    if(automaton_label_transition_compare(l1->u.or_and.left_exp, l2->u.or_and.left_exp))
-      return 1;
-    else
-      return automaton_label_transition_compare(l1->u.or_and.right_exp, l2->u.or_and.right_exp);
-    break;
-
-  case 2 : // NOT
-    return automaton_label_transition_compare(l1->u.exp_not, l2->u.exp_not);
-    break;
-
-  case 3 : // predicat
-    return (strcmp(l1->u.predicat, l2->u.predicat));
-    break;
-
-  case 4 : // 1
-    return 0;
-    break;
-
-  default :
-    return -1;
-    break;
-
-  }
-
-}
-
-
-int propositional_symbols_compare_value(xbt_dynar_t s1, xbt_dynar_t s2){
-
-  int *iptr1, *iptr2;
-  unsigned int cursor;
-  unsigned int nb_elem = xbt_dynar_length(s1);
-
-  for(cursor=0;cursor<nb_elem;cursor++){
-    iptr1 = xbt_dynar_get_ptr(s1, cursor);
-    iptr2 = xbt_dynar_get_ptr(s2, cursor);
-    if(*iptr1 != *iptr2)
-      return 1;
-  } 
-
-  return 0;
-}
diff --git a/src/xbt/automatonparse_promela.c b/src/xbt/automatonparse_promela.c
deleted file mode 100644
index bfd39e11dd..0000000000
--- a/src/xbt/automatonparse_promela.c
+++ /dev/null
@@ -1,101 +0,0 @@
-/* methods for implementation of automaton from promela description */
-
-/* Copyright (c) 2011. The SimGrid Team.
- * All rights reserved.                                                     */
-
-/* This program is free software; you can redistribute it and/or modify it
- * under the terms of the license (GNU LGPL) which comes with this package. */
-
-#include "xbt/automatonparse_promela.h"
-
-xbt_automaton_t automaton;
-char* state_id_src;
-
-void init(){
-  automaton = xbt_automaton_new_automaton();
-}
-
-void new_state(char* id, int src){
-
-  char* id_state = strdup(id);
-  char* first_part = strtok(id,"_");
-  int type = 0 ; // -1=état initial, 0=état intermédiaire, 1=état final
-
-  if(strcmp(first_part,"accept")==0){
-    type = 1;
-  }else{
-    char* second_part = strtok(NULL,"_");
-    if(strcmp(second_part,"init")==0){
-      type = -1;
-    }
-  }
-
-  xbt_state_t state = NULL;
-  state = xbt_automaton_state_exists(automaton, id_state);
-  if(state == NULL){
-    state = xbt_automaton_new_state(automaton, type, id_state);
-  }
-
-  if(type==-1)
-    automaton->current_state = state;
-
-  if(src)
-    state_id_src = strdup(id_state);
-    
-}
-
-void new_transition(char* id, xbt_exp_label_t label){
-
-  char* id_state = strdup(id);
-  xbt_state_t state_dst = NULL;
-  new_state(id, 0);
-  state_dst = xbt_automaton_state_exists(automaton, id_state);
-  xbt_state_t state_src = xbt_automaton_state_exists(automaton, state_id_src); 
-  
-  //xbt_transition_t trans = NULL;
-  xbt_automaton_new_transition(automaton, state_src, state_dst, label);
-
-}
-
-xbt_exp_label_t new_label(int type, ...){
-  xbt_exp_label_t label = NULL;
-  va_list ap;
-  va_start(ap,type);
-  switch(type){
-  case 0 : {
-    xbt_exp_label_t left = va_arg(ap, xbt_exp_label_t);
-    xbt_exp_label_t right = va_arg(ap, xbt_exp_label_t);
-    label = xbt_automaton_new_label(type, left, right);
-    break;
-  }
-  case 1 : {
-    xbt_exp_label_t left = va_arg(ap, xbt_exp_label_t);
-    xbt_exp_label_t right = va_arg(ap, xbt_exp_label_t);
-    label = xbt_automaton_new_label(type, left, right);
-    break;
-  }
-  case 2 : {
-    xbt_exp_label_t exp_not = va_arg(ap, xbt_exp_label_t);
-    label = xbt_automaton_new_label(type, exp_not);
-    break;
-  }
-  case 3 : {
-    char* p = va_arg(ap, char*);
-    label = xbt_automaton_new_label(type, p);
-    break;
-  }
-  case 4 : {
-    label = xbt_automaton_new_label(type);
-    break;
-  }
-  }
-  va_end(ap);
-  return label;
-}
-
-xbt_automaton_t get_automaton(){
-  return automaton;
-}
-
-
-
-- 
2.20.1