import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;
import org.antlr.stringtemplate.*;

public class UserListPage extends Page {
    /** Our simulated database */
    static User[] users = new User[] {
	new User("Boris", 39),
	new User("Natasha", 31),
	new User("Jorge", 25),
	new User("Vladimir", 28)
    };

    public StringTemplate body() {
	StringTemplate bodyST = templates.getInstanceOf("users_list");
        User[] list = users; // normally pull from database
        // filter list if you want here (not in template)
        bodyST.setAttribute("users", list);
	return bodyST;
    }

    public String getTitle() { return "List of users"; }
}