Simple Java Subset, in Scheme Syntax

Expressions remain in Scheme syntax, with primitive operations +, -,
/, *, ==, !=, &&, ||, ?, <, >, <=, >=

Also assignment operators =, *=, /=, +=, -=

Literals: numbers, booleans (#T, #F), characters (#\...), string,
NULL (symbol)

No arrays, exceptions, threads, packages, explicit constructors, switch.

Types are: number, char, boolean, <name> for ClassOrInterfaceType

<name> is either a symbol or (DOT identifier ...)

(CLASS <modifiers> <symbol> <super> <interfaces> . <classbody>)
  <modifiers> is a list of zero or more of 
    PUBLIC PROTECTED PRIVATE STATIC ABSTRACT FINAL
  <super> is either (EXTENDS <classtype>) or omitted
  <interfaces> is either (IMPLEMENTS <InterfaceTypeList> ...) or
    omitted
  <classbody> is one of
    (FIELD <modifiers> <type> (<VariableDecl>...))
       where <VariableDecl> is <name> or (= <name> <expr>)
    (METHOD <modifiers> <Type or VOID> <name> (<parameter>...) <block>)
       where <parameter> is (<type> <name>)
    (STATIC <block>)

(INTERFACE <modifiers> <symbol> <super> . <interfacebody>)
  but the names in <super> must be names of interfaces
  where <interfacebody> is
    <ConstantDeclaration> [syntactically a FieldDeclaration] or
    <AbstractMethodDeclaration> [syntactically a MethodHeader, i.e.
	  a MethodDeclaration without the body]

<Block> is a list of <statement>s

<Statement> includes:
  (VARIABLES <type> <VariableDecl> ...)
  (IF <boolean expr> <statement> <statement>)
  <expr>
  (WHILE <boolean expr> <command>)
  (DO <command> <boolean expr>)
  (BLOCK <statement> ...)
  (LABEL <name> <statement>)
  (FOR <expr> <boolean expr> <expr> <command>)

<expr> includes:
  (<operator> <args>) from list earlier
  literals
  THIS
  (NEW <ClassType> <expr> ...)
  (DOT <primary-expr> <symbol>)
  (SUPER <symbol>)
  (CALL <expr> <expr>*)
  (CAST <type> <expr>)
  (INSTANCEOF <expr> <type>)

========================================

(JAVA-OBJECT (INSTANCEOF class) 
	     (FIELDS (name val)*))


Class is
(JAVA-OBJECT (INSTANCEOF Object)
	     (FIELDS (EXTENDS Class)
		     (IMPLEMENTS Interface*)
		     (STATIC-FIELDS (name type init?)*)
		     (STATIC-METHODS Method*)
		     (FIELDS (name type init?)*)
		     (METHODS Method*)))



Class Point is

(JAVA-OBJECT (INSTANCEOF Class)
	     (FIELDS (EXTENDS Object)
		     (IMPLEMENTS)
		     (STATIC-FIELDS)
		     (STATIC-METHODS)
		     (FIELDS (xcor Number)
			     (ycor Number))
		     (METHODS (translate (JAVA-METHOD (ARGS byX byY)
					   (BODY (xcor += byX)
						 (ycor += byY)
						 (return)))))))
	   
		     
(JAVA-CLASS (EXTENDS class*) 
	    (IMPLEMENTS interface*)
	    (STATIC-FIELDS