forked from yuemingl/SymJava
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSymRandom.java
More file actions
59 lines (49 loc) · 1.36 KB
/
Copy pathSymRandom.java
File metadata and controls
59 lines (49 loc) · 1.36 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
package symjava.symbolic;
import java.util.Map;
import com.sun.org.apache.bcel.internal.Constants;
import com.sun.org.apache.bcel.internal.generic.ConstantPoolGen;
import com.sun.org.apache.bcel.internal.generic.InstructionFactory;
import com.sun.org.apache.bcel.internal.generic.InstructionHandle;
import com.sun.org.apache.bcel.internal.generic.InstructionList;
import com.sun.org.apache.bcel.internal.generic.MethodGen;
import com.sun.org.apache.bcel.internal.generic.Type;
/**
* Represents a random number in the range [0.0, 1.0]
*
*/
public class SymRandom extends Expr {
public SymRandom() {
this.label = "random()";
this.sortKey = label;
}
@Override
public Expr diff(Expr expr) {
return null;
}
@Override
public Expr simplify() {
return this;
}
@Override
public boolean symEquals(Expr other) {
return false;
}
@Override
public TypeInfo getTypeInfo() {
return TypeInfo.tiDouble;
}
@Override
public Expr[] args() {
return new Expr[0];
}
public InstructionHandle bytecodeGen(String clsName, MethodGen mg,
ConstantPoolGen cp, InstructionFactory factory,
InstructionList il, Map<String, Integer> argsMap, int argsStartPos,
Map<Expr, Integer> funcRefsMap) {
return il.append(factory.createInvoke("java.lang.Math", "random",
Type.DOUBLE, new Type[] { }, Constants.INVOKESTATIC));
}
@Override
public void updateLabel() {
}
}