0    [main] INFO  lipse.emf.mwe.utils.StandaloneSetup  - Registering platform uri '/home/aaa/workspace'
839  [main] INFO  ipse.emf.mwe.utils.DirectoryCleaner  - Cleaning /home/aaa/workspace/mymodel/../mymodel/src-gen
842  [main] INFO  ipse.emf.mwe.utils.DirectoryCleaner  - Cleaning /home/aaa/workspace/mymodel/../mymodel.ui/src-gen
1021 [main] INFO  ipse.xtext.generator.LanguageConfig  - generating infrastructure for mymodel.Annotations with fragments : ImplicitRuntimeFragment, ImplicitUiFragment, GrammarAccessFragment, EcoreGeneratorFragment, SerializerFragment, ResourceFactoryFragment, XtextAntlrGeneratorFragment, JavaValidatorFragment, ImportNamespacesScopingFragment, QualifiedNamesFragment, BuilderIntegrationFragment, GeneratorFragment, FormatterFragment, LabelProviderFragment, OutlineTreeProviderFragment, QuickOutlineFragment, QuickfixProviderFragment, JavaBasedContentAssistFragment, XtextAntlrUiGeneratorFragment, Junit4Fragment, TypesGeneratorFragment, XbaseGeneratorFragment, CodetemplatesGeneratorFragment, RefactorElementNameFragment, CompareFragment
4460 [main] INFO  clipse.emf.mwe.utils.GenModelHelper  - Registered GenModel 'http: //mymodel/Annotations' from 'file:/home/aaa/workspace/mymodel/src-gen/mymodel/Annotations.genmodel'
9800 [main] INFO  or.validation.JavaValidatorFragment  - generating Java-based EValidator API
12907 [main] INFO  text.generator.junit.Junit4Fragment  - generating Junit4 Test support classes
12934 [main] INFO  text.generator.junit.Junit4Fragment  - generating Compare Framework infrastructure
13076 [main] INFO  .emf.mwe2.runtime.workflow.Workflow  - Done.

Workflow {
    bean = StandaloneSetup {
        scanClassPath = true
        platformUri = "${runtimeProject}/.."
    }

    component = DirectoryCleaner {
        directory = "${runtimeProject}/src-gen"
    }

    component = DirectoryCleaner {
        directory = "${runtimeProject}.ui/src-gen"
    }

    component = Generator {
        pathRtProject = runtimeProject
        pathUiProject = "${runtimeProject}.ui"
        pathTestProject = "${runtimeProject}.tests"
        projectNameRt = projectName
        projectNameUi = "${projectName}.ui"
        language = {
            uri = grammarURI
            fileExtensions = file.extensions

            // Java API to access grammar elements (required by several other fragments)
            fragment = grammarAccess.GrammarAccessFragment {}

            // generates Java API for the generated EPackages
            fragment = ecore.EcoreGeneratorFragment {
            }

            // Serializer 2.0
            fragment = serializer.SerializerFragment {}

            // a custom ResourceFactory for use with EMF
            fragment = resourceFactory.ResourceFactoryFragment {
                fileExtensions = file.extensions
            }

            // The antlr parser generator fragment.
            fragment = parser.antlr.XtextAntlrGeneratorFragment {
              options = {
                  backtrack = true
              }
            }

            // java-based API for validation
            fragment = validation.JavaValidatorFragment {
                composedCheck = "org.eclipse.xtext.validation.ImportUriValidator"
                composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
            }

            // scoping and exporting API
            fragment = scoping.ImportNamespacesScopingFragment {}
            fragment = exporting.QualifiedNamesFragment {}
            fragment = builder.BuilderIntegrationFragment {}

            // generator API
            fragment = generator.GeneratorFragment {
                generateMwe = true
                generateJavaMain = true
            }

            // formatter API
            fragment = formatting.FormatterFragment {}

            // labeling API
            fragment = labeling.LabelProviderFragment {}

            // outline API
            fragment = outline.OutlineTreeProviderFragment {}
            fragment = outline.QuickOutlineFragment {}

            // quickfix API
            fragment = quickfix.QuickfixProviderFragment {}

            // content assist API
            fragment = contentAssist.JavaBasedContentAssistFragment {}

            // generates a more lightweight Antlr parser and lexer tailored for content assist
            fragment = parser.antlr.XtextAntlrUiGeneratorFragment {}

            // generates junit test support classes into Generator#pathTestProject
            fragment = junit.Junit4Fragment {}

            // provides the necessary bindings for java types integration
            fragment = types.TypesGeneratorFragment {}

            // generates the required bindings only if the grammar inherits from Xbase
            fragment = xbase.XbaseGeneratorFragment {}

            // provides a preference page for template proposals
            fragment = templates.CodetemplatesGeneratorFragment {}

            // rename refactoring
            fragment = refactoring.RefactorElementNameFragment {}

            // provides a compare view
            fragment = compare.CompareFragment {
                 fileExtensions = file.extensions
            }

        }
    }
}

grammar mymodel.Annotations with org.eclipse.xtext.common.Terminals
hidden(WS, ML_COMMENT, SL_COMMENT)

generate annotations "http://www.irit.fr/scj/Annotations"

Program:
	methods+=Method+
;
Method:
	declaration=MethodDeclaration methodBody=Block
;
MethodDeclaration:
	Modifier? 'static'? Type? name=ID '('Arguments?')' ('throws' QualifiedIdentifier)?
;
Annotation:
	'//@' time=INT
;
Type:
	'void'|'int'|'long'|'boolean'|'float'|'double'|ID
;
Arguments:
	Type ID (','Type ID)*
;
Statement:
	{Statement}(
	//another block
	(annotation=Annotation? block=Block)|
	//while loop
	(annotation=Annotation? name='while''('condition=Expression')' block=Block)|
	//synchronized block
	(annotation=Annotation? name='synchronized' '('object=(QualifiedIdentifier|'this')')' block=Block)|
	//if-else block
	(annotation=Annotation? name='if''('condition=Expression')' ifBlock=Block ('else' elseBlock=Block)?)|
	';'|
	//arithmetical or boolean expression
	(annotation=Annotation? Expression';')|
	//method or constructor call or assignment
	(annotation=Annotation? name='new'? MethodOrFieldCall (AssignmentOperator Expression)?)
	)
;
Block:
	{Block}('{'
		(statements+=Statement
		)*
		//nested blocks not supported
	'}')
;
MethodOrFieldCall:
	QualifiedIdentifier ('('ArgumentList?')')? ('.'QualifiedIdentifier ('('ArgumentList?')')? )*
;
Expression:
	('('Expression')' ExpressionRest)|
	(MethodOrFieldCall ExpressionRest)|
	(Literal ExpressionRest)
	//rewrite left recursion --Expression InfixOperator Expression
;
ExpressionRest:
	(InfixOperator Expression ExpressionRest)?
;
ArgumentList:
	(Expression|'this') (','(Expression|'this'))*
;
Literal:
	INT|
	(INT'.'INT)|
	'true'|'false'|
	STRING
;
terminal Modifier:
	//smth
;
AssignmentOperator: 
	//smth
;
InfixOperator:
	//smth
;
QualifiedIdentifier:
	ID ( '.' ID )*
;

//do not treat '//@' as comments
terminal SL_COMMENT :
'//' !('\n'|'\r'|'@')* ('\r'? '\n')?;