@MyFoo
  public void foo(@MyBar(value="foo") Bar bar){
    this.bar = bar;
  }

class FooBarInferrer extends AbstractModelInferrer {
  @Inject extension JvmTypesBuilder
  ...

  def dispatch void infer(Foo foo, IJvmDeclaredTypeAcceptor acceptor, boolean isPreIndexingPhase) {
  ...
  acceptor.accept(foo.toClass(foo.name)).initializeLater([
     members+= foo.fooMethod
     ...
  ])

  def fooMethod(Foo foo){
       	foo.toMethod(
   	"foo", 
  	foo.newTypeRef(Void::TYPE), 
        [	
	   parameters += toParameter(form.bar.simpleName.toFirstLower,form.bar)
           // how do I add annotation  @MyBar(value="foo") to parameters!?
           body=[append('''this.bar = bar;''')]
	   annotations.add(form.toAnnotation("foo.annotation.MyFoo"))
        ])
  }

}

def fooMethod(Foo foo){
       	foo.toMethod(
   	"foo", 
  	foo.newTypeRef(Void::TYPE), 
        [	
	   var fooPar = toParameter(foo.bar.simpleName.toFirstLower,form.bar)
           foorPar.annotations.add(foo.toAnnotation("foo.annotation.MyBar","foo"))
           parameters += fooPar
           body=[append('''this.bar = bar;''')]
	   annotations.add(foo.toAnnotation("foo.annotation.MyFoo"))
        ])
  }

 var fooPar = toParameter(foo.bar.simpleName.toFirstLower,form.bar)
 foorPar.annotations.add(toAnnotation("foo.annotation.MyBar","foo"))

 var fooPar = toParameter(foo.bar.simpleName.toFirstLower,form.bar)
 foorPar.annotations.add(fooPar.toAnnotation("foo.annotation.MyBar","foo"))

parameters += toParameter(form.bar.simpleName.toFirstLower,form.bar) => [
   annotations += ....
]

class Utils {

	@Inject extension JvmTypesBuilder
	@Inject extension TypesFactory

	def addStringValue(JvmAnnotationReference annoRef, String name, String value) {
		val op = annoRef.findOperationByName(name)
		annoRef.values += createJvmStringAnnotationValue => [
			operation = op
			values += value
		]
		annoRef
	}

	// Similar methods (left to the reader as an exercise ;-) )
	//   addIntValue(JvmAnnotationReference annoRef, String name, int value)
	//   addBooleanValue(JvmAnnotationReference annoRef, String name, boolean value)
	//   addAnnotationValue(JvmAnnotationReference annoRef, String name, JvmAnnotationReference value)
	//   addEnumValue(JvmAnnotationReference annoRef, EObject context, String name, Enum<?> value)
	//   addTypeValue(JvmAnnotationReference annoRef, EObject context, String name, Class<?> value)
	//   ...

	def private findOperationByName(JvmAnnotationReference annoRef, String name) {
		annoRef.annotation.declaredOperations.findFirst[it.simpleName == name]
	}
}

    @Inject extension JvmTypesBuilder
    @Inject extension Utils

    val a = e.toAnnotation("javax.persistence.NamedQuery")
        .addStringValue("name", "Printer.findAll")
        .addStringValue("query", "SELECT x FROM Printer AS x")

def addListOfStringValues(JvmAnnotationReference annoRef, String name, List<String> newValues) {
	val op = annoRef.findOperationByName(name)
	annoRef.values += createJvmStringAnnotationValue => [
		operation = op
		for(value: newValues) {
			values += value
		}
	]
	annoRef
}

def addStringValues(JvmAnnotationReference annoRef, String name, String... newValues) {
	val op = annoRef.findOperationByName(name)
	annoRef.values += createJvmStringAnnotationValue => [
		operation = op
		values += newValues
	]
	annoRef
}