comparison src/alice/datasegment/DataSegmentManager.java @ 33:20c67f673224

change name of DataSegmentReceiver
author kazz <kazz@cr.ie.u-ryukyu.ac.jp>
date Wed, 18 Jan 2012 01:34:23 +0900
parents b5a21baf0b07
children 3155337e754e
comparison
equal deleted inserted replaced
32:2bfb796b0fa1 33:20c67f673224
31 31
32 }; 32 };
33 33
34 public abstract void put(String key, Value val); 34 public abstract void put(String key, Value val);
35 public abstract void update(String key, Value val); 35 public abstract void update(String key, Value val);
36 public void take(DataSegmentReceiver receiver, String key, CodeSegment cs) { 36 public void take(Receiver receiver, String key, CodeSegment cs) {
37 take(receiver, key, 0, cs); 37 take(receiver, key, 0, cs);
38 } 38 }
39 public abstract void take(DataSegmentReceiver receiver, String key, int index, CodeSegment cs); 39 public abstract void take(Receiver receiver, String key, int index, CodeSegment cs);
40 public void peek(DataSegmentReceiver receiver, String key, CodeSegment cs) { 40 public void peek(Receiver receiver, String key, CodeSegment cs) {
41 peek(receiver, key, 0, cs); 41 peek(receiver, key, 0, cs);
42 } 42 }
43 public abstract void peek(DataSegmentReceiver receiver, String key, int index, CodeSegment cs); 43 public abstract void peek(Receiver receiver, String key, int index, CodeSegment cs);
44 public abstract void remove(String key); 44 public abstract void remove(String key);
45 public abstract void finish(); 45 public abstract void finish();
46 46
47 } 47 }