public String __invoke_user_code__(
      final com.mia.formation.mvc.View current,
      final com.mia.openapi.gen.Context context,
      final com.mia.openapi.gen.GenerationServicesManager manager) {

    return String.valueOf(current.getActions().size());
  }
  public String __invoke_user_code__(
      final com.mia.formation.mvc.View current,
      final com.mia.openapi.gen.Context context,
      final com.mia.openapi.gen.GenerationServicesManager manager) {

    return manager.apply(current.getModel().getOwnedElements(), "declarationVueListe");
  }