public class Parser
extends java.lang.Object
'JLS7' refers to the Java Language Specification, Java SE 7 Edition.
Modifier and Type | Class and Description |
---|---|
static class |
Parser.ClassDeclarationContext
Enumerator for the kinds of context where a class declaration can occur.
|
static class |
Parser.InterfaceDeclarationContext
Enumerator for the kinds of context where an interface declaration can occur.
|
Modifier and Type | Field and Description |
---|---|
private static int[] |
BASIC_TYPE_CODES |
private static java.lang.String[] |
BASIC_TYPE_NAMES |
private static short[] |
MODIFIER_CODES |
private static java.lang.String[] |
MODIFIER_NAMES |
private static short[] |
MUTUALLY_EXCLUSIVE_MODIFIER_CODES |
private Scanner.Token |
nextButOneToken |
private Scanner.Token |
nextToken |
private WarningHandler |
optionalWarningHandler |
private Scanner |
scanner |
Modifier and Type | Method and Description |
---|---|
protected CompileException |
compileException(java.lang.String message)
Convenience method for throwing a
CompileException . |
Scanner |
getScanner() |
private static int |
indexOf(int[] values,
int subject) |
private static int |
indexOf(java.lang.String[] strings,
java.lang.String subject) |
private static java.lang.String |
join(java.lang.String[] sa,
java.lang.String separator) |
Location |
location() |
Java.Atom |
parseAdditiveExpression()
AdditiveExpression :=
MultiplicativeExpression { ( '+' | '-' ) MultiplicativeExpression }
|
Java.Atom |
parseAndExpression()
AndExpression :=
EqualityExpression { '&' EqualityExpression }
|
private Java.Annotation |
parseAnnotation()
Annotation :=
MarkerAnnotation // JLS7 9.7.2
| SingleElementAnnotation // JLS7 9.7.3
| NormalAnnotation // JLS7 9.7.1
MarkerAnnotation := '@' Identifier
SingleElementAnnotation := '@' Identifier '(' ElementValue ')'
NormalAnnotation := '@' TypeName '(' ElementValuePairsOpt ')'
ElementValuePairsOpt := [ ElementValuePair { ',' ElementValuePair } ]
|
Java.Rvalue[] |
parseArgumentList()
ArgumentList := Expression { ',' Expression }
|
Java.Rvalue[] |
parseArguments()
Arguments := '(' [ ArgumentList ] ')'
|
Java.ArrayInitializer |
parseArrayInitializer()
ArrayInitializer :=
'{' [ VariableInitializer { ',' VariableInitializer } [ ',' ] '}'
|
Java.Statement |
parseAssertStatement()
AssertStatement := 'assert' Expression [ ':' Expression ] ';'
|
Java.Atom |
parseAssignmentExpression()
AssignmentExpression :=
ConditionalExpression [ AssignmentOperator AssignmentExpression ]
AssignmentOperator :=
'=' | '*=' | '/=' | '%=' | '+=' | '-=' | '<<=' |
'>>=' | '>>>=' | '&=' | '^=' | '|='
|
Java.Block |
parseBlock()
'{' BlockStatements '}'
|
Java.BlockStatement |
parseBlockStatement()
BlockStatement := { Identifier ':' } (
( Modifiers Type | ModifiersOpt BasicType ) VariableDeclarators ';' |
'class' ...
|
java.util.List<Java.BlockStatement> |
parseBlockStatements()
BlockStatements := { BlockStatement }
|
(package private) int |
parseBracketsOpt()
BracketsOpt := { '[' ']' }
|
Java.Statement |
parseBreakStatement()
BreakStatement := 'break' [ Identifier ] ';'
|
void |
parseClassBody(Java.ClassDeclaration classDeclaration)
ClassBody := '{' { ClassBodyDeclaration } '}'
|
void |
parseClassBodyDeclaration(Java.ClassDeclaration classDeclaration)
ClassBodyDeclaration :=
';' |
ModifiersOpt (
Block | // Instance (JLS7 8.6) or static initializer (JLS7 8.7)
'void' Identifier MethodDeclarationRest |
'class' ClassDeclarationRest |
'interface' InterfaceDeclarationRest |
ConstructorDeclarator |
Type Identifier (
MethodDeclarationRest |
FieldDeclarationRest ';'
)
)
|
Java.NamedClassDeclaration |
parseClassDeclarationRest(java.lang.String optionalDocComment,
Java.Modifiers modifiers,
Parser.ClassDeclarationContext context)
ClassDeclarationRest :=
Identifier [ typeParameters ]
[ 'extends' ReferenceType ]
[ 'implements' ReferenceTypeList ]
ClassBody
|
Java.CompilationUnit |
parseCompilationUnit()
CompilationUnit := [ PackageDeclaration ]
{ ImportDeclaration }
{ TypeDeclaration }
|
Java.Atom |
parseConditionalAndExpression()
ConditionalAndExpression :=
InclusiveOrExpression { '&&' InclusiveOrExpression }
|
Java.Atom |
parseConditionalExpression()
ConditionalExpression :=
ConditionalOrExpression [ '?' Expression ':' ConditionalExpression ]
|
Java.Atom |
parseConditionalOrExpression()
ConditionalOrExpression :=
ConditionalAndExpression { '||' ConditionalAndExpression ]
|
Java.ConstructorDeclarator |
parseConstructorDeclarator(java.lang.String optionalDocComment,
Java.Modifiers modifiers)
ConstructorDeclarator :=
Identifier
FormalParameters
[ 'throws' ReferenceTypeList ]
'{'
[ 'this' Arguments ';' | 'super' Arguments ';' | Primary '.' 'super' Arguments ';' ]
BlockStatements
'}'
|
Java.Statement |
parseContinueStatement()
ContinueStatement := 'continue' [ Identifier ] ';'
|
Java.Rvalue |
parseDimExpr()
DimExpr := '[' Expression ']'
|
Java.Rvalue[] |
parseDimExprs()
DimExprs := DimExpr { DimExpr }
|
Java.Statement |
parseDoStatement()
DoStatement := 'do' Statement 'while' '(' Expression ')' ';'
|
private Java.ElementValue |
parseElementValue()
ElementValue :=
ConditionalExpression
| Annotation
| ElementValueArrayInitializer
|
private Java.ElementValue |
parseElementValueArrayInitializer()
ElementValueArrayInitializer := '{' { ElementValue | ',' } '}'
|
private Java.ElementValuePair |
parseElementValuePair()
ElementValuePair := Identifier '=' ElementValue
|
Java.Statement |
parseEmptyStatement()
EmptyStatement := ';'
|
Java.Atom |
parseEqualityExpression()
EqualityExpression :=
RelationalExpression { ( '==' | '!=' ) RelationalExpression }
|
Java.Atom |
parseExclusiveOrExpression()
ExclusiveOrExpression :=
AndExpression { '^' AndExpression }
|
Java.Atom |
parseExpression()
Expression := AssignmentExpression
|
Java.Rvalue[] |
parseExpressionList()
ExpressionList := Expression { ',' Expression }
|
Java.Statement |
parseExpressionStatement()
ExpressionStatement := Expression ';'
|
Java.VariableDeclarator[] |
parseFieldDeclarationRest(java.lang.String name)
FieldDeclarationRest :=
VariableDeclaratorRest
{ ',' VariableDeclarator }
|
Java.FunctionDeclarator.FormalParameter |
parseFormalParameter(boolean[] hasEllipsis)
FormalParameter := [ 'final' ] Type [ '.' '.' '.' ] Identifier BracketsOpt
|
Java.FunctionDeclarator.FormalParameters |
parseFormalParameters()
FormalParameters := '(' [ FormalParameter { ',' FormalParameter } ] ')'
|
Java.Statement |
parseForStatement()
ForStatement :=
'for' '(' [ ForInit ] ';' [ Expression ] ';' [ ExpressionList ] ')' Statement
| 'for' '(' FormalParameter ':' Expression ')' Statement
ForInit :=
Modifiers Type VariableDeclarators
| ModifiersOpt BasicType VariableDeclarators
| Expression VariableDeclarators (1)
| Expression { ',' Expression }
|
Java.Statement |
parseIfStatement()
IfStatement := 'if' '(' Expression ')' Statement [ 'else' Statement ]
|
Java.CompilationUnit.ImportDeclaration |
parseImportDeclaration()
ImportDeclaration := 'import' ImportDeclarationBody ';'
|
Java.CompilationUnit.ImportDeclaration |
parseImportDeclarationBody()
ImportDeclarationBody := [ 'static' ] Identifier { '.' Identifier } [ '.' '*' ]
|
Java.Atom |
parseInclusiveOrExpression()
InclusiveOrExpression :=
ExclusiveOrExpression { '|' ExclusiveOrExpression }
|
void |
parseInterfaceBody(Java.InterfaceDeclaration interfaceDeclaration)
InterfaceBody := '{' {
';' |
ModifiersOpt (
'void' Identifier MethodDeclarationRest |
'class' ClassDeclarationRest |
'interface' InterfaceDeclarationRest |
Type Identifier (
MethodDeclarationRest |
FieldDeclarationRest
)
)
} '}'
|
Java.InterfaceDeclaration |
parseInterfaceDeclarationRest(java.lang.String optionalDocComment,
Java.Modifiers modifiers,
Parser.InterfaceDeclarationContext context)
InterfaceDeclarationRest :=
Identifier [ typeParameters ]
[ 'extends' ReferenceTypeList ]
InterfaceBody
|
Java.Statement |
parseLabeledStatement()
LabeledStatement := Identifier ':' Statement
|
Java.Rvalue |
parseLiteral()
Literal :=
IntegerLiteral
| FloatingPointLiteral
| BooleanLiteral
| CharacterLiteral
| StringLiteral
| NullLiteral
|
Java.Block |
parseMethodBody()
MethodBody := Block
|
Java.MethodDeclarator |
parseMethodDeclarationRest(java.lang.String optionalDocComment,
Java.Modifiers modifiers,
Java.Type type,
java.lang.String name)
MethodDeclarationRest :=
FormalParameters
{ '[' ']' }
[ 'throws' ReferenceTypeList ]
( ';' | MethodBody )
|
Java.Modifiers |
parseModifiers()
ModifiersAndAnnotations := { 'public' | 'protected' | 'private' | 'static' | 'abstract' | 'final' | 'native'
| 'synchronized' | 'transient' | 'volatile' | 'strictfp' | Annotation }
|
Java.Atom |
parseMultiplicativeExpression()
MultiplicativeExpression :=
UnaryExpression { ( '*' | '/' | '%' ) UnaryExpression }
|
Java.PackageDeclaration |
parsePackageDeclaration()
PackageDeclaration := 'package' QualifiedIdentifier ';'
|
Java.PackageMemberTypeDeclaration |
parsePackageMemberTypeDeclaration()
PackageMemberTypeDeclaration :=
ModifiersOpt 'class' ClassDeclarationRest |
ModifiersOpt 'interface' InterfaceDeclarationRest
|
Java.Atom |
parsePrimary()
Primary :=
CastExpression | // CastExpression 15.16
'(' Expression ')' | // ParenthesizedExpression 15.8.5
Literal | // Literal 15.8.1
Name | // AmbiguousName
Name Arguments | // MethodInvocation
Name '[]' { '[]' } | // ArrayType 10.1
Name '[]' { '[]' } '.' 'class' | // ClassLiteral 15.8.2
'this' | // This 15.8.3
'this' Arguments | // Alternate constructor invocation 8.8.5.1
'super' Arguments | // Unqualified superclass constructor invocation 8.8.5.1
'super' '.' Identifier | // SuperclassFieldAccess 15.11.2
'super' '.' Identifier Arguments | // SuperclassMethodInvocation 15.12.4.9
NewClassInstance |
NewAnonymousClassInstance | // ClassInstanceCreationExpression 15.9
NewArray | // ArrayCreationExpression 15.10
NewInitializedArray | // ArrayInitializer 10.6
BasicType { '[]' } | // Type
BasicType { '[]' } '.' 'class' | // ClassLiteral 15.8.2
'void' '.' 'class' // ClassLiteral 15.8.2
CastExpression :=
'(' PrimitiveType { '[]' } ')' UnaryExpression |
'(' Expression ')' UnaryExpression
NewClassInstance := 'new' ReferenceType Arguments
NewAnonymousClassInstance := 'new' ReferenceType Arguments [ ClassBody ]
NewArray := 'new' Type DimExprs { '[]' }
NewInitializedArray := 'new' ArrayType ArrayInitializer
|
java.lang.String[] |
parseQualifiedIdentifier()
QualifiedIdentifier := Identifier { '.' Identifier }
|
Java.ReferenceType |
parseReferenceType()
ReferenceType := QualifiedIdentifier [ TypeArguments ]
|
Java.ReferenceType[] |
parseReferenceTypeList()
ReferenceTypeList := ReferenceType { ',' ReferenceType }
|
Java.Atom |
parseRelationalExpression()
RelationalExpression :=
ShiftExpression {
'instanceof' ReferenceType
| '<' ShiftExpression [ { ',' TypeArgument } '>' ]
| '<' TypeArgument [ { ',' TypeArgument } '>' ]
| ( '>' | '<=' | '>=' ) ShiftExpression
}
|
Java.Statement |
parseReturnStatement()
ReturnStatement := 'return' [ Expression ] ';'
|
Java.Atom |
parseSelector(Java.Atom atom)
Selector :=
'.' Identifier | // FieldAccess 15.11.1
'.' Identifier Arguments | // MethodInvocation
'.' 'this' // QualifiedThis 15.8.4
'.' 'super' Arguments // Qualified superclass constructor invocation (JLS7 8.8.7.1)
'.' 'super' '.' Identifier | // SuperclassFieldReference (JLS7 15.11.2)
'.' 'super' '.' Identifier Arguments | // SuperclassMethodInvocation (JLS7 15.12.3)
'.' 'new' Identifier Arguments [ ClassBody ] | // QualifiedClassInstanceCreationExpression 15.9
'.' 'class'
'[' Expression ']' // ArrayAccessExpression 15.13
|
Java.Atom |
parseShiftExpression()
ShiftExpression :=
AdditiveExpression { ( '<<' | '>>' | '>>>' ) AdditiveExpression }
|
Java.Statement |
parseStatement()
Statement :=
LabeledStatement |
Block |
IfStatement |
ForStatement |
WhileStatement |
DoStatement |
TryStatement |
'switch' ...
|
Java.Statement |
parseSwitchStatement()
SwitchStatement :=
'switch' '(' Expression ')' '{' { SwitchLabels BlockStatements } '}'
SwitchLabels := SwitchLabels { SwitchLabels }
SwitchLabel := 'case' Expression ':' | 'default' ':'
|
Java.Statement |
parseSynchronizedStatement()
SynchronizedStatement :=
'synchronized' '(' expression ')' Block
|
Java.Statement |
parseThrowStatement()
ThrowStatement := 'throw' Expression ';'
|
Java.Statement |
parseTryStatement()
TryStatement :=
'try' Block Catches [ Finally ] |
'try' Block Finally
Catches := CatchClause { CatchClause }
CatchClause := 'catch' '(' FormalParameter ')' Block
Finally := 'finally' Block
|
Java.Type |
parseType()
Type := (
'byte' | 'short' | 'char' | 'int' | 'long' |
'float' | 'double' | 'boolean' |
ReferenceType
) { '[' ']' }
|
private Java.TypeArgument |
parseTypeArgument()
TypeArgument :=
ReferenceType { '[' ']' } <= The optional brackets are mising in JLS7, section 18!?
| BasicType '[' ']' { '[' ']' }
| '?' extends ReferenceType
| '?' super ReferenceType
|
private Java.TypeArgument[] |
parseTypeArgumentsOpt()
TypeArguments := '<' TypeArgument { ',' TypeArgument } '>'
|
private Java.TypeParameter |
parseTypeParameter()
TypeParameter := identifier [ 'extends' ( identifier | ReferenceType { '&' ReferenceType }
|
private Java.TypeParameter[] |
parseTypeParametersOpt()
TypeParameters := '<' TypeParameter { ',' TypeParameter } '>'
|
Java.Atom |
parseUnaryExpression()
UnaryExpression :=
{ PrefixOperator } Primary { Selector } { PostfixOperator }
PrefixOperator := '++' | '--' | '+' | '-' | '~' | '!'
PostfixOperator := '++' | '--'
|
Java.VariableDeclarator |
parseVariableDeclarator()
VariableDeclarator := Identifier VariableDeclaratorRest
|
Java.VariableDeclarator |
parseVariableDeclaratorRest(java.lang.String name)
VariableDeclaratorRest := { '[' ']' } [ '=' VariableInitializer ]
|
Java.VariableDeclarator[] |
parseVariableDeclarators()
VariableDeclarators := VariableDeclarator { ',' VariableDeclarator }
|
Java.ArrayInitializerOrRvalue |
parseVariableInitializer()
VariableInitializer :=
ArrayInitializer |
Expression
|
Java.Statement |
parseWhileStatement()
WhileStatement := 'while' '(' Expression ')' Statement
|
Scanner.Token |
peek() |
int |
peek(int[] suspected)
Checks whether the type of the next token is any of the
suspected ; does not consume the next token. |
boolean |
peek(java.lang.String suspected) |
int |
peek(java.lang.String[] suspected)
Checks whether the value of the next token equals any of the
suspected ; does not consume the next
token. |
boolean |
peekEof() |
java.lang.String |
peekIdentifier() |
boolean |
peekLiteral() |
Scanner.Token |
peekNextButOne() |
boolean |
peekNextButOne(java.lang.String suspected) |
boolean |
peekRead(java.lang.String suspected) |
int |
peekRead(java.lang.String[] values) |
Scanner.Token |
read() |
void |
read(java.lang.String expected)
Verifies that the value of the next token equals
expected , and consumes the token. |
int |
read(java.lang.String[] expected)
Verifies that the value of the next token equals one of the
expected , and consumes the token. |
java.lang.String |
readIdentifier() |
java.lang.String |
readOperator() |
void |
setWarningHandler(WarningHandler optionalWarningHandler)
By default, warnings are discarded, but an application my install a
WarningHandler . |
private void |
verifyIdentifierIsConventionalClassOrInterfaceName(java.lang.String id,
Location loc)
Issue a warning if the given identifier does not comply with the class and interface type naming conventions
(JLS7 6.8.2).
|
private void |
verifyIdentifierIsConventionalFieldName(java.lang.String id,
Location loc)
Issue a warning if the given identifier does not comply with the field naming conventions (JLS7 6.8.4) and
constant naming conventions (JLS7 6.8.5).
|
private void |
verifyIdentifierIsConventionalLocalVariableOrParameterName(java.lang.String id,
Location loc)
Issue a warning if the given identifier does not comply with the local variable and parameter naming conventions
(JLS7 6.8.6).
|
private void |
verifyIdentifierIsConventionalMethodName(java.lang.String id,
Location loc)
Issue a warning if the given identifier does not comply with the method naming conventions (JLS7 6.8.3).
|
private void |
verifyStringIsConventionalPackageName(java.lang.String s,
Location loc)
Issue a warning if the given string does not comply with the package naming conventions.
|
private void |
warning(java.lang.String handle,
java.lang.String message,
Location optionalLocation)
Issues a warning with the given message and location and returns.
|
private final Scanner scanner
private static final java.lang.String[] MODIFIER_NAMES
private static final short[] MODIFIER_CODES
private static final short[] MUTUALLY_EXCLUSIVE_MODIFIER_CODES
private static final java.lang.String[] BASIC_TYPE_NAMES
private static final int[] BASIC_TYPE_CODES
private Scanner.Token nextToken
private Scanner.Token nextButOneToken
private WarningHandler optionalWarningHandler
public Parser(Scanner scanner)
public Scanner getScanner()
public Java.CompilationUnit parseCompilationUnit() throws CompileException, java.io.IOException
CompilationUnit := [ PackageDeclaration ] { ImportDeclaration } { TypeDeclaration }
CompileException
java.io.IOException
public Java.PackageDeclaration parsePackageDeclaration() throws CompileException, java.io.IOException
PackageDeclaration := 'package' QualifiedIdentifier ';'
CompileException
java.io.IOException
public Java.CompilationUnit.ImportDeclaration parseImportDeclaration() throws CompileException, java.io.IOException
ImportDeclaration := 'import' ImportDeclarationBody ';'
CompileException
java.io.IOException
public Java.CompilationUnit.ImportDeclaration parseImportDeclarationBody() throws CompileException, java.io.IOException
ImportDeclarationBody := [ 'static' ] Identifier { '.' Identifier } [ '.' '*' ]
CompileException
java.io.IOException
public java.lang.String[] parseQualifiedIdentifier() throws CompileException, java.io.IOException
QualifiedIdentifier := Identifier { '.' Identifier }
CompileException
java.io.IOException
public Java.PackageMemberTypeDeclaration parsePackageMemberTypeDeclaration() throws CompileException, java.io.IOException
PackageMemberTypeDeclaration := ModifiersOpt 'class' ClassDeclarationRest | ModifiersOpt 'interface' InterfaceDeclarationRest
CompileException
java.io.IOException
public Java.Modifiers parseModifiers() throws CompileException, java.io.IOException
ModifiersAndAnnotations := { 'public' | 'protected' | 'private' | 'static' | 'abstract' | 'final' | 'native' | 'synchronized' | 'transient' | 'volatile' | 'strictfp' | Annotation }
CompileException
java.io.IOException
private Java.Annotation parseAnnotation() throws CompileException, java.io.IOException
Annotation := MarkerAnnotation // JLS7 9.7.2 | SingleElementAnnotation // JLS7 9.7.3 | NormalAnnotation // JLS7 9.7.1 MarkerAnnotation := '@' Identifier SingleElementAnnotation := '@' Identifier '(' ElementValue ')' NormalAnnotation := '@' TypeName '(' ElementValuePairsOpt ')' ElementValuePairsOpt := [ ElementValuePair { ',' ElementValuePair } ]
CompileException
java.io.IOException
private Java.ElementValuePair parseElementValuePair() throws CompileException, java.io.IOException
ElementValuePair := Identifier '=' ElementValue
CompileException
java.io.IOException
private Java.ElementValue parseElementValue() throws CompileException, java.io.IOException
ElementValue := ConditionalExpression | Annotation | ElementValueArrayInitializer
CompileException
java.io.IOException
private Java.ElementValue parseElementValueArrayInitializer() throws CompileException, java.io.IOException
ElementValueArrayInitializer := '{' { ElementValue | ',' } '}'
CompileException
java.io.IOException
public Java.NamedClassDeclaration parseClassDeclarationRest(java.lang.String optionalDocComment, Java.Modifiers modifiers, Parser.ClassDeclarationContext context) throws CompileException, java.io.IOException
ClassDeclarationRest := Identifier [ typeParameters ] [ 'extends' ReferenceType ] [ 'implements' ReferenceTypeList ] ClassBody
CompileException
java.io.IOException
public void parseClassBody(Java.ClassDeclaration classDeclaration) throws CompileException, java.io.IOException
ClassBody := '{' { ClassBodyDeclaration } '}'
CompileException
java.io.IOException
public void parseClassBodyDeclaration(Java.ClassDeclaration classDeclaration) throws CompileException, java.io.IOException
ClassBodyDeclaration := ';' | ModifiersOpt ( Block | // Instance (JLS7 8.6) or static initializer (JLS7 8.7) 'void' Identifier MethodDeclarationRest | 'class' ClassDeclarationRest | 'interface' InterfaceDeclarationRest | ConstructorDeclarator | Type Identifier ( MethodDeclarationRest | FieldDeclarationRest ';' ) )
CompileException
java.io.IOException
public Java.InterfaceDeclaration parseInterfaceDeclarationRest(java.lang.String optionalDocComment, Java.Modifiers modifiers, Parser.InterfaceDeclarationContext context) throws CompileException, java.io.IOException
InterfaceDeclarationRest := Identifier [ typeParameters ] [ 'extends' ReferenceTypeList ] InterfaceBody
CompileException
java.io.IOException
public void parseInterfaceBody(Java.InterfaceDeclaration interfaceDeclaration) throws CompileException, java.io.IOException
InterfaceBody := '{' { ';' | ModifiersOpt ( 'void' Identifier MethodDeclarationRest | 'class' ClassDeclarationRest | 'interface' InterfaceDeclarationRest | Type Identifier ( MethodDeclarationRest | FieldDeclarationRest ) ) } '}'
CompileException
java.io.IOException
public Java.ConstructorDeclarator parseConstructorDeclarator(java.lang.String optionalDocComment, Java.Modifiers modifiers) throws CompileException, java.io.IOException
ConstructorDeclarator := Identifier FormalParameters [ 'throws' ReferenceTypeList ] '{' [ 'this' Arguments ';' | 'super' Arguments ';' | Primary '.' 'super' Arguments ';' ] BlockStatements '}'
CompileException
java.io.IOException
public Java.MethodDeclarator parseMethodDeclarationRest(java.lang.String optionalDocComment, Java.Modifiers modifiers, Java.Type type, java.lang.String name) throws CompileException, java.io.IOException
MethodDeclarationRest := FormalParameters { '[' ']' } [ 'throws' ReferenceTypeList ] ( ';' | MethodBody )
CompileException
java.io.IOException
public Java.ArrayInitializerOrRvalue parseVariableInitializer() throws CompileException, java.io.IOException
VariableInitializer := ArrayInitializer | Expression
CompileException
java.io.IOException
public Java.ArrayInitializer parseArrayInitializer() throws CompileException, java.io.IOException
ArrayInitializer := '{' [ VariableInitializer { ',' VariableInitializer } [ ',' ] '}'
CompileException
java.io.IOException
public Java.FunctionDeclarator.FormalParameters parseFormalParameters() throws CompileException, java.io.IOException
FormalParameters := '(' [ FormalParameter { ',' FormalParameter } ] ')'
CompileException
java.io.IOException
public Java.FunctionDeclarator.FormalParameter parseFormalParameter(boolean[] hasEllipsis) throws CompileException, java.io.IOException
FormalParameter := [ 'final' ] Type [ '.' '.' '.' ] Identifier BracketsOpt
CompileException
java.io.IOException
int parseBracketsOpt() throws CompileException, java.io.IOException
BracketsOpt := { '[' ']' }
CompileException
java.io.IOException
public Java.Block parseMethodBody() throws CompileException, java.io.IOException
MethodBody := Block
CompileException
java.io.IOException
public Java.Block parseBlock() throws CompileException, java.io.IOException
'{' BlockStatements '}'
CompileException
java.io.IOException
public java.util.List<Java.BlockStatement> parseBlockStatements() throws CompileException, java.io.IOException
BlockStatements := { BlockStatement }
CompileException
java.io.IOException
public Java.BlockStatement parseBlockStatement() throws CompileException, java.io.IOException
BlockStatement := { Identifier ':' } ( ( Modifiers Type | ModifiersOpt BasicType ) VariableDeclarators ';' | 'class' ... | Statement | 'final' Type VariableDeclarators ';' | Expression ';' | Expression VariableDeclarators ';' (1) )(1) "Expression" must pose a type, and has optional trailing brackets.
CompileException
java.io.IOException
public Java.VariableDeclarator[] parseVariableDeclarators() throws CompileException, java.io.IOException
VariableDeclarators := VariableDeclarator { ',' VariableDeclarator }
CompileException
java.io.IOException
public Java.VariableDeclarator[] parseFieldDeclarationRest(java.lang.String name) throws CompileException, java.io.IOException
FieldDeclarationRest := VariableDeclaratorRest { ',' VariableDeclarator }
CompileException
java.io.IOException
public Java.VariableDeclarator parseVariableDeclarator() throws CompileException, java.io.IOException
VariableDeclarator := Identifier VariableDeclaratorRest
CompileException
java.io.IOException
public Java.VariableDeclarator parseVariableDeclaratorRest(java.lang.String name) throws CompileException, java.io.IOException
VariableDeclaratorRest := { '[' ']' } [ '=' VariableInitializer ]Used by field declarations and local variable declarations.
CompileException
java.io.IOException
public Java.Statement parseStatement() throws CompileException, java.io.IOException
Statement := LabeledStatement | Block | IfStatement | ForStatement | WhileStatement | DoStatement | TryStatement | 'switch' ... | 'synchronized' ... | ReturnStatement | ThrowStatement | BreakStatement | ContinueStatement | EmptyStatement | ExpressionStatement
CompileException
java.io.IOException
public Java.Statement parseLabeledStatement() throws CompileException, java.io.IOException
LabeledStatement := Identifier ':' Statement
CompileException
java.io.IOException
public Java.Statement parseIfStatement() throws CompileException, java.io.IOException
IfStatement := 'if' '(' Expression ')' Statement [ 'else' Statement ]
CompileException
java.io.IOException
public Java.Statement parseForStatement() throws CompileException, java.io.IOException
ForStatement := 'for' '(' [ ForInit ] ';' [ Expression ] ';' [ ExpressionList ] ')' Statement | 'for' '(' FormalParameter ':' Expression ')' Statement ForInit := Modifiers Type VariableDeclarators | ModifiersOpt BasicType VariableDeclarators | Expression VariableDeclarators (1) | Expression { ',' Expression }(1) "Expression" must pose a type.
CompileException
java.io.IOException
public Java.Statement parseWhileStatement() throws CompileException, java.io.IOException
WhileStatement := 'while' '(' Expression ')' Statement
CompileException
java.io.IOException
public Java.Statement parseDoStatement() throws CompileException, java.io.IOException
DoStatement := 'do' Statement 'while' '(' Expression ')' ';'
CompileException
java.io.IOException
public Java.Statement parseTryStatement() throws CompileException, java.io.IOException
TryStatement := 'try' Block Catches [ Finally ] | 'try' Block Finally Catches := CatchClause { CatchClause } CatchClause := 'catch' '(' FormalParameter ')' Block Finally := 'finally' Block
CompileException
java.io.IOException
public Java.Statement parseSwitchStatement() throws CompileException, java.io.IOException
SwitchStatement := 'switch' '(' Expression ')' '{' { SwitchLabels BlockStatements } '}' SwitchLabels := SwitchLabels { SwitchLabels } SwitchLabel := 'case' Expression ':' | 'default' ':'
CompileException
java.io.IOException
public Java.Statement parseSynchronizedStatement() throws CompileException, java.io.IOException
SynchronizedStatement := 'synchronized' '(' expression ')' Block
CompileException
java.io.IOException
public Java.Statement parseReturnStatement() throws CompileException, java.io.IOException
ReturnStatement := 'return' [ Expression ] ';'
CompileException
java.io.IOException
public Java.Statement parseThrowStatement() throws CompileException, java.io.IOException
ThrowStatement := 'throw' Expression ';'
CompileException
java.io.IOException
public Java.Statement parseBreakStatement() throws CompileException, java.io.IOException
BreakStatement := 'break' [ Identifier ] ';'
CompileException
java.io.IOException
public Java.Statement parseContinueStatement() throws CompileException, java.io.IOException
ContinueStatement := 'continue' [ Identifier ] ';'
CompileException
java.io.IOException
public Java.Statement parseAssertStatement() throws CompileException, java.io.IOException
AssertStatement := 'assert' Expression [ ':' Expression ] ';'
CompileException
java.io.IOException
public Java.Statement parseEmptyStatement() throws CompileException, java.io.IOException
EmptyStatement := ';'
CompileException
java.io.IOException
public Java.Rvalue[] parseExpressionList() throws CompileException, java.io.IOException
ExpressionList := Expression { ',' Expression }
CompileException
java.io.IOException
public Java.Type parseType() throws CompileException, java.io.IOException
Type := ( 'byte' | 'short' | 'char' | 'int' | 'long' | 'float' | 'double' | 'boolean' | ReferenceType ) { '[' ']' }
CompileException
java.io.IOException
public Java.ReferenceType parseReferenceType() throws CompileException, java.io.IOException
ReferenceType := QualifiedIdentifier [ TypeArguments ]
CompileException
java.io.IOException
private Java.TypeParameter[] parseTypeParametersOpt() throws CompileException, java.io.IOException
TypeParameters := '<' TypeParameter { ',' TypeParameter } '>'
CompileException
java.io.IOException
private Java.TypeParameter parseTypeParameter() throws CompileException, java.io.IOException
TypeParameter := identifier [ 'extends' ( identifier | ReferenceType { '&' ReferenceType }
CompileException
java.io.IOException
private Java.TypeArgument[] parseTypeArgumentsOpt() throws CompileException, java.io.IOException
TypeArguments := '<' TypeArgument { ',' TypeArgument } '>'
CompileException
java.io.IOException
private Java.TypeArgument parseTypeArgument() throws CompileException, java.io.IOException
TypeArgument := ReferenceType { '[' ']' } <= The optional brackets are mising in JLS7, section 18!? | BasicType '[' ']' { '[' ']' } | '?' extends ReferenceType | '?' super ReferenceType
CompileException
java.io.IOException
public Java.ReferenceType[] parseReferenceTypeList() throws CompileException, java.io.IOException
ReferenceTypeList := ReferenceType { ',' ReferenceType }
CompileException
java.io.IOException
public Java.Atom parseExpression() throws CompileException, java.io.IOException
Expression := AssignmentExpression
CompileException
java.io.IOException
public Java.Atom parseAssignmentExpression() throws CompileException, java.io.IOException
AssignmentExpression := ConditionalExpression [ AssignmentOperator AssignmentExpression ] AssignmentOperator := '=' | '*=' | '/=' | '%=' | '+=' | '-=' | '<<=' | '>>=' | '>>>=' | '&=' | '^=' | '|='
CompileException
java.io.IOException
public Java.Atom parseConditionalExpression() throws CompileException, java.io.IOException
ConditionalExpression := ConditionalOrExpression [ '?' Expression ':' ConditionalExpression ]
CompileException
java.io.IOException
public Java.Atom parseConditionalOrExpression() throws CompileException, java.io.IOException
ConditionalOrExpression := ConditionalAndExpression { '||' ConditionalAndExpression ]
CompileException
java.io.IOException
public Java.Atom parseConditionalAndExpression() throws CompileException, java.io.IOException
ConditionalAndExpression := InclusiveOrExpression { '&&' InclusiveOrExpression }
CompileException
java.io.IOException
public Java.Atom parseInclusiveOrExpression() throws CompileException, java.io.IOException
InclusiveOrExpression := ExclusiveOrExpression { '|' ExclusiveOrExpression }
CompileException
java.io.IOException
public Java.Atom parseExclusiveOrExpression() throws CompileException, java.io.IOException
ExclusiveOrExpression := AndExpression { '^' AndExpression }
CompileException
java.io.IOException
public Java.Atom parseAndExpression() throws CompileException, java.io.IOException
AndExpression := EqualityExpression { '&' EqualityExpression }
CompileException
java.io.IOException
public Java.Atom parseEqualityExpression() throws CompileException, java.io.IOException
EqualityExpression := RelationalExpression { ( '==' | '!=' ) RelationalExpression }
CompileException
java.io.IOException
public Java.Atom parseRelationalExpression() throws CompileException, java.io.IOException
RelationalExpression := ShiftExpression { 'instanceof' ReferenceType | '<' ShiftExpression [ { ',' TypeArgument } '>' ] | '<' TypeArgument [ { ',' TypeArgument } '>' ] | ( '>' | '<=' | '>=' ) ShiftExpression }
CompileException
java.io.IOException
public Java.Atom parseShiftExpression() throws CompileException, java.io.IOException
ShiftExpression := AdditiveExpression { ( '<<' | '>>' | '>>>' ) AdditiveExpression }
CompileException
java.io.IOException
public Java.Atom parseAdditiveExpression() throws CompileException, java.io.IOException
AdditiveExpression := MultiplicativeExpression { ( '+' | '-' ) MultiplicativeExpression }
CompileException
java.io.IOException
public Java.Atom parseMultiplicativeExpression() throws CompileException, java.io.IOException
MultiplicativeExpression := UnaryExpression { ( '*' | '/' | '%' ) UnaryExpression }
CompileException
java.io.IOException
public Java.Atom parseUnaryExpression() throws CompileException, java.io.IOException
UnaryExpression := { PrefixOperator } Primary { Selector } { PostfixOperator } PrefixOperator := '++' | '--' | '+' | '-' | '~' | '!' PostfixOperator := '++' | '--'
CompileException
java.io.IOException
public Java.Atom parsePrimary() throws CompileException, java.io.IOException
Primary := CastExpression | // CastExpression 15.16 '(' Expression ')' | // ParenthesizedExpression 15.8.5 Literal | // Literal 15.8.1 Name | // AmbiguousName Name Arguments | // MethodInvocation Name '[]' { '[]' } | // ArrayType 10.1 Name '[]' { '[]' } '.' 'class' | // ClassLiteral 15.8.2 'this' | // This 15.8.3 'this' Arguments | // Alternate constructor invocation 8.8.5.1 'super' Arguments | // Unqualified superclass constructor invocation 8.8.5.1 'super' '.' Identifier | // SuperclassFieldAccess 15.11.2 'super' '.' Identifier Arguments | // SuperclassMethodInvocation 15.12.4.9 NewClassInstance | NewAnonymousClassInstance | // ClassInstanceCreationExpression 15.9 NewArray | // ArrayCreationExpression 15.10 NewInitializedArray | // ArrayInitializer 10.6 BasicType { '[]' } | // Type BasicType { '[]' } '.' 'class' | // ClassLiteral 15.8.2 'void' '.' 'class' // ClassLiteral 15.8.2 CastExpression := '(' PrimitiveType { '[]' } ')' UnaryExpression | '(' Expression ')' UnaryExpression NewClassInstance := 'new' ReferenceType Arguments NewAnonymousClassInstance := 'new' ReferenceType Arguments [ ClassBody ] NewArray := 'new' Type DimExprs { '[]' } NewInitializedArray := 'new' ArrayType ArrayInitializer
CompileException
java.io.IOException
public Java.Atom parseSelector(Java.Atom atom) throws CompileException, java.io.IOException
Selector := '.' Identifier | // FieldAccess 15.11.1 '.' Identifier Arguments | // MethodInvocation '.' 'this' // QualifiedThis 15.8.4 '.' 'super' Arguments // Qualified superclass constructor invocation (JLS7 8.8.7.1) '.' 'super' '.' Identifier | // SuperclassFieldReference (JLS7 15.11.2) '.' 'super' '.' Identifier Arguments | // SuperclassMethodInvocation (JLS7 15.12.3) '.' 'new' Identifier Arguments [ ClassBody ] | // QualifiedClassInstanceCreationExpression 15.9 '.' 'class' '[' Expression ']' // ArrayAccessExpression 15.13
CompileException
java.io.IOException
public Java.Rvalue[] parseDimExprs() throws CompileException, java.io.IOException
DimExprs := DimExpr { DimExpr }
CompileException
java.io.IOException
public Java.Rvalue parseDimExpr() throws CompileException, java.io.IOException
DimExpr := '[' Expression ']'
CompileException
java.io.IOException
public Java.Rvalue[] parseArguments() throws CompileException, java.io.IOException
Arguments := '(' [ ArgumentList ] ')'
CompileException
java.io.IOException
public Java.Rvalue[] parseArgumentList() throws CompileException, java.io.IOException
ArgumentList := Expression { ',' Expression }
CompileException
java.io.IOException
public Java.Rvalue parseLiteral() throws CompileException, java.io.IOException
Literal := IntegerLiteral | FloatingPointLiteral | BooleanLiteral | CharacterLiteral | StringLiteral | NullLiteral
CompileException
java.io.IOException
public Java.Statement parseExpressionStatement() throws CompileException, java.io.IOException
ExpressionStatement := Expression ';'
CompileException
java.io.IOException
public Location location()
public Scanner.Token peek() throws CompileException, java.io.IOException
CompileException
java.io.IOException
public Scanner.Token peekNextButOne() throws CompileException, java.io.IOException
CompileException
java.io.IOException
public Scanner.Token read() throws CompileException, java.io.IOException
null
iff the scanner is at end-of-inputCompileException
java.io.IOException
public boolean peek(java.lang.String suspected) throws CompileException, java.io.IOException
suspected
; does not consume the next tokenCompileException
java.io.IOException
public int peek(java.lang.String[] suspected) throws CompileException, java.io.IOException
suspected
; does not consume the next
token.suspected
that equals the value of the next token, or -1 if the
value of the next token equals none of the suspected
CompileException
java.io.IOException
public int peek(int[] suspected) throws CompileException, java.io.IOException
suspected
; does not consume the next token.suspected
types that is the next token's type, or -1 if the type
of the next token is none of the suspected
typesCompileException
java.io.IOException
public boolean peekNextButOne(java.lang.String suspected) throws CompileException, java.io.IOException
suspected
; consumes neither the next
nor the next-but-one tokenCompileException
java.io.IOException
public void read(java.lang.String expected) throws CompileException, java.io.IOException
expected
, and consumes the token.CompileException
- The value of the next token does not equal expected
(this includes the case
that the scanner is at end-of-input)java.io.IOException
public int read(java.lang.String[] expected) throws CompileException, java.io.IOException
expected
, and consumes the token.expected
CompileException
- The value of the next token does not equal any of the expected
(this includes
the case where the scanner is at end-of-input)java.io.IOException
public boolean peekRead(java.lang.String suspected) throws CompileException, java.io.IOException
suspected
; if so, it consumes the next tokenCompileException
java.io.IOException
public int peekRead(java.lang.String[] values) throws CompileException, java.io.IOException
values
CompileException
java.io.IOException
public boolean peekEof() throws CompileException, java.io.IOException
CompileException
java.io.IOException
public java.lang.String peekIdentifier() throws CompileException, java.io.IOException
null
iff the next token is not an identifier, otherwise the value of the identifier tokenCompileException
java.io.IOException
public boolean peekLiteral() throws CompileException, java.io.IOException
CompileException
java.io.IOException
public java.lang.String readIdentifier() throws CompileException, java.io.IOException
CompileException
- The next token is not an identifierjava.io.IOException
public java.lang.String readOperator() throws CompileException, java.io.IOException
CompileException
- The next token is not an operatorjava.io.IOException
private static int indexOf(java.lang.String[] strings, java.lang.String subject)
private static int indexOf(int[] values, int subject)
private void verifyStringIsConventionalPackageName(java.lang.String s, Location loc) throws CompileException
CompileException
private void verifyIdentifierIsConventionalClassOrInterfaceName(java.lang.String id, Location loc) throws CompileException
CompileException
private void verifyIdentifierIsConventionalMethodName(java.lang.String id, Location loc) throws CompileException
CompileException
private void verifyIdentifierIsConventionalFieldName(java.lang.String id, Location loc) throws CompileException
CompileException
private void verifyIdentifierIsConventionalLocalVariableOrParameterName(java.lang.String id, Location loc) throws CompileException
CompileException
public void setWarningHandler(WarningHandler optionalWarningHandler)
WarningHandler
.
Notice that there is no Parser.setErrorHandler()
method, but parse errors always throw a CompileException
. The reason being is that there is no reasonable way to recover from parse errors and continue
parsing, so there is no need to install a custom parse error handler.
optionalWarningHandler
- null
to indicate that no warnings be issuedprivate void warning(java.lang.String handle, java.lang.String message, Location optionalLocation) throws CompileException
WarningHandler
that was installed through
setWarningHandler(WarningHandler)
.
The handle
argument qulifies the warning and is typically used by
the WarningHandler
to suppress individual warnings.
CompileException
- The optionally installed WarningHandler
decided to throw a CompileException
protected final CompileException compileException(java.lang.String message)
CompileException
.private static java.lang.String join(java.lang.String[] sa, java.lang.String separator)