Java-Programm. Klassen. CompilitionUnit ::= PackageDeclaration opt ImportDeclarations opt TypeDeclarations

Transcription

1 Java-Programm CompilitionUnit ::= PackageDeclaration opt ImportDeclarations opt TypeDeclarations PackageDeclaration ::= package PackageIdentifier ImportDeclaration ::= import PackageIdentifier.TypeIdentifier import PackageIdentifier.* ImportDeclaration ImportDeclaration TypeDeclarations ::= ClassDeclaration InterfaceDeclaration TypeDeclaration TypeDeclaration Klassen ClassDeclaration ::= ClassModifiers opt class Identifier Extension opt Implementations opt { ClassBodyDeclarations opt } ClassModifiers ::= abstract final ClassModifiers ClassModifiers Extension ::= extends BaseClass Implementations ::= implements Interfaces ClassBodyDeclarations ::= FieldDeclaration ConstructorDeclaration MethodDeclaration ClassDeclaration InterfaceDeclaration ClassBodyDeclarations ClassBodyDeclarations

2 Felder FieldDeclaration ::= FieldModifiers opt VariableDeclaration FieldModifiers opt ArrayDeclaration FieldModifiers ::= static VariableDeclaration ::= Type VariableDeclarator VariableDeclarator ::= Identifier Initializer opt VariableDeclarator, VariableDeclarator Initializer ::= = Expression Arrays SimpleArrayDeclaration ::= Type [ ] Identifier Instantiator opt Instantiator ::= = { ValueList } = new Type [ Size ]

3 Methoden MethodDeclaration ::= MethodHeader MethodBlock MethodHeader ::= MethodModifiers opt ResultType Identifier ( FormalParameterList opt ) Throws opt MethodModifiers ::= abstract static MethodModifiers MethodModifiers FormalParameterList ::= Type Identifier Type... Identifier FormalParameterList, FormalParameterList Throws ::= throws ExceptionTypeList MethodBlock ::= { StatementsOrDeclarations opt } Konstruktoren ConstructorDeclaration ::= ConstructorHeader ConstructorBlock ConstructorHeader ::= ConstructorModifiers opt Identifier ( FormalParameterList opt ) ConstructorModifiers ::= ConstructorBlock ::= { ExcplicitConstructorInvocations opt StatementsOrDeclarations opt } ExcplicitConstructorInvocations ::= this ( ArgumentList opt ) super ( ArgumentList opt )

4 Generika GenericClassDeclaration ::= ClassModifiers opt class Identifier < TypeParameterList > { ClassBodyDeclarations opt } TypeParameterList ::= TypeParameter TypeParameterList, TypeParameterList TypeParameter ::= TypeVariable TypeBound opt GenericClassInstance ::= GenericClassIdentifier < ActualTypeList > Variable GenericClassIdentifier < ActualTypeList > Variable = new GenericConstructor GenericConstructor ::= GenericClassIdentifier < ActualTypeList > ( ActualParameterList opt ) GenericClassIdentifier < > ( ActualParameterList opt ) ActualTypeList ::= ReferenceType ActualTypeList ActualTypeList GenericMethodDeclaration ::= MethodHeader MethodBlock MethodHeader ::= MethodModifiers opt < TypeParameterList > ResultType Identifier ( FormalParameterList opt ) TypeParameterList ::= TypeParameter TypeParameterList, TypeParameterList TypeParameter ::= TypeVariable TypeBound opt

5 Schnittstellen InterfaceDeclaration ::= public opt interface Identifier Extension opt { InterfaceBodyDeclarations opt } Extension ::= extends BaseInterfaces InterfaceBodyDeclarations ::= ConstantDeclaration MethodHeader InterfaceBodyDeclarations InterfaceBodyDeclarations Ausnahmen TryStatement ::= TryClause CatchClauses FinallyClause opt TryClause ::= try { StatementsOrDeclarations opt } CatchClauses ::= CatchClause CatchClauses CatchClauses CatchClause ::= catch ( ExceptionClass ) { StatementsOrDeclarations opt } FinallyClause ::= finally { StatementsOrDeclarations opt }. ThrowStatement ::= throw Expression