#!/usr/local/bin/perl -pi.bak
# @(#)$Id: jml,v 1.26 2000/07/12 20:36:33 leavens Exp $
#
# nocolons -- edit the given files to not have the optional colons
#             and change modifiable to assignable
#

s/(assignable)[ 	]*:/$1/;
s/(assignable_redundantly)[ 	]*:/$1/;
s/(modifiable)[ 	]*:/assignable/;
s/(modifiable_redundantly)[ 	]*:/assignable_redundantly/;
s/(modifies)[ 	]*:/assignable/;
s/(modifies_redundantly)[ 	]*:/assignable_redundantly/;

s/(refine)[ 	]*:/$1/;
s/(initially)[ 	]*:/$1/;
s/(readable_if)[ 	]*:/$1/;
s/(monitored_by)[ 	]*:/$1/;
s/(invariant)[ 	]*:/$1/;
s/(invariant_redundantly)[ 	]*:/$1/;
s/(constraint)[ 	]*:/$1/;
s/(constraint_redundantly)[ 	]*:/$1/;
s/(depends)[ 	]*:/$1/;
s/(depends_redundantly)[ 	]*:/$1/;
s/(represents)[ 	]*:/$1/;
s/(represents_redundantly)[ 	]*:/$1/;
s/(axiom)[ 	]*:/$1/;
s/(accessible)[ 	]*:/$1/;
s/(accessible_redundantly)[ 	]*:/$1/;
s/(callable)[ 	]*:/$1/;
s/(callable_redundantly)[ 	]*:/$1/;
s/(because)[ 	]*:/$1/;
s/(because_redundantly)[ 	]*:/$1/;
s/(assert)[ 	]*:/$1/;
s/(assert_redundantly)[ 	]*:/$1/;
s/(assume)[ 	]*:/$1/;
s/(assume_redundantly)[ 	]*:/$1/;
s/(set)[ 	]*:/$1/;
s/(continues)[ 	]*:/$1/;
s/(continues_redundantly)[ 	]*:/$1/;
s/(breaks)[ 	]*:/$1/;
s/(breaks_redundantly)[ 	]*:/$1/;
s/(returns)[ 	]*:/$1/;
s/(returns_redundantly)[ 	]*:/$1/;
s/(maintaining)[ 	]*:/$1/;
s/(maintaining_redundantly)[ 	]*:/$1/;
s/(loop_invariant)[ 	]*:/$1/;
s/(loop_invariant_redundantly)[ 	]*:/$1/;
s/(decreasing)[ 	]*:/$1/;
s/(decreasing_redundantly)[ 	]*:/$1/;
s/(decreases)[ 	]*:/$1/;
s/(decreases_redundantly)[ 	]*:/$1/;
s/(requires)[ 	]*:/$1/;
s/(requires_redundantly)[ 	]*:/$1/;
s/(when)[ 	]*:/$1/;
s/(when_redundantly)[ 	]*:/$1/;
s/(measured_by)[ 	]*:/$1/;
s/(measured_by_redundantly)[ 	]*:/$1/;
s/(ensures)[ 	]*:/$1/;
s/(ensures_redundantly)[ 	]*:/$1/;
s/(signals)[ 	]*:/$1/;
s/(signals_redundantly)[ 	]*:/$1/;
s/(exsures)[ 	]*:/$1/;
s/(exsures_redundantly)[ 	]*:/$1/;
s/(diverges)[ 	]*:/$1/;
s/(diverges_redundantly)[ 	]*:/$1/;


# Copyright (C) 2001 Iowa State University
#
# This file is part of JML
#
# JML 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 2, or (at your option)
# any later version.
#
# JML 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 JML; see the file COPYING.  If not, write to
# the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.