@url() reverse routing isn't compiled

[mathieuancelin]

It seems that if I write something like

GET /index             Application.index

with

<a href="@url(Application.index)">Index</a>

if I move my Application controller to another location without changing my template, the template compilation will not fail

[greenlaw110]

url reverse lookup happen at runtime so it will not complain on compile time. The reason is url reverse lookup support look up with parameters e.g. @url(Application.index(param1, ...)).

[jeromebenois]

IMHO, it would be possible to check the existance of the method's controller at compile time. It would be very useful after code refactoring.

I think this feature would be a huge advantage over the default groovy template engine.

What do you think about it?

[greenlaw110]

Theoretically it should be okay to just check the controller name, however it requires that Routes are loaded to check it (also to check the existence of a static route), due to this limit of Playframework, play won't load the routes when doing the precompiling, which prevent static checking of the URL reverse lookup