comparison rep/EditorList.java @ 382:4b87f89b3afd

REP Session Manager (Java version) new structure
author one@firefly.cr.ie.u-ryukyu.ac.jp
date Mon, 10 Nov 2008 22:07:45 +0900
parents 65c6d12a5835
children 3b0a5a55e3ee
comparison
equal deleted inserted replaced
381:65fdb3dc1885 382:4b87f89b3afd
1 package rep; 1 package rep;
2 2
3 import java.util.HashMap; 3 import java.util.HashMap;
4 4
5 public class EditorList extends HashMap<Integer,Editor> { 5 import rep.handler.REPNode;
6
7 public class EditorList extends HashMap<Integer,REPNode> {
6 8
7 /** 9 /**
8 * 10 *
9 */ 11 */
10 private static final long serialVersionUID = 1L; 12 private static final long serialVersionUID = 1L;
11 private int eid_root=0; 13 private int eid_root=0;
12 14
13 public void add(Editor fw) { 15 public void add(REPNode fw) {
14 put(fw.getEID(),fw); 16 put(fw.getEID(),fw);
15 } 17 }
16 18
17 19
18 public int newEid() { 20 public int newEid() {