Blocks and Statements

Block: 
		  { BlockStatements$_{\mathsf{opt}}$  }


BlockStatements: 

BlockStatement 

BlockStatements BlockStatement


BlockStatement: 

LocalVariableDeclarationStatement 

Statement


LocalVariableDeclarationStatement: 

LocalVariableDeclaration ;


LocalVariableDeclaration: 

Type VariableDeclarators


Statement: 

StatementWithoutTrailingSubstatement 

LabeledStatement 

IfThenStatement 

IfThenElseStatement 

WhileStatement 

ForStatement


StatementNoShortIf: 

StatementWithoutTrailingSubstatement 

LabeledStatementNoShortIf 

IfThenElseStatementNoShortIf 

WhileStatementNoShortIf 

ForStatementNoShortIf


StatementWithoutTrailingSubstatement: 

Block 

EmptyStatement 

ExpressionStatement 

SwitchStatement 

DoStatement 

BreakStatement 

ContinueStatement 

ReturnStatement 

SynchronizedStatement 

ThrowStatement 

TryStatement


EmptyStatement: 
		  ;


LabeledStatement: 

Identifier : Statement


LabeledStatementNoShortIf: 

Identifier : StatementNoShortIf


ExpressionStatement: 

StatementExpression ;


StatementExpression: 

Assignment 

PreIncrementExpression 

PreDecrementExpression 

PostIncrementExpression 

PostDecrementExpression 

MethodInvocation 

ClassInstanceCreationExpression


IfThenStatement: 
		  if ( Expression ) Statement


IfThenElseStatement: 
		  if ( Expression ) StatementNoShortIf else Statement


IfThenElseStatementNoShortIf: 
		  if ( Expression ) StatementNoShortIf else StatementNoShortIf


SwitchStatement: 
		  switch ( Expression ) SwitchBlock


SwitchBlock: 
		  { SwitchBlockStatementGroups$_{\mathsf{opt}}$  SwitchLabels$_{\mathsf{opt}}$  }


SwitchBlockStatementGroups: 

SwitchBlockStatementGroup 

SwitchBlockStatementGroups SwitchBlockStatementGroup


SwitchBlockStatementGroup: 

SwitchLabels BlockStatements


SwitchLabels: 

SwitchLabel 

SwitchLabels SwitchLabel


SwitchLabel: 
		  case ConstantExpression : 
		  default :


WhileStatement: 
		  while ( Expression ) Statement


WhileStatementNoShortIf: 
		  while ( Expression ) StatementNoShortIf


DoStatement: 
		  do Statement while ( Expression ) ;


ForStatement: 
		  for ( ForInit$_{\mathsf{opt}}$  ; Expression$_{\mathsf{opt}}$  ; ForUpdate$_{\mathsf{opt}}$  ) 

Statement


ForStatementNoShortIf: 
		  for ( ForInit$_{\mathsf{opt}}$  ; Expression$_{\mathsf{opt}}$  ; ForUpdate$_{\mathsf{opt}}$  ) 

StatementNoShortIf


ForInit: 

StatementExpressionList 

LocalVariableDeclaration


ForUpdate: 

StatementExpressionList


StatementExpressionList: 

StatementExpression 

StatementExpressionList , StatementExpression


BreakStatement: 
		  break Identifier$_{\mathsf{opt}}$  ;


ContinueStatement: 
		  continue Identifier$_{\mathsf{opt}}$  ;


ReturnStatement: 
		  return Expression$_{\mathsf{opt}}$  ;


ThrowStatement: 
		  throw Expression ;


SynchronizedStatement: 
		  synchronized ( Expression ) Block


TryStatement: 
		  try Block Catches 
		  try Block Catches$_{\mathsf{opt}}$  Finally


Catches: 

CatchClause 

Catches CatchClause


CatchClause: 
		  catch ( FormalParameter ) Block


Finally: 
		  finally Block