#!/usr/bin/perl
#
# usage: perl wf2jumpsnap.pl filename.wf 
#
# creates executable files filename_jump and filename_snap

$jumpname = $ARGV[0];
$snapname = $jumpname;
$snapname =~ s/jump/snap/g;
if ($snapname eq $jumpname)
{
    $snapname = $jumpname."_snap";
}

open (SNAP, ">".$snapname);
open (JUMP, $jumpname);

my @lines;
$count = 0;
while ($x = <JUMP>)
{
    print SNAP $x;
    if ($x =~ update)
    {
	print SNAP "echo snapshot\n";
    }
}