namespace fully.qualified.name

public class Test parent SuperClass inherits ImplementType {
        int i;
        Test j;
        fully.qualified.name.Test k;
}

Model:
	package=PackageDeclaration
	imports+=(ImportDeclaration)*
	types+=Type*
;

PackageDeclaration:
  	'namespace' name=FQN
;

ImportDeclaration:
	'use' name=FQN
;

FQN: ID ('.' ID)*;

TypeType:
	Primitive | FQN
;

Primitive:
	'int' |
	'float'
;

Type:
	ClassType | EnumType
;

Field:
	VariableDefinition | JavaStatement
;

ClassType:
	modifiers+=Modifier* 'class' name=ID
	('parent' superType=[Type | FQN])?
	('inherits' implementations+=[Type | FQN]*)?
	LBRACE fields+=Field* RBRACE
;

EnumType:
	modifiers+=Modifier* 'enum' name=ID LBRACE values+=ID* RBRACE
;

VariableDefinition:
	modifiers+=Modifier* type=[Type | TypeType] name=ID
;

JavaStatement:
	'java' statement=STRING
;

Modifier:
	'public' |
	'static'
;

terminal LBRACE: '{';
terminal RBRACE: '}';

type=[Type | TypeType]

Model:
	(
	package=PackageDeclaration
	imports+=ImportDeclaration*
	types+=Type*
	)?
;

PackageDeclaration:
	'namespace' name=FQN
;

ImportDeclaration:
	'use' name=FQN
;

TypeType:
	Primitive | TypeRef
;

TypeRef:
	ref=[Type | FQN]
;

Type:
	FunctionType | ClassType | EnumType
;

FunctionType:
	'func' name=ID ':' returnType=TypeType LBRACE
	
	RBRACE
;

ClassType:
	'class' name=ID ('parent' superType=TypeRef)? ('inherits' templates+=TypeRef*)? LBRACE
	
	RBRACE
;

EnumType:
	'enum' name=ID LBRACE
		values+=ID*
	RBRACE
;

/* Terminals and strings. */

Primitive:
	name=('int' |
	'long' |
	'short' |
	'float' |
	'double' |
	'str' |
	'char' |
	'bool' |
	'obj' |
	'byte' |
	'nil')
;

FQN:
	ID ('.' ID)*
;

terminal LBRACE: '{' ;
terminal RBRACE: '}' ;