dk.brics.tajs.analysis.js

Class Operators

java.lang.Object

dk.brics.tajs.analysis.js.Operators

public class Operators
extends java.lang.Object

Evaluation of operators on abstract values (Chapter 11).

Method Summary

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

11.6.1 + (binary)

and

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

11.10&

complement

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

11.4.8 ~ (bitwise not)

div

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

11.5.2 /

eq

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

11.9.1 ==

ge

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

11.8.4 >=

gt

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

11.8.2 >

in

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

11.8.7 in

instof

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

11.8.6 instanceof

le

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

11.8.3 <=

lt

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

11.8.1 <

mul

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

11.5.1 *

neq

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

11.9.2 !=

not

public static Value not(Value v)

11.4.9 ! (logical not)

or

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

11.10 |

rem

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

11.5.3 %

shl

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

11.7.1 << (left shift)

shr

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

11.7.2 >> (signed right shift)

stricteq

public static Value stricteq(Value v1,
                             Value v2)

11.9.4 ===

strictneq

public static Value strictneq(Value v1,
                              Value v2)

11.9.5 !==

sub

public static Value sub(Value v1,
                        Value v2,
                        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,
                           GenericSolver.SolverInterface c)

11.4.7 - (unary)

uplus

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

11.4.6 + (unary)

ushr

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

11.7.3 >>> (unsigned right shift)

xor

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

11.10 ^