dk.brics.tajs.analysis.js

Class Operators

java.lang.Object

dk.brics.tajs.analysis.js.Operators

public class Operators
extends Object

Evaluation of operators on abstract values (Chapter 11).

Method Summary

Methods

Modifier and Type	Method and Description
static Value	add(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.6.1 + (binary)
static Value	and(Value arg1, int register1, Value arg2, int register2, GenericSolver.SolverInterface c) 11.10&
static Value	complement(Value v, int register, GenericSolver.SolverInterface c) 11.4.8 ~ (bitwise not)
static Value	div(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.5.2 /
static Value	eq(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.9.1 ==
static Value	ge(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.8.4 >=
static Value	gt(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.8.2 >
static Value	in(State state, Value v1, int register1, Value v2, GenericSolver.SolverInterface c) 11.8.7 in
static Value	instof(State state, Value v1, Value v2, GenericSolver.SolverInterface c) 11.8.6 instanceof
static Value	le(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.8.3 <=
static Value	lt(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.8.1 <
static Value	mul(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.5.1 *
static Value	neq(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.9.2 !=
static Value	not(Value v, GenericSolver.SolverInterface c) 11.4.9 ! (logical not)
static Value	or(Value arg1, int register1, Value arg2, int register2, GenericSolver.SolverInterface c) 11.10 |
static Value	rem(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.5.3 %
static Value	shl(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.7.1 << (left shift)
static Value	shr(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.7.2 >> (signed right shift)
static Value	stricteq(Value v1, Value v2, GenericSolver.SolverInterface c) 11.9.4 ===
static Value	strictneq(Value v1, Value v2, GenericSolver.SolverInterface c) 11.9.5 !==
static Value	sub(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.6.2 - (binary)
static Value	typeof(Value v, boolean base_maybe_null) 11.4.3 typeof
static Value	uminus(Value v, int register, GenericSolver.SolverInterface c) 11.4.7 - (unary)
static Value	uplus(Value v, int register, GenericSolver.SolverInterface c) 11.4.6 + (unary)
static Value	ushr(Value v1, int register1, Value v2, int register2, GenericSolver.SolverInterface c) 11.7.3 >>> (unsigned right shift)
static Value	xor(Value arg1, int register1, Value arg2, int register2, GenericSolver.SolverInterface c) 11.10 ^

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

add

public static Value add(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.6.1 + (binary)

and

public static Value and(Value arg1,
        int register1,
        Value arg2,
        int register2,
        GenericSolver.SolverInterface c)

11.10&

complement

public static Value complement(Value v,
               int register,
               GenericSolver.SolverInterface c)

11.4.8 ~ (bitwise not)

div

public static Value div(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.5.2 /

eq

public static Value eq(Value v1,
       int register1,
       Value v2,
       int register2,
       GenericSolver.SolverInterface c)

11.9.1 ==

ge

public static Value ge(Value v1,
       int register1,
       Value v2,
       int register2,
       GenericSolver.SolverInterface c)

11.8.4 >=

gt

public static Value gt(Value v1,
       int register1,
       Value v2,
       int register2,
       GenericSolver.SolverInterface c)

11.8.2 >

in

public static Value in(State state,
       Value v1,
       int register1,
       Value v2,
       GenericSolver.SolverInterface c)

11.8.7 in

instof

public static Value instof(State state,
           Value v1,
           Value v2,
           GenericSolver.SolverInterface c)

11.8.6 instanceof

le

public static Value le(Value v1,
       int register1,
       Value v2,
       int register2,
       GenericSolver.SolverInterface c)

11.8.3 <=

lt

public static Value lt(Value v1,
       int register1,
       Value v2,
       int register2,
       GenericSolver.SolverInterface c)

11.8.1 <

mul

public static Value mul(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.5.1 *

neq

public static Value neq(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.9.2 !=

not

public static Value not(Value v,
        GenericSolver.SolverInterface c)

11.4.9 ! (logical not)

or

public static Value or(Value arg1,
       int register1,
       Value arg2,
       int register2,
       GenericSolver.SolverInterface c)

11.10 |

rem

public static Value rem(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.5.3 %

shl

public static Value shl(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.7.1 << (left shift)

shr

public static Value shr(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.7.2 >> (signed right shift)

stricteq

public static Value stricteq(Value v1,
             Value v2,
             GenericSolver.SolverInterface c)

11.9.4 ===

strictneq

public static Value strictneq(Value v1,
              Value v2,
              GenericSolver.SolverInterface c)

11.9.5 !==

sub

public static Value sub(Value v1,
        int register1,
        Value v2,
        int register2,
        GenericSolver.SolverInterface c)

11.6.2 - (binary)

typeof

public static Value typeof(Value v,
           boolean base_maybe_null)

11.4.3 typeof

uminus

public static Value uminus(Value v,
           int register,
           GenericSolver.SolverInterface c)

11.4.7 - (unary)

uplus

public static Value uplus(Value v,
          int register,
          GenericSolver.SolverInterface c)

11.4.6 + (unary)

ushr

public static Value ushr(Value v1,
         int register1,
         Value v2,
         int register2,
         GenericSolver.SolverInterface c)

11.7.3 >>> (unsigned right shift)

xor

public static Value xor(Value arg1,
        int register1,
        Value arg2,
        int register2,
        GenericSolver.SolverInterface c)

11.10 ^