How do Play controllers inject variables with the proper name into templates?

In the Play getting started docs, they show this controller:

public static void index() {
  Post frontPost = Post.find("order by postedAt desc").first();
  List<Post&g开发者_如何学JAVAt; olderPosts = Post.find("order by postedAt desc").from(1).fetch(10);
  render(frontPost, olderPosts);
}

Then, in the template the frontPost and olderPosts are used without any special mapping!

<a href="#">${frontPost.title}</a>

How is Play preserving these names?

---

It is made by code injection.

At compile, some classes are enhanced (with code injection, by Javassist), in order to add some informations, such as variable names.

In the render method, this operation is done by the "play.classloading.enhancers.LocalvariablesNamesEnhancer.LocalVariablesNamesTracer" class.