Java 类com.vaadin.server.Page.UriFragmentChangedEvent 实例源码

@Override
protected void init(VaadinRequest request) {    

    initializeEnvironment(request);

    getEnvironment().setCurrentUriFragment("login");
    getPage().setUriFragment(getEnvironment().getCurrentUriFragment());

    getPage().addUriFragmentChangedListener(
               new UriFragmentChangedListener() {
           public void uriFragmentChanged(
                   UriFragmentChangedEvent source) {
               enter(source.getUriFragment());
            }
        });

        // Read the initial URI fragment
        enter(getPage().getUriFragment());
}