Activity for David Cok
-
David Cok modified ticket #411
All Eclipse hover error messages turned into "Counterexample: no proof information available"
-
Yes - this problem is fixed in current OpenJML (0.8.51). Note that you do have to be running Java 1.8. It appears that Eclipse downloads in 2020ff presume Java 11, causing problems also. I'm successful with Eclipse 2019-12, and am workiung to upgrade OpenJML to currnet Java (instead of Java 8)
-
Protecting against make errors
-
Fixes to jmldocs
-
Slight changes to Makefiles for platform independence and documentation
-
javadocs/jmldocs now work from any subdirectory
-
Updating TODO
-
Testing cross-platform issues for jmldocs
-
Comment on potential failure
-
fixes to javadoc comments
-
avoiding error in runtests; adding ability to run jmldoc on local directory
-
Committing tests that exercise recovery from parsing failures in referenced files
-
Fixing patform dependencies
-
Changes to add javadoc comments to java files automatically generated by optgen
-
Fixed a bug in which cached files found to match a type name are not cleared when the FileFinder is changed
-
More cleanup of visitor pattern
-
changes to implement 'mjc .' and the recursive flag; partial cleanup of the visitor pattern
-
Changed some exit calls to RuntimeException
-
Added some missing accessors
-
Tidying up javadoc/jml comments
-
Adjusting javadoc entries
-
continuing even if an error in tests
-
Making CLS_UNDEFINED publicly available
-
Changing the map of files processed to accommodate Mac implementation of File
-
Adding import for the sake of a javadoc comment
-
fixed documentation
-
more of the first version
-
Handling CmopilationAbortedException
-
enhancements to testing
-
Creating nonexistent destination directories
-
adding tests
-
replacing exit with a RuntimeException
-
first version of mjdoc
-
refactoring needed for mjdoc
-
added accessors for the imported classes and packages
-
adding tests
-
more of the first version of mjdoc
-
Adding tests
-
Cleaned up comments and deleted obsolete actions
-
updating tests
-
updating tests
-
Check for non-writable destination
-
Added the ability to locate packages on the classpath
-
Updating bug and problems lists
-
preventing null exception when there is an invalid option
-
Turning off mjdoc tests
-
general updates to mjdoc and to tests
-
new files to mjdoc
-
Changes to mjdoc to fix command-line options and html format
-
Catching CompilationAbortedException
-
removed a debugging line
-
Adding test files
-
adding mjdoc test files
-
Adding features to access the resulting class path, to find packages, to set the boot class path
-
adding tests
-
cleanup and integration with jmldoc
-
Implemented a more natural ordering for the index of generic functions
-
Added compilation unit package name to the generic function list
-
Fixing mjdoc tests
-
Fixing problem with finding package.html files that are on the sourcepath but not the classpath
-
updating tests
-
Expanded link labels and fixe bug in comment inheritance
-
Cleaning up exceptions and other misc stuff
-
Fixing mjdoc tests
-
Change to optgen
-
Corrections to typos and phrasing per Gary's suggestions
-
adding todd's tests
-
Noted new bug: summary and detail navigation points do not list anything
-
Fixing a problem with directory paths in jmldocsonly target
-
Changes to enable the integrated jmldoc
-
fixed a problem with the ordering of items in a mjdoc index. The ordering had been using the fully-qualified name of classes; now it uses the name as it is displayed. Also, the ordering uses non-case-sensitive comparision as does javadoc. Fixed a couple javadoc syntax errors and improved the summary sentence algorithm along the way.
-
Repairing test results
-
fixed syntax errors in annotations
-
Further improvements and corrections to jmldoc
-
annotation edit
-
adding jmldocs to runtests
-
fix to a bug reported by Todd - failure to properly parse the arguments of a method in an @see tag
-
removing make jmldocs, put in in error
-
fixing a problem with jmldocs in which private and package items are not documented
-
minor refactoring to support methods with no body
-
Completed the implementation of parsing hex longs
-
Some fixes to mjdoc for specialized types
-
An innocuous change - but the previous change was actually to implement the parsing of strings that begin with 0x or end in L or l
-
Changes to give better control over spacing
-
Cleaning up the jmldocs make targets. Now 'make javadocs' will make html documentation using mjdoc into MJ/javadocs in the MJ hierarchy and of JML2 into JML2/javadocs in the JML2 hierarchy. The JML2 documentation will link into the MJ documentation. The target 'make jmldocs' is valid only in JML2 and will make html with JML annotations for all of specs, models, MJ, and JML2 with consistent, interlinking links.
-
enabling the printing of formal parameter modifiers
-
refactoring for putting argument modifiers in html
-
fixing a problem with the task sequencing
-
Added explicit use of the footer, though it still is the same as the header
-
Enhancing the -help output; added option validation and -group; made -D an error because it is ambiguous - javadoc thinks it is -d, mjdoc thinks it is --deprecation
-
Slight change to option description
-
Rest of the fix for inheriting comments from interfaces
-
now does not create Docs for static initializers, so now they will not appear in indices or lists of members
-
Fixing links to constructors
-
Fixing inheriting of interface comments
-
updated documentation
-
adding some comments
-
fixed @see logic to create links to fields
-
adding comments
-
avoiding a spurious error message for unresolved classes in link tags in package.html files; adding an extension to javadoc to find unqualilfied classes in link tags in package.html files if they are in the same package as the package.html file.
1 >