小编Adr*_*her的帖子

我很难摆脱我的Dafny程序中的最后一个错误.有人能指出我正确的方向吗？这是代码:http://rise4fun.com/Dafny/2FPo

我收到此错误:赋值可能更新数组元素而不是封闭上下文的modifies子句

我尝试在合并方法中添加修改矩形(尽管我很确定已经包含在修改它中)但这只是在合并方法调用上创建了类似的错误.

我真的迷失了这个.谢谢您的帮助

我正在尝试为游戏编写HUD，但我无法弄清楚如何正确缩放Label。我正在使用以下代码：

Label hpLabel = new Label("HP: ",new Label.LabelStyle(new BitmapFont(),Color.BROWN));
    table.add(hpLabel);
    viewport = new FitViewport(Gdx.graphics.getWidth()/ FacultyWars.PPM, Gdx.graphics.getHeight()/ FacultyWars.PPM, cam);
    stage = new Stage(viewport, batch);
    stage.addActor(table);
//other ellements added after this 

HP标签在屏幕上非常大。我尝试在标签和表上使用setScale都没有用。任何帮助表示赞赏！谢谢

这是当前屏幕的图片https://gyazo.com/57c190a9d7516bb8b2256bf1a7d17b4c