如何使用JPF分析本机方法

时间:2014-09-05 20:18:32

标签: native jpf

我试图使用JPF,但它警告

  

无法找到原生方法

1 个答案:

答案 0 :(得分:1)

查看我的代码,这避免了使用jpf函数细节的本机方法调用

noStroke();


var x = 400;
var y = 400;
var draw = function() {
    background(231, 232, 223);

    fill(92, 149, 255);
    rect(x, y, 100, 20);
    ellipse(x + 50, y - 5, 99, 40);
    fill(48, 47, 48);
    rect(x + 100, y + 5, 5, 10);
    fill(196, 255, 0);
    rect(x, y, 5, 5);
    fill(255, 0, 0);
    rect(x + 95, y, 5, 5);
    fill(13, 13, 13);
    ellipse(x + 120, y - 5, 5, 5);
    ellipse(x + 113, y, 5, 5);


    fill(74, 66, 66);
    ellipse(x + 25, y + 21, 24, 24);
    ellipse(x + 75, y + 21, 24, 24);


    fill(255, 255, 255);
    rect(x + 3 , y - 15, 35, 14);

    x = x - 4;
    y = y - 4;

};


noStroke();

var draw = function() {
    background(231, 232, 223);
var x = mouseX;
var y = mouseY;

    fill(92, 149, 255);
    rect(mouseX, mouseY, 100, 20);
    ellipse(x + 50, y - 5, 99, 40);
    fill(48, 47, 48);
    rect(x + 100, y + 5, 5, 10);
    fill(196, 255, 0);
    rect(x, y, 5, 5);
    fill(255, 0, 0);
    rect(x + 95, y, 5, 5);
    fill(13, 13, 13);
    ellipse(x + 120, y - 5, 5, 5);
    ellipse(x + 113, y, 5, 5);


    fill(74, 66, 66);
    ellipse(x + 25, y + 21, 24, 24);
    ellipse(x + 75, y + 21, 24, 24);


    fill(255, 255, 255);
    rect(x + 3 , y - 15, 35, 14);

};

在Khanacadamy中使用它,你会没事的

相信我,我是一个爱国者