grammar ru.focusmedia.fire.idl.IDL with org.eclipse.xtext.xbase.Xbase

generate idl "http://www.focusmedia.ru/fire/idl/IDL"

// extended thrift with interfaces: replace services, allow references to interfaces in proxies and return types

Model:
	'package' name=QualifiedName
	imports+=Import*
	definitions+=Definition*;

Import:
	'import' importedNamespace=ImportName;

ImportName:
	QualifiedName '.*'?;

Definition:
	EnumDef | StructDef | InterfaceDef;

EnumDef:
	'enum' name=ValidID '{' enumConsts+=EnumConstDef* '}';

EnumConstDef:
	name=ValidID '=' id=INT ListSeparator?;

StructDef:
	'struct' name=ValidID '{' fields+=Field* '}';

	// absent requiredness is treated as "required"
Field:
	(id=FieldID)? (requiredness=Requiredness)? type=FieldType name=ValidID ('=' default=ConstValue) ListSeparator?;

FieldID:
	INT ':';

enum Requiredness:
	REQUIRED='required' | OPTIONAL='optional';

FieldType:
	{StructType} struct=[StructDef|QualifiedName] |
	{InterfaceType} '*' interface=[InterfaceDef|QualifiedName] |
	{BaseType} ('bool' | 'byte' | 'i16' | 'i32' | 'i64' | 'double' | 'string' | 'binary') |
	ContainerType;

ConstValue:
	literal=(XNumberLiteral | XBooleanLiteral | XStringLiteral) | ConstList | ConstMap;

ConstList:
	'[' elements+=ConstValue (ListSeparator? elements+=ConstValue)* ']';

ConstMap:
	'{' elements+=ConstMapElement (ListSeparator? elements+=ConstValue)* '}';

ConstMapElement:
	key=ConstValue ':' value=ConstValue;

ContainerType:
	{ListType} 'list' '<' elementType=FieldType '>' |
	{SetType} 'set' '<' elementType=FieldType '>' |
	{MapType} 'map' '<' keyType=FieldType ',' valueType=FieldType '>';

InterfaceDef:
	'interface' name=ValidID 'extends'
	(super+=[InterfaceDef|QualifiedName] (',' super+=[InterfaceDef|QualifiedName])*)?
	'{' methods+=MethodDecl* '}';

MethodDecl:
	(oneway?='oneway' | returnType=FieldType) name=ValidID '(' (args+=Field (','
	args+=Field)*) ')';

ListSeparator:
	',' | ';';