type bool
type int
type string

property inmsg _bool
  default message
  inmsg true
  outmsg false
end

property outmsg _bool
  inmsg false
  outmsg true
end

property mnd _bool
  default
  optinal false
  mandatory true
end

property opt _bool
  optional true
  mandatory false
end

message GetPerson 1
  1 int id
  2 bool verbose opt
end

enum string Sex
  Male
  Female
  Unknown
end

message GetPersonResp 1001
  1 int id
  2 string name
  3 int age
  4 Sex sex opt
end

protocol PersonInfo
  GetPerson outmsg
  GetPersonResp inmsg
end

grammar mobi.eyeline.protogen.Def with mobi.eyeline.protogen.Terms

generate def "url was here"

Model:
  defs+=Def*;

Def:
  Type | Prop | Enum | Message | FieldSet | Proto | Include | EOLN;

terminal FILENAME: ('/'? ID ('/'ID)* '/')? ID '.' ID;

Include: 'include' importURI=FILENAME EOLN;

Type: 'type' name=ID EOLN ;


Value: INT | STRING | 'true' | 'false';

NameValueRecord:
  name=ID value=Value EOLN
;

Enum: 'enum' enumType=[Type] name=ID EOLN
  items+=NameValueRecord*
  'end'
;

PropType:'_int'|'_bool'|'_string';

PropDefault:'default' 'message'? EOLN;


Prop:
  'property' name=ID propType=PropType EOLN
     def=PropDefault?
     vars+=NameValueRecord*
  'end'
;

PropList:
  propName=[Prop] ('=' val=Value)?
;

FieldSet:
  'fieldset' name=ID EOLN
    content+=MessageRecord*
  'end'
;

FieldType: Type | Message | Enum
  ;

MessageRecord:
  'property' propName=[Prop] ('=' propValue=Value)? EOLN|
  tag=INT type=[FieldType] name=ID props+=PropList* EOLN|
  type=[FieldType] name=ID tag=INT props+=PropList* EOLN|
  name=ID EOLN|
  EOLN
;

Message:
  'message' name=ID (msgTag=INT)? EOLN
  content+=MessageRecord*
  'end'
;

ProtoRecord:
  name=[Message] props+=PropList* EOLN | EOLN
;

Proto:
  'protocol' name=ID EOLN
  content+=ProtoRecord*
  'end'
;

      language = auto-inject {
        uri = grammarURI

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

        // generates Java API for the generated EPackages
        fragment = ecore.EMFGeneratorFragment auto-inject {}

        // the old serialization component
        // fragment = parseTreeConstructor.ParseTreeConstructorFragment auto-inject {}

        // serializer 2.0
        fragment = serializer.SerializerFragment auto-inject {
          generateStub = false
        }

        // a custom ResourceFactory for use with EMF
        fragment = resourceFactory.ResourceFactoryFragment auto-inject {}

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

        // Xtend-based API for validation
        fragment = validation.ValidatorFragment auto-inject {
            composedCheck = "org.eclipse.xtext.validation.ImportUriValidator"
        //    composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
        }

        // old scoping and exporting API
        // fragment = scoping.ImportURIScopingFragment auto-inject {}
        // fragment = exporting.SimpleNamesFragment auto-inject {}

        // scoping and exporting API
        fragment = scoping.ImportURIScopingFragment auto-inject {}
        fragment = exporting.SimpleNamesFragment auto-inject {}
        fragment = builder.BuilderIntegrationFragment auto-inject {}

        // generator API
        fragment = generator.GeneratorFragment auto-inject {}

        // formatter API
        fragment = formatting.FormatterFragment auto-inject {}

        // labeling API
        fragment = labeling.LabelProviderFragment auto-inject {}

        // outline API
        fragment = outline.OutlineTreeProviderFragment auto-inject {}
        fragment = outline.QuickOutlineFragment auto-inject {}
  
        // quickfix API
        fragment = quickfix.QuickfixProviderFragment auto-inject {}
  
        // content assist API
        fragment = contentAssist.ContentAssistFragment auto-inject {}
  
        // generates a more lightweight Antlr parser and lexer tailored for content assist
        fragment = parser.antlr.XtextAntlrUiGeneratorFragment auto-inject {}
  
        // generates junit test support classes into Generator#pathTestProject
        fragment = junit.Junit4Fragment auto-inject {}
  
        // rename refactoring
        fragment = refactoring.RefactorElementNameFragment auto-inject {}
  
        // provides the necessary bindings for java types integration
        fragment = types.TypesGeneratorFragment auto-inject {}
  
        // generates the required bindings only if the grammar inherits from Xbase
        fragment = xbase.XbaseGeneratorFragment auto-inject {}
      
        // generates the required bindings only if the grammar inherits from Xtype
        fragment = xbase.XtypeGeneratorFragment auto-inject {}
  
        // provides a preference page for template proposals
        fragment = templates.CodetemplatesGeneratorFragment auto-inject {}
  
        // provides a compare view
        fragment = compare.CompareFragment auto-inject {}
      }