#!/usr/bin/perl -w -p -i.saved

$^W = 1; # Windows equivalent to using the -w command-line flag under UNIX.

use strict;
use diagnostics;

my $m = <<EOS;
// FIXME: adapt this file to non-null-by-default and remove the following modifier.
/*@ nullable_by_default @*/ 
EOS
s/^((public(\s+(abstract|strictfp|\/\*\@[^\*]*\*\/))*)?\s*(class|interface)\b)/$m$1/g;

#=============================================================================
# $Id: addnullable,v 1.3 2005/12/06 19:46:05 chalin Exp $
#
# Use this script add nullable_by_default to JML annotated Java source files.
#-----------------------------------------------------------------------------
#
# Copyright (C) 2005, 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.
#------------------------------------------------------------------------------
# End of file $RCSfile: addnullable,v $