jmlspecs-commits Mailing List for Java Modeling Language (JML) (Page 412)

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/checker
In directory sc8-pr-cvs1:/tmp/cvs-serv23238/jmlspecs/checker

Modified Files:
	JmlMessages.msg JmlMethodDeclaration.java 
Log Message:
If a method has both "synchronized" and "pure" modifiers, the
typechecker produces a warning message at level 2 complaining that a
synchronized method can't be pure. The inheritance of the pure
modifier is not handled yet. To test warning messages, I added a file
named "warning-tests" to the testcase directory
testcase/typecheck. Each testcase appearing appearing in this file is
typechecked with the warning level 3, i.e., -w3.

Update of /cvsroot/jmlspecs/JML2/specs/java/util
In directory sc8-pr-cvs1:/tmp/cvs-serv22592/java/util

Modified Files:
	Locale.jml 
Log Message:
Putting back the synchronized modifier to the method hashCode.

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/models/tests
In directory sc8-pr-cvs1:/tmp/cvs-serv25281

Modified Files:
	Makefile 
Log Message:
Added the checked-tests target, so can run the tests with assertion
checks on in just this directory.

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv3375

Modified Files:
	NEWS.txt 
Log Message:
Incorporating some notes from a conversation with Clyde, and a few
other pieces of news that I remember.

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv31176

Modified Files:
	README.html 
Log Message:
Updated to include more information about contacting us via SourceForge.

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv30459

Modified Files:
	ftp.README 
Log Message:
updated

Update of /cvsroot/jmlspecs/JML2/docs
In directory sc8-pr-cvs1:/tmp/cvs-serv15995

Modified Files:
	developer-tips.html 
Log Message:
updated with more information about using sourceforge.net.

Update of /cvsroot/jmlspecs/JML2/specs/java/util
In directory sc8-pr-cvs1:/tmp/cvs-serv25811

Modified Files:
	Locale.jml 
Log Message:
Removed the synchronized modifier from the method hashCode.

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv730

Modified Files:
	Make.ProjDefs 
Log Message:
Including the ant tasks in the jmldoc generation is now controlled by Curt's test that Ant is on the classpath - thus the jmldocs are generated if the ant and xerces libraries are on the class path, and are not generated if ant is not on the classpath

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/ant/tasks
In directory sc8-pr-cvs1:/tmp/cvs-serv31645/org/jmlspecs/ant/tasks

Modified Files:
	Makefile 
Log Message:
Efficiency and consistency improvement in runtests

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv11561

Modified Files:
	Make.ProjDefs 
Log Message:
Reverting an accidental change to the variable JAVAC.

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/jmlrac
In directory sc8-pr-cvs1:/tmp/cvs-serv12180

Modified Files:
	PreValueVars.java TransClass.java TransConstraint.java 
	TransMethod.java TransType.java 
Log Message:
Maked RAC-added fields transient. Thanks to Gary for the suggestion.

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/jmldoc/testcase
In directory sc8-pr-cvs1:/tmp/cvs-serv24697

Modified Files:
	DefaultOptionsTestSuite.java NonDefaultOptionsTestSuite.java 
Log Message:
Removing uses of parseResult, which use exec calls that are not platform independent

Update of /cvsroot/jmlspecs/JML2/docs
In directory sc8-pr-cvs1:/tmp/cvs-serv26806

Modified Files:
	developer-tips.html 
Log Message:
Better version of these changes

Update of /cvsroot/jmlspecs/JML2/docs
In directory sc8-pr-cvs1:/tmp/cvs-serv16237

Modified Files:
	developer-tips.html 
Log Message:
Added information about how to upload keys to avoid retyping passwords.

Update of /cvsroot/jmlspecs/JML2/org/jmlspecs/checker/testcase/typecheck
In directory sc8-pr-cvs1:/tmp/cvs-serv21948

Modified Files:
	TestsWithNoOutput.java 
Log Message:
Removing use of ExternalInputIterator, since it is not platform independent

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv9552

Modified Files:
	Make.ProjDefs 
Log Message:
Commented out a jmldocs target definition line to exclude ant
directory.

Update of /cvsroot/jmlspecs/JML2/docs
In directory sc8-pr-cvs1:/tmp/cvs-serv32434

Modified Files:
	developer-tips.html 
Log Message:
Added information about JML being on sourceforge.net.

Update of /cvsroot/jmlspecs/JML2
In directory sc8-pr-cvs1:/tmp/cvs-serv15672

Modified Files:
	TODO.txt 
Log Message:
Testing CVS commit messages

Test commit list message

-- 

        Gary T. Leavens
        Department of Computer Science, Iowa State University
        229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
        http://www.cs.iastate.edu/~leavens  phone: +1-515-294-1580