# HG changeset patch # User sugi # Date 1382428737 -32400 # Node ID 51ccd5480a8683c3b43060283823cf181396d393 # Parent 26006214cf3bf0b55b93dfce5e1ebaa1779f7dbd remove unused method diff -r 26006214cf3b -r 51ccd5480a86 src/alice/codesegment/OutputDataSegment.java --- a/src/alice/codesegment/OutputDataSegment.java Sun Oct 20 18:44:57 2013 +0900 +++ b/src/alice/codesegment/OutputDataSegment.java Tue Oct 22 16:58:57 2013 +0900 @@ -14,18 +14,10 @@ DataSegment.getLocal().put(receiver.key, receiver.getObj()); } - public void put(String key, byte[] val) { - DataSegment.getLocal().put(key, val); - } - public void put(String key, T val) { DataSegment.getLocal().put(key, val); } - public void update(String key, byte[] val) { - DataSegment.getLocal().update(key, val); - } - public void update(String key, T val) { DataSegment.getLocal().update(key, val); } @@ -33,14 +25,6 @@ /** * for remote */ - public void put(String managerKey, String key, byte[] val) { - if (!managerKey.equals("local")){ - DataSegment.get(managerKey).put(key,val); - } else { - put(key, val); - } - } - public void put(String managerKey, String key, T val) { if (!managerKey.equals("local")){ DataSegment.get(managerKey).put(key, val); @@ -49,14 +33,6 @@ } } - public void update(String managerKey, String key, byte[] val) { - if (!managerKey.equals("local")){ - DataSegment.get(managerKey).update(key, val); - } else { - update(key, val); - } - } - public void update(String managerKey, String key, T val) { if (!managerKey.equals("local")){ DataSegment.get(managerKey).update(key, val);