/**
* Called when the users asks to show all elements in a summation.
*
* @param user User ID
* @param anchor Unique ID of Anchor
* @param type Session type (edit, query, browse)
* @param key browsing session id (null if session type is EDIT)
* @return AnchorInfo[] with serialisable version of feedback text, empty if the user's session is
* expired or null if an error occurred
*/
public AnchorInfo[] showSummation(String user, String anchor, int type, String key) {
if (!userMap.containsKey(user)) return new AnchorInfo[0];
LiberSession session = userMap.get(user);
synchronized (session) {
session.setLastUpdated();
return session.showSummation(anchor, type, key);
}
}
