Initial directory structure.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@1 eae5a99b-0f18-394e-caa0-dd8346a44ace


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@2 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Migrated kool-typed-dynamic semantics to java syntax.
2.Implemented try-finally.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@3 eae5a99b-0f18-394e-caa0-dd8346a44ace
Resolved problems with composite expressions involving dot operator. Added related tests.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@4 eae5a99b-0f18-394e-caa0-dd8346a44ace
- Deleted syntax module. 
- Switched from context rules to strictness on KLabel's where appropriate. 
- Implemented array length field.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@5 eae5a99b-0f18-394e-caa0-dd8346a44ace
implemented java operators - infix, prefix, postfix.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@6 eae5a99b-0f18-394e-caa0-dd8346a44ace
Completely implemented int and bool operators, including bitwise ones. Tested.
The only difference from JLS: integer values are unlimited, so no overflow can occur.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@7 eae5a99b-0f18-394e-caa0-dd8346a44ace
Added test for composite assignment operators.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@8 eae5a99b-0f18-394e-caa0-dd8346a44ace
Completely implemented and tested the following:
1. All composite assignment operators.
2. do statement
3. Constructors, simplified semantcs. Constructors are just replaced
with methods with same name and return type void.
4. break statement with and without labels.
5. continue statement with and without labels.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@9 eae5a99b-0f18-394e-caa0-dd8346a44ace
Started work on switch statement. Most basic form ( test 1 in the plan) is implemented.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@10 eae5a99b-0f18-394e-caa0-dd8346a44ace
Split Java definition into 5 modules, each in a separate file.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@11 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Formatted most of java-statements.
2. Fixed some bugs with exception propagation.
3. Extended print method capabilities to accept as argument objects.
  For objects their class name is printed.



git-svn-id: https://java-semantics.googlecode.com/svn/trunk@12 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Switch statemetn completely implemented and tested.
2. Formatted fine java-statements.k

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@13 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Added support for empty statement.
2. Rearranged java-statements.k sections according to JLS chapter 14.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@14 eae5a99b-0f18-394e-caa0-dd8346a44ace
Implemented assert statement.
Thus, all statements which deal with single-threaded computation are implemented.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@15 eae5a99b-0f18-394e-caa0-dd8346a44ace
Begin refactoring to represent values as value-type pairs. And add references.
Implemented array reference.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@16 eae5a99b-0f18-394e-caa0-dd8346a44ace
Rolling back first version of value-pair implementation.

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@17 eae5a99b-0f18-394e-caa0-dd8346a44ace
Second attempt to roll back to revision 15. (First one was unsuccessful).

git-svn-id: https://java-semantics.googlecode.com/svn/trunk@18 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Reformatted the whole definition.
2. Extracted arrays into a separate k file.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@19 eae5a99b-0f18-394e-caa0-dd8346a44ace
1. Refactored value system. Now all values
are followed by a type, anywhere in configuration, of form
RawVal :: Type.
2. Tested the change on a large subset of test programs.
3. Changed parser to correctly translate literals into new values.
4. Cleaned up some tests.


git-svn-id: https://java-semantics.googlecode.com/svn/trunk@20 eae5a99b-0f18-394e-caa0-dd8346a44ace