ProfessorJ Advanced Language

• PROGRAM
  • IMPORT ... DEF ...
  • package QUALIFIED_NAME; IMPORT ... DEF ...
• IMPORT
  • import QUALIFIED_NAME ;
  • import QUALIFIED_NAME .*;
• DEF
  • CLASS-DEF
  • public CLASS-DEF
  • INTERFACE-DEF
  • public 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-SIG ... }
  • interface NAME extends NAME , NAME ... { METHOD-SIG ... }
• MEMBER
  • CONSTRUCTOR
  • MODIFIER CONSTRUCTOR
  • METHOD
  • MODIFIER METHOD
  • FIELD
  • MODIFIER FIELD
  • { STATEMENT ... }
• CONSTRUCTOR
  • NAME (TYPE NAME, ...) { STATEMENT ...}
• METHOD
  • METHOD-RETURN NAME (TYPE NAME, ...) { STATEMENT ... }
  • abstract METHOD-RETURN NAME (TYPE NAME, ...);
  • final METHOD-RETURN NAME (TYPE NAME, ...) { STATEMENT ... }
  • static METHOD-RETURN NAME (TYPE NAME, ...) { STATEMENT ... }
• METHOD-RETURN
  • void
  • TYPE
• FIELD
  • TYPE DECL-INIT , DECL-INIT ...;
  • static TYPE DECL-INIT , DECL-INIT ...;
• DECL-INIT
  • NAME
  • NAME= EXPRESSION
  • NAME= ARRAY-INIT
• ARRAY-INIT
  • {ARRAY-INIT, ...}
  • {EXPRESSION, ...}
• METHOD-SIG
  • abstract METHOD-RETURN NAME (TYPE NAME, ...);
  • METHOD-RETURNNAME (TYPE NAME ...);
• STATEMENT
  • EXPRESSION = EXPRESSION;
  • if (EXPRESSION) STATEMENT else STATEMENT
  • if (EXPRESSION) {STATEMENT} else {STATEMENT}
  • if (EXPRESSION) STATEMENT
  • return EXPRESSION;
  • return ;
  • {STATEMENT ...}
  • while (EXPRESSION) {STATEMENT}
  • do {STATEMENT} while (EXPRESSION);
  • for (FOR-INIT ; EXPRESSION ; FOR-UPDATE , FOR-UPDATE ...) {STATEMENT}
  • break;
  • continue;
  • super( EXPRESSION ... );
  • this(EXPRESSION ... );
  • TYPE DECL-INIT , DECL-INIT ...;
  • STATEMENT-EXPRESSION;
• FOR-INIT
  • TYPE DECL-INIT , DECL-INIT ...;
  • STATEMENT-EXPRESSION, STATEMENT-EXPRESSION ...
• FOR-UPDATE
  • STATEMENT-EXPRESSION
  • ASSIGNMENT
• STATEMENT-EXPRESSION
  • NAME( EXPRESSION, ...)
  • EXPRESSION.NAME( EXPRESSION, ...)
  • super.NAME( EXPRESSION, ...)
  • NAME.NAME( EXPRESSION, ...)
  • EXPRESSION++
  • ++EXPRESSION
  • EXPRESSION--
  • --EXPRESSION
• EXPRESSION
  • EXPRESSION OP EXPRESSION
  • -EXPRESSION
  • +EXPRESSION
  • EXPRESSION++
  • ++EXPRESSION
  • EXPRESSION--
  • --EXPRESSION
  • EXPRESSION && EXPRESSION
  • EXPRESSION || EXPRESSION
  • !EXPRESSION
  • this
  • NAME( EXPRESSION, ...)
  • EXPRESSION.NAME( EXPRESSION, ...)
  • super.NAME( EXPRESSION ...)
  • NAME.NAME( EXPRESSION, ...)
  • EXPRESSION.NAME
  • NAME.NAME
  • EXPRESSION[EXPRESSION] [EXPRESSION] ...
  • new NAME( EXPRESSION ...)
  • new TYPE[EXPRESSION] [EXPRESSION] ...
  • (TYPE) EXPRESSION
  • EXPRESSION instanceof TYPE
  • EXPRESSION ? EXPRESSION : EXPRESSION
  • (EXPRESSION)
  • NAME
  • 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
  • TYPE[]
• MODIFIER
  • public
  • protected
  • private
• OP
  • +, -, *, /
  • <, <=, ==, >, >=

---