FilesExpand file tree

 master

/

SymRandom.java

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

59 lines (49 loc) · 1.36 KB

 master

/

SymRandom.java

Top

File metadata and controls

• Code
• Blame

59 lines (49 loc) · 1.36 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

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() {

}

}