ProfessorJ Intermediate Language

• PROGRAM
  • IMPORT ... DEF ...
• IMPORT
  • import QUALIFIED_NAME ;
  • import QUALIFIED_NAME .*;
• DEF
  • CLASS-DEF
  • INTERFACE-DEF
• CLASS-DEF
  • class NAME { MEMBER ... }
  • class NAME extends NAME { MEMBER ... }
  • abstract class NAME { MEMBER ... }
  • abstract class NAME extends NAME { MEMBER ... }
  • class NAME implements NAME, NAME ... { MEMBER ... }
  • class NAME extends NAME implements NAME, NAME ... { MEMBER ... }
  • abstract class NAME implements NAME, NAME ... { MEMBER ... }
  • abstract class NAME extends NAME implements NAME, NAME ... { MEMBER ... }
• INTERFACE-DEF
  • interface NAME { METHOD-DECL ... }
  • interface NAME extends NAME , NAME ... { METHOD-DECL ... }
• MEMBER
  • CONSTRUCTOR
  • METHOD
  • FIELD
• CONSTRUCTOR
  • NAME (TYPE NAME, ...) { STATEMENT ...}
• METHOD
  • METHOD-RETURN NAME (TYPE NAME, ...) { STATEMENT ... }
  • abstract METHOD-RETURN NAME (TYPE NAME, ...);
• METHOD-RETURN
  • void
  • TYPE
• FIELD
  • TYPE NAME;
  • TYPE NAME= EXPRESSION;
  • TYPE DECL-INIT , DECL-INIT ...;
• DECL-INIT
  • NAME
  • NAME= EXPRESSION
• METHOD-DECL
  • abstract METHOD-RETURN NAME (TYPE NAME, ...);
  • METHOD-RETURNNAME (TYPE NAME ...);
• STATEMENT
  • EXPRESSION = EXPRESSION;
  • if (EXPRESSION) STATEMENT else STATEMENT
  • return EXPRESSION;
  • return ;
  • {STATEMENT ...}
  • super( EXPRESSION ... );
  • TYPE DECL-INIT , DECL-INIT ...;
  • STATEMENT-EXPRESSION;
• STATEMENT-EXPRESSION
  • NAME( EXPRESSION, ...)
  • EXPRESSION.NAME( EXPRESSION, ...)
  • super.NAME( EXPRESSION, ...)
• EXPRESSION
  • EXPRESSION OP EXPRESSION
  • -EXPRESSION
  • +EXPRESSION
  • EXPRESSION && EXPRESSION
  • EXPRESSION || EXPRESSION
  • !EXPRESSION
  • this
  • NAME( EXPRESSION, ...)
  • EXPRESSION.NAME( EXPRESSION, ...)
  • super.NAME( EXPRESSION ...)
  • EXPRESSION.NAME
  • new NAME( EXPRESSION ...)
  • (TYPE) EXPRESSION
  • (EXPRESSION)
  • NAME
  • EXPRESSION instanceof TYPE
  • NUMBER
  • CHARACTER
  • true
  • false
  • STRING
  • check EXPRESSION expect EXPRESSION
  • check EXPRESSION expect EXPRESSION within EXPRESSION
• QUALIFIED-NAME
  • NAME. ...NAME
• NAME
  • a sequence of keyboard characters not including certain characters and not forbidden to use as a name
• TYPE
  • prim-type
  • NAME
• OP
  • +, -, *, /
  • <, <=, ==, >, >=

---