Activity for Yoonsik Cheon
-
Yoonsik Cheon committed [r43]
Made "catchUp" tasks for anonymous inner classes and local innerclasses
-
added a missing "ensures" keyword.
-
Made standard Java classes such as Object, Class, etc reinitializable.
-
Added an accessor oper() for the uniform treatment of all kinds of
-
corrected a minor syntax error in the JML specification of the method
-
Added a query method constructor().
-
fixing the problem of the main method returning 0 when an input file is not
-
Added an accessor getCField for use in JML.
-
Fixing visibility of JML specifications (as a part of testing the
-
Fixing JML specifications to reflect the JML's new visibility/purity
-
Making a couple of fields spec_public to pass the JML visibility
-
Added a lot of "pure" annotations.
-
Added "pure" annotations.
-
Making an access method pure so that it can be used in JML specifications.
-
A simple pretty-printing for Java 1.4 assert statements.
-
Fixed pretty-printing of unary expressions; added a trailing space
-
Extended the use of noBodyOk hook, which I think due to David, to
-
Made a change to pretty-print constructors with null body, e.g., model
-
Fixed pretty-printing of variable declaration statements; before, a
-
Better pretty-printing of field reference expressions; generated
-
Fixing pretty-printing of local inner classes. A local class
-
Better pretty-printing of field references by retaining their forms as
-
Added a new utility class for JUnit-based testing.
-
Improved a bit.
-
Utility class for JUnit-based regression testing.
-
Fixing pretty-printing of qualified names. Thanks to Marko for
-
Fixing pretty-printing of unary promotion expressions.
-
Added methods to accumulate all inherited methods except for those
-
Refactored to support .sym files for JML.
-
Refactored the genInners() method by introducing a hook method so that
-
Refactored to add a subclass in the JML project.
-
Widened visibility to allow subclasses in JML.
-
Defined the minimum size for the main window. The main window now can
-
Added to the JML GUI a popup menu consisting of such edit menu items as
-
Fixed pretty-printing of unary promotion expressions. Thank to Roy for
-
Fixed the collectInterfaceMethods to collect interfaces methods only if
-
Added a new access method protoMethods.
-
Fixing to ignore empty lines.
-
Imported JML RAC source files.
-
shell scripts for running jmlc and jmlunit.
-
Added jmlrac and jmlunit to the subdirectoy.
-
Imported jmlunit source files.
-
Improved test class generation and added JML/JUnit-specific test
-
Changed "expected result"-based testing to compilation-based
-
Added a sample for using jmlunit.
-
added TODO-list.
-
added sample directory
-
added jmlrac and jmlunit to the javadocs target.
-
added helper testcase classes.
-
better Javadoc comments and added package description.
-
Moved JML-related to-do and bug items from RAC TODO.txt to JML TODO.txt.
-
added a to-do item concerned with importing models
-
Speedup by not typechecking recursively referenced types.
-
correction to JML specs and better error handling.
-
test case for CheckInitializerTask.
-
correction to checking invariants for default constructors.
-
Invariants check for default constructors.
-
correction wrt a new jmlrac capability of checking invariants for
-
Checking modifiers and static-ness of type-level clauses (e.g.,
-
Checking static-ness of type-level clauses such as invariant,
-
Checking modifiers of invariant, constraint, depends, and
-
More checking for axiom clauses; still need to disallow \lockset
-
script for running jmlc and jmlunit
-
JML-specific modifiers checking for classes and interfaces; allowed
-
Checking JML-specific modifiers for field declarations; allowed
-
Checking JML-specific modifiers for method declarations; allowed
-
Renamed some test cases in the bugs directory and moved some of them to
-
Added jmlrac subpackages to the javadocs/jmldocs target;
-
Initial work to translate old expressions appearing inside quantified
-
Added a test case for accessing hidden spec_public fields from
-
test cases for accessing hidden model fields.
-
A more through treatment of translation of old expressions with
-
better doc
-
Removed several junk files (*-ckd).
-
More typechecking for represent clauses and corrections of test cases
-
Changed production rules for both represents clauses and depends clauses;
-
Fixed calls to model variable access methods for expressions such
-
More type checking for depends clauses; refactored type checking code
-
Worked with Gary to produce better error messages;
-
Better typechecking for represents clauses; non-static clauses should
-
Corrected typos in error messages.
-
Fixed the problem of not printing "import" statements due to
-
Unified mechanisms for making dynamic calls to model field accessors and
-
A fix to the translation of multiple signals clauses.
-
Added better Javadoc to the generated test class as suggested by Gary
-
Added a couple of options to generate skeleton test case classes
-
Correction to Javadoc comments.
-
Modified Makefiles to compile all test files in a directory at once
-
Fixed the problem of typechecking model instance variables of
-
Fixed the problem of typechecking model instance fields of interfaces
-
Fixed the problem of jml complaining about the field not being
-
Generalized typechecking rules for signals clause, thank to Erik Poll;
-
Added a test for allowing supertypes of RuntimeException in the
-
added a jmlrac test case to reflect the new type checking rule
-
Correction to the default modifiers for (instance) ghost fields
-
Removed options such as genAssertions, as pointed out by Gary.
-
added the missing "add" method.
-
cleaned some of command-line options, e.g., removed --Testcase
-
Cleaned command-line options for jmlrac.
-
corrected desugaring of method specifications with model programs.
1 >