1つのチャンネルにrefポートとoutポートが両方存在するケースにおいて,同名の空メソッドが追加で生成される. #46

使用したモデルファイル

channel CIO{
    ref b(x:Int, input(y:Int, x))
    out a(x:Int, input(y, z)) == y + z
    
    out b(x:Int, input(y, z)) == y
}

生成されたプロトタイプのBクラス

public class B {
    private int value;
    public void input(int z, int y) {
        this.value = y;
    }
    public void input(int x, int y) {
    }
    public int getValue() {
        return value;
    }
}