From e0199a1e9d26d4d4a0459ec98a745926820b1eb4 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 5 Aug 2013 16:46:59 +0200
Subject: [PATCH] model-checker : remove dead file

---
 examples/msg/mc/parse_dwarf | 100 ------------------------------------
 1 file changed, 100 deletions(-)
 delete mode 100644 examples/msg/mc/parse_dwarf

diff --git a/examples/msg/mc/parse_dwarf b/examples/msg/mc/parse_dwarf
deleted file mode 100644
index 0073de9f85..0000000000
--- a/examples/msg/mc/parse_dwarf
+++ /dev/null
@@ -1,100 +0,0 @@
-#!/usr/bin/perl
-
-# infos = [file, ref, level, type of declaration, parent (if level>1), name, type (base type or ref dwarf), global, size, address]
-# type of declaration : base_type, pointer_type, const_type, structure_type, member, enumeration_type, enumerator
-
-
-use strict;
-use warnings;
-use Switch;
-
-my ($argument) = @ARGV;
-
-my $executable = $argument;
-open (FILE, $executable) or die "E/S : $!\n";
-
-my @infos;
-
-my $ligne="";
-my @champs;
-
-my $file = 0;
-my $level=1;
-my $ref=0; my $parent_ref=0;
-my $type_decl="undef";
-my $name="undef";
-my $type="undef";
-my $size=0;
-my $global = 0;
-my $address=0;
-
-
-while ($ligne=<FILE>) {
-
-    @champs = split /\s+/, $ligne;
-
-    if(@champs > 0){
-
-	if ($champs[0] eq "<") { # new declaration
-
-	    # save last information in infos
-	    if( $level>0 ) {
-		my @entry = ($file, $ref, $level, $type_decl, $parent_ref, $name, $type, $global, $size, $address);
-		push @infos, \@entry;
-	    }
-	   
-	    # get new information
-	    my @lr = split /></, $champs[1];
-
-	    if($lr[0] > 0){ # level = 0, information about source file
-		
-		if($level < $lr[0]){
-		    $parent_ref = $ref;
-		}else{
-		    if($lr[0] == 1){
-			$parent_ref = 0;
-		    }
-		}
-		
-		$level = $lr[0]; # level
-		$ref = substr($lr[1], 0, length($lr[1]) -1 ); # dwarf ref		
-		$type_decl = $champs[2];
-
-	    }else{ # create new hashtable
-
-		$file++;
-		$level=0;
-	    }
-
-	}else{
-
-	    switch ($champs[1]){
-
-		case "DW_AT_name" { $name = substr($champs[2], 1, length($champs[2]) - 2); }
-		case "DW_AT_type" { $type = substr($champs[2], 1, length($champs[2]) - 2); }
-		case "DW_AT_byte_size" { $size = hex($champs[2]); }
-		case "DW_AT_external" { $global = 1; }
-		case "DW_AT_location" { 
-		    if ($global == 1) {
-			$address = $champs[3]; 
-		    }
-		}
-		else { $global = 0;}
-
-
-	    }
-	    #print $champs[1]." ".$champs[2]."\n";
-	}
-    }
-} 
-
-# save last information in infos
-my @entry = ($file, $ref, $level, $type_decl, $parent_ref, $name, $type, $global, $size, $address);
-push @infos, \@entry;
-
-my $i;
-
-printf "%5s %12s %6s %30s %11s %60s %15s %9s %5s %10s\n", "file", "ref", "level", "type of declaration", "parent", "name", "type", "isGlobal", "size", "address";
-for($i = 0; $i < @infos; $i++){
-    printf "%5s %12s %6s %30s %11s %60s %15s %9s %5s %10s\n", $infos[$i]->[0], $infos[$i]->[1], $infos[$i]->[2], $infos[$i]->[3], $infos[$i]->[4], $infos[$i]->[5], $infos[$i]->[6], $infos[$i]->[7], $infos[$i]->[8], $infos[$i]->[9];
-}
-- 
2.20.1