Browsable Java Virtual Machine (JVM) Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: java/jvm/level0/extracted
Source used for this grammar: Jeroen van den Bos, Jurgen Vinju, lang::jvm::ast::Level0, 2010–2012 [GitHub]

Summary

• Total 7 production rules with 28 top alternatives and 273 symbols.
• Vocabulary: 73 = 7 nonterminals + 0 terminals + 66 labels + 0 markers.
• Total 7 nonterminal symbols: 7 defined (Class, InnerClass, Field, Method, Instruction, TryCatchBlock, LocalVariable), 0 root (—), 1 top (Class), 0 bottom (—).
• Total 66 labels: [version] ², [access] ⁷, [name] ¹⁰, [signature] ⁶, [superName] ², [interfaces] ², [sourceFile], [sourceDebug], [outerClass], [outerMethod], [outerMethodDescription], [innerClasses] ², [fields] ², [methods] ², [class] ², [outerName], [innerName], [innerClass] ², [description] ⁸, [value], [field] ², [exceptions], [instructions], [tryCatchBlocks], [localVariables], [method] ², [opcode] ⁷, [owner] ², [fieldRef], [index] ⁴, [amount], [increment], [instruction], [operand], [integer], [labelIndex] ², [jump], [label], [line], [lineNumber], [localVariable] ², [stringValue], [loadConstantString], [integerValue], [loadConstantInteger], [longValue], [loadConstantLong], [floatValue], [loadConstantFloat], [doubleValue], [loadConstantDouble], [defaultLabelIndex] ², [keys], [cases] ², [lookupSwitch], [dimensions], [multiANewArray], [minIndex], [maxIndex], [tableSwitch], [type] ², [startLabelIndex] ³, [endLabelIndex] ³, [handlerLabelIndex] ², [tryCatchBlock], [finallyBlock].

Syntax

Class ::=
	[class]::([version]::integer [access]::integer [name]::string [signature]::string [superName]::string [interfaces]::string* [sourceFile]::string [sourceDebug]::string [outerClass]::string [outerMethod]::string [outerMethodDescription]::string [innerClasses]::InnerClass* [fields]::Field* [methods]::Method*)
	[class]::([version]::integer [access]::integer [name]::string [signature]::string [superName]::string [interfaces]::string* [innerClasses]::InnerClass* [fields]::Field* [methods]::Method*)

InnerClass ::=
	[innerClass]::([name]::string [outerName]::string [innerName]::string [access]::integer)
	[innerClass]::([name]::string [access]::integer)

Field ::=
	[field]::([access]::integer [name]::string [description]::string [signature]::string [value]::α)
	[field]::([access]::integer [name]::string [description]::string [signature]::string)

Method ::=
	[method]::([access]::integer [name]::string [description]::string [signature]::string [exceptions]::string* [instructions]::Instruction* [tryCatchBlocks]::TryCatchBlock* [localVariables]::LocalVariable*)

Instruction ::=
	[fieldRef]::([opcode]::integer [owner]::string [name]::string [description]::string)
	[increment]::([index]::integer [amount]::integer)
	[instruction]::[opcode]::integer
	[integer]::([opcode]::integer [operand]::integer)
	[jump]::([opcode]::integer [labelIndex]::integer)
	[label]::[index]::integer
	[lineNumber]::([line]::integer [labelIndex]::integer)
	[localVariable]::([opcode]::integer [index]::integer)
	[loadConstantString]::[stringValue]::string
	[loadConstantInteger]::[integerValue]::integer
	[loadConstantLong]::[longValue]::integer
	[loadConstantFloat]::[floatValue]::integer
	[loadConstantDouble]::[doubleValue]::integer
	[lookupSwitch]::([defaultLabelIndex]::integer [keys]::integer* [cases]::integer*)
	[method]::([opcode]::integer [owner]::string [name]::string [description]::string)
	[multiANewArray]::([description]::string [dimensions]::integer)
	[tableSwitch]::([minIndex]::integer [maxIndex]::integer [defaultLabelIndex]::integer [cases]::integer*)
	[type]::([opcode]::integer [description]::string)

TryCatchBlock ::=
	[tryCatchBlock]::([startLabelIndex]::integer [endLabelIndex]::integer [handlerLabelIndex]::integer [type]::string)
	[finallyBlock]::([startLabelIndex]::integer [endLabelIndex]::integer [handlerLabelIndex]::integer)

LocalVariable ::=
	[localVariable]::([name]::string [description]::string [signature]::string [startLabelIndex]::integer [endLabelIndex]::integer [index]::integer)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]