comparison src/alice/codesegment/OutputDataSegment.java @ 297:f51ea581b0ff

add quick method
author sugi
date Tue, 22 Oct 2013 17:09:04 +0900
parents 51ccd5480a86
children a8255a831ade
comparison
equal deleted inserted replaced
296:51ccd5480a86 297:f51ea581b0ff
12 public void flip(Receiver receiver) { 12 public void flip(Receiver receiver) {
13 receiver.managerKey=null; 13 receiver.managerKey=null;
14 DataSegment.getLocal().put(receiver.key, receiver.getObj()); 14 DataSegment.getLocal().put(receiver.key, receiver.getObj());
15 } 15 }
16 16
17 public <T> void put(String key, T val) { 17 public void put(String key, Object val) {
18 DataSegment.getLocal().put(key, val); 18 DataSegment.getLocal().put(key, val);
19 } 19 }
20 20
21 public <T> void update(String key, T val) { 21 public void quickPut(String key, Object val) {
22 put(key, val);
23 }
24
25 public void update(String key, Object val) {
22 DataSegment.getLocal().update(key, val); 26 DataSegment.getLocal().update(key, val);
27 }
28
29 public void quickuUpdate(String key, Object val) {
30 update(key, val);
23 } 31 }
24 32
25 /** 33 /**
26 * for remote 34 * for remote
27 */ 35 */
28 public <T> void put(String managerKey, String key, T val) { 36 public void put(String managerKey, String key, Object val) {
29 if (!managerKey.equals("local")){ 37 if (!managerKey.equals("local")){
30 DataSegment.get(managerKey).put(key, val); 38 DataSegment.get(managerKey).put(key,val);
31 } else { 39 } else {
32 put(key, val); 40 put(key, val);
33 } 41 }
34 } 42 }
35 43
36 public <T> void update(String managerKey, String key, T val) { 44 public void quickPut(String managerKey, String key, Object val) {
45 if (!managerKey.equals("local")){
46 DataSegment.get(managerKey).quickPut(key, val);
47 } else {
48 put(key, val);
49 }
50 }
51
52 public void update(String managerKey, String key, Object val) {
53 if (!managerKey.equals("local")){
54 DataSegment.get(managerKey).update(key, val);
55 } else {
56 update(key, val);
57 }
58 }
59
60 public void quickUpdate(String managerKey, String key, Object val) {
37 if (!managerKey.equals("local")){ 61 if (!managerKey.equals("local")){
38 DataSegment.get(managerKey).update(key, val); 62 DataSegment.get(managerKey).update(key, val);
39 } else { 63 } else {
40 update(key, val); 64 update(key, val);
41 } 65 }
58 */ 82 */
59 83
60 public void close(String managerKey) { 84 public void close(String managerKey) {
61 DataSegment.get(managerKey).close(); 85 DataSegment.get(managerKey).close();
62 } 86 }
63 87
64 } 88 }