FilesExpand file tree

 master

/

Or.java

Copy path

BlameMore file actions

BlameMore file actions

Latest commit

 

History

History

History

69 lines (56 loc) · 1.86 KB

 master

/

Or.java

Top

File metadata and controls

• Code
• Blame

69 lines (56 loc) · 1.86 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

60

61

62

63

64

65

66

67

68

69

package symjava.logic;

import java.util.Map;

import com.sun.org.apache.bcel.internal.generic.ConstantPoolGen;

import com.sun.org.apache.bcel.internal.generic.DCMPL;

import com.sun.org.apache.bcel.internal.generic.GOTO;

import com.sun.org.apache.bcel.internal.generic.IFLE;

import com.sun.org.apache.bcel.internal.generic.IOR;

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.NOP;

import com.sun.org.apache.bcel.internal.generic.PUSH;

import symjava.symbolic.Expr;

import symjava.symbolic.Expr.TYPE;

import symjava.symbolic.TypeInfo;

import symjava.symbolic.arity.BinaryOp;

public class Or extends BinaryOp implements Logic {

public Or(Expr l, Expr r) {

super(l, r);

this.label = l+" | "+r;

this.sortKey = this.label;

}

@Override

public Expr simplify() {

return this;

}

@Override

public boolean symEquals(Expr other) {

return false;

}

@Override

public Expr diff(Expr expr) {

return this;

}

public static Expr simplifiedIns(Expr lhs, Expr rhs) {

return new Or(lhs, rhs);

}

public InstructionHandle bytecodeGen(String clsName, MethodGen mg,

ConstantPoolGen cp, InstructionFactory factory,

InstructionList il, Map<String, Integer> argsMap, int argsStartPos,

Map<Expr, Integer> funcRefsMap) {

InstructionHandle startPos = arg1.bytecodeGen(clsName, mg, cp, factory, il, argsMap, argsStartPos, funcRefsMap);

arg2.bytecodeGen(clsName, mg, cp, factory, il, argsMap, argsStartPos, funcRefsMap);

il.append(new IOR());

return startPos;

}

@Override

public TypeInfo getTypeInfo() {

return TypeInfo.tiInt;

}

@Override

public void updateLabel() {

// TODO Auto-generated method stub

}

}