view Paper/source/SendWidth.java @ 41:c5da57db74f7 default tip

fix
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 11 Jan 2013 15:16:08 +0900
parents d3cd92ac4bd8
children
line wrap: on
line source

public class SendWidth extends CodeSegment {
    Receiver width = ids.create(CommandType.PEEK);
    @Override
    public void run() {
        int width = this.width.asInteger();
        ods.put("parent", "widths", width);
        System.out.println("send widths: " + width);
        SendWidth cs = new SendWidth();
        cs.width.setKey("local", "width", this.width.index);
    }
}