org.checkerframework.common.value

Class Operators

java.lang.Object

org.checkerframework.common.value.Operators

public class Operators
extends Object

This file contains methods that simulate the functions of the binary and unary operators in java (e.g. +, -, <, ++, etc.). The purpose of doing this is to streamline the code for evaluating operators in ValueAnnotatedTypeFactory and make it more similar to the code for evaluating methods as well. The naming is the same name as the operator has when BinaryTree.getKind() is called.

Constructor Summary

Constructors

Constructor and Description
Operators()

Method Summary

Modifier and Type	Method and Description
static boolean	AND(boolean a, boolean b)
static boolean	AND(Boolean a, Boolean b)
static int	AND(Integer a, Integer b)
static int	AND(int a, int b)
static long	AND(long a, long b)
static long	AND(Long a, Long b)
static int	BITWISE_COMPLEMENT(Integer a)
static long	BITWISE_COMPLEMENT(Long a)
static boolean	CONDITIONAL_AND(boolean a, boolean b)
static boolean	CONDITIONAL_AND(Boolean a, Boolean b)
static boolean	CONDITIONAL_OR(boolean a, boolean b)
static boolean	CONDITIONAL_OR(Boolean a, Boolean b)
static double	DIVIDE(double a, double b)
static double	DIVIDE(Double a, Double b)
static float	DIVIDE(float a, float b)
static float	DIVIDE(Float a, Float b)
static int	DIVIDE(Integer a, Integer b)
static int	DIVIDE(int a, int b)
static long	DIVIDE(long a, long b)
static long	DIVIDE(Long a, Long b)
static boolean	EQUAL_TO(boolean a, boolean b)
static boolean	EQUAL_TO(Boolean a, Boolean b)
static boolean	EQUAL_TO(Character a, Character b)
static boolean	EQUAL_TO(Double a, Double b)
static boolean	EQUAL_TO(Long a, Long b)
static boolean	EQUAL_TO(String a, String b)
static boolean	GREATER_THAN_EQUAL(Character a, Character b)
static boolean	GREATER_THAN_EQUAL(Double a, Double b)
static boolean	GREATER_THAN_EQUAL(Long a, Long b)
static boolean	GREATER_THAN(Character a, Character b)
static boolean	GREATER_THAN(Double a, Double b)
static boolean	GREATER_THAN(Long a, Long b)
static int	LEFT_SHIFT(Integer a, Integer b)
static int	LEFT_SHIFT(int a, int b)
static long	LEFT_SHIFT(Long a, Long b)
static boolean	LESS_THAN_EQUAL(Character a, Character b)
static boolean	LESS_THAN_EQUAL(Double a, Double b)
static boolean	LESS_THAN_EQUAL(Long a, Long b)
static boolean	LESS_THAN(Character a, Character b)
static boolean	LESS_THAN(Double a, Double b)
static boolean	LESS_THAN(Long a, Long b)
static boolean	LOGICAL_COMPLEMENT(boolean a)
static boolean	LOGICAL_COMPLEMENT(Boolean a)
static double	MINUS(double a, double b)
static double	MINUS(Double a, Double b)
static float	MINUS(float a, float b)
static float	MINUS(Float a, Float b)
static int	MINUS(Integer a, Integer b)
static int	MINUS(int a, int b)
static long	MINUS(long a, long b)
static long	MINUS(Long a, Long b)
static double	MULTIPLY(double a, double b)
static double	MULTIPLY(Double a, Double b)
static float	MULTIPLY(float a, float b)
static float	MULTIPLY(Float a, Float b)
static int	MULTIPLY(Integer a, Integer b)
static int	MULTIPLY(int a, int b)
static long	MULTIPLY(long a, long b)
static long	MULTIPLY(Long a, Long b)
static boolean	NOT_EQUAL_TO(boolean a, boolean b)
static boolean	NOT_EQUAL_TO(Boolean a, Boolean b)
static boolean	NOT_EQUAL_TO(Character a, Character b)
static boolean	NOT_EQUAL_TO(Double a, Double b)
static boolean	NOT_EQUAL_TO(Long a, Long b)
static boolean	NOT_EQUAL_TO(String a, String b)
static boolean	OR(boolean a, boolean b)
static boolean	OR(Boolean a, Boolean b)
static int	OR(Integer a, Integer b)
static int	OR(int a, int b)
static long	OR(long a, long b)
static long	OR(Long a, Long b)
static double	PLUS(double a, double b)
static double	PLUS(Double a, Double b)
static float	PLUS(float a, float b)
static float	PLUS(Float a, Float b)
static int	PLUS(Integer a, Integer b)
static int	PLUS(int a, int b)
static long	PLUS(long a, long b)
static long	PLUS(Long a, Long b)
static String	PLUS(String a, String b)
static byte	POSTFIX_DECREMENT(Byte a)
static char	POSTFIX_DECREMENT(Character a)
static double	POSTFIX_DECREMENT(Double a)
static float	POSTFIX_DECREMENT(Float a)
static int	POSTFIX_DECREMENT(Integer a)
static long	POSTFIX_DECREMENT(Long a)
static short	POSTFIX_DECREMENT(Short a)
static byte	POSTFIX_INCREMENT(Byte a) NOTE ON POSTFIX OPERATORS: Because the postfix increment/decrement would take place after the value is returned, the method does not actually perform a postfix increment/decrement; this is correctly handled by the org.checkerframework.dataflow analysis elsewhere.
static char	POSTFIX_INCREMENT(Character a)
static double	POSTFIX_INCREMENT(Double a)
static float	POSTFIX_INCREMENT(Float a)
static int	POSTFIX_INCREMENT(Integer a)
static long	POSTFIX_INCREMENT(Long a)
static short	POSTFIX_INCREMENT(Short a)
static byte	PREFIX_DECREMENT(Byte a)
static char	PREFIX_DECREMENT(Character a)
static double	PREFIX_DECREMENT(Double a)
static float	PREFIX_DECREMENT(Float a)
static int	PREFIX_DECREMENT(Integer a)
static long	PREFIX_DECREMENT(Long a)
static short	PREFIX_DECREMENT(Short a)
static byte	PREFIX_INCREMENT(Byte a)
static char	PREFIX_INCREMENT(Character a)
static double	PREFIX_INCREMENT(Double a)
static float	PREFIX_INCREMENT(Float a)
static int	PREFIX_INCREMENT(Integer a)
static long	PREFIX_INCREMENT(Long a)
static short	PREFIX_INCREMENT(Short a)
static double	REMAINDER(double a, double b)
static double	REMAINDER(Double a, Double b)
static float	REMAINDER(float a, float b)
static float	REMAINDER(Float a, Float b)
static int	REMAINDER(Integer a, Integer b)
static int	REMAINDER(int a, int b)
static long	REMAINDER(long a, long b)
static long	REMAINDER(Long a, Long b)
static int	RIGHT_SHIFT(Integer a, Integer b)
static int	RIGHT_SHIFT(int a, int b)
static long	RIGHT_SHIFT(long a, long b)
static long	RIGHT_SHIFT(Long a, Long b)
static double	UNARY_MINUS(Double a)
static float	UNARY_MINUS(Float a)
static int	UNARY_MINUS(Integer a)
static long	UNARY_MINUS(Long a)
static double	UNARY_PLUS(Double a)
static float	UNARY_PLUS(Float a)
static int	UNARY_PLUS(Integer a)
static long	UNARY_PLUS(Long a)
static int	UNSIGNED_RIGHT_SHIFT(Integer a, Integer b)
static int	UNSIGNED_RIGHT_SHIFT(int a, int b)
static long	UNSIGNED_RIGHT_SHIFT(long a, long b)
static long	UNSIGNED_RIGHT_SHIFT(Long a, Long b)
static boolean	XOR(boolean a, boolean b)
static boolean	XOR(Boolean a, Boolean b)
static int	XOR(Integer a, Integer b)
static int	XOR(int a, int b)
static long	XOR(long a, long b)
static long	XOR(Long a, Long b)

Methods inherited from class java.lang.Object

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

Constructor Detail

Operators

public Operators()

Method Detail

LOGICAL_COMPLEMENT

public static boolean LOGICAL_COMPLEMENT(Boolean a)

LOGICAL_COMPLEMENT

public static boolean LOGICAL_COMPLEMENT(boolean a)

BITWISE_COMPLEMENT

public static long BITWISE_COMPLEMENT(Long a)

BITWISE_COMPLEMENT

public static int BITWISE_COMPLEMENT(Integer a)

POSTFIX_INCREMENT

public static byte POSTFIX_INCREMENT(Byte a)

NOTE ON POSTFIX OPERATORS: Because the postfix increment/decrement would take place after the value is returned, the method does not actually perform a postfix increment/decrement; this is correctly handled by the org.checkerframework.dataflow analysis elsewhere.

POSTFIX_INCREMENT

public static short POSTFIX_INCREMENT(Short a)

POSTFIX_INCREMENT

public static char POSTFIX_INCREMENT(Character a)

POSTFIX_INCREMENT

public static int POSTFIX_INCREMENT(Integer a)

POSTFIX_INCREMENT

public static long POSTFIX_INCREMENT(Long a)

POSTFIX_INCREMENT

public static float POSTFIX_INCREMENT(Float a)

POSTFIX_INCREMENT

public static double POSTFIX_INCREMENT(Double a)

PREFIX_INCREMENT

public static byte PREFIX_INCREMENT(Byte a)

PREFIX_INCREMENT

public static short PREFIX_INCREMENT(Short a)

PREFIX_INCREMENT

public static char PREFIX_INCREMENT(Character a)

PREFIX_INCREMENT

public static int PREFIX_INCREMENT(Integer a)

PREFIX_INCREMENT

public static long PREFIX_INCREMENT(Long a)

PREFIX_INCREMENT

public static float PREFIX_INCREMENT(Float a)

PREFIX_INCREMENT

public static double PREFIX_INCREMENT(Double a)

POSTFIX_DECREMENT

public static byte POSTFIX_DECREMENT(Byte a)

POSTFIX_DECREMENT

public static short POSTFIX_DECREMENT(Short a)

POSTFIX_DECREMENT

public static char POSTFIX_DECREMENT(Character a)

POSTFIX_DECREMENT

public static int POSTFIX_DECREMENT(Integer a)

POSTFIX_DECREMENT

public static long POSTFIX_DECREMENT(Long a)

POSTFIX_DECREMENT

public static float POSTFIX_DECREMENT(Float a)

POSTFIX_DECREMENT

public static double POSTFIX_DECREMENT(Double a)

PREFIX_DECREMENT

public static byte PREFIX_DECREMENT(Byte a)

PREFIX_DECREMENT

public static short PREFIX_DECREMENT(Short a)

PREFIX_DECREMENT

public static char PREFIX_DECREMENT(Character a)

PREFIX_DECREMENT

public static int PREFIX_DECREMENT(Integer a)

PREFIX_DECREMENT

public static long PREFIX_DECREMENT(Long a)

PREFIX_DECREMENT

public static float PREFIX_DECREMENT(Float a)

PREFIX_DECREMENT

public static double PREFIX_DECREMENT(Double a)

UNARY_MINUS

public static int UNARY_MINUS(Integer a)

UNARY_MINUS

public static long UNARY_MINUS(Long a)

UNARY_MINUS

public static float UNARY_MINUS(Float a)

UNARY_MINUS

public static double UNARY_MINUS(Double a)

UNARY_PLUS

public static int UNARY_PLUS(Integer a)

UNARY_PLUS

public static long UNARY_PLUS(Long a)

UNARY_PLUS

public static float UNARY_PLUS(Float a)

UNARY_PLUS

public static double UNARY_PLUS(Double a)

CONDITIONAL_AND

public static boolean CONDITIONAL_AND(Boolean a,
                                      Boolean b)

CONDITIONAL_OR

public static boolean CONDITIONAL_OR(Boolean a,
                                     Boolean b)

CONDITIONAL_AND

public static boolean CONDITIONAL_AND(boolean a,
                                      boolean b)

CONDITIONAL_OR

public static boolean CONDITIONAL_OR(boolean a,
                                     boolean b)

PLUS

public static double PLUS(Double a,
                          Double b)

PLUS

public static long PLUS(Long a,
                        Long b)

PLUS

public static int PLUS(Integer a,
                       Integer b)

PLUS

public static float PLUS(Float a,
                         Float b)

PLUS

public static double PLUS(double a,
                          double b)

PLUS

public static long PLUS(long a,
                        long b)

PLUS

public static int PLUS(int a,
                       int b)

PLUS

public static float PLUS(float a,
                         float b)

PLUS

public static String PLUS(String a,
                          String b)

MINUS

public static double MINUS(Double a,
                           Double b)

MINUS

public static long MINUS(Long a,
                         Long b)

MINUS

public static int MINUS(Integer a,
                        Integer b)

MINUS

public static float MINUS(Float a,
                          Float b)

MINUS

public static double MINUS(double a,
                           double b)

MINUS

public static long MINUS(long a,
                         long b)

MINUS

public static int MINUS(int a,
                        int b)

MINUS

public static float MINUS(float a,
                          float b)

MULTIPLY

public static double MULTIPLY(Double a,
                              Double b)

MULTIPLY

public static long MULTIPLY(Long a,
                            Long b)

MULTIPLY

public static int MULTIPLY(Integer a,
                           Integer b)

MULTIPLY

public static float MULTIPLY(Float a,
                             Float b)

MULTIPLY

public static double MULTIPLY(double a,
                              double b)

MULTIPLY

public static long MULTIPLY(long a,
                            long b)

MULTIPLY

public static int MULTIPLY(int a,
                           int b)

MULTIPLY

public static float MULTIPLY(float a,
                             float b)

DIVIDE

public static double DIVIDE(Double a,
                            Double b)

DIVIDE

public static long DIVIDE(Long a,
                          Long b)

DIVIDE

public static int DIVIDE(Integer a,
                         Integer b)

DIVIDE

public static float DIVIDE(Float a,
                           Float b)

DIVIDE

public static double DIVIDE(double a,
                            double b)

DIVIDE

public static long DIVIDE(long a,
                          long b)

DIVIDE

public static int DIVIDE(int a,
                         int b)

DIVIDE

public static float DIVIDE(float a,
                           float b)

REMAINDER

public static double REMAINDER(Double a,
                               Double b)

REMAINDER

public static long REMAINDER(Long a,
                             Long b)

REMAINDER

public static int REMAINDER(Integer a,
                            Integer b)

REMAINDER

public static float REMAINDER(Float a,
                              Float b)

REMAINDER

public static double REMAINDER(double a,
                               double b)

REMAINDER

public static long REMAINDER(long a,
                             long b)

REMAINDER

public static int REMAINDER(int a,
                            int b)

REMAINDER

public static float REMAINDER(float a,
                              float b)

LEFT_SHIFT

public static long LEFT_SHIFT(Long a,
                              Long b)

LEFT_SHIFT

public static int LEFT_SHIFT(Integer a,
                             Integer b)

LEFT_SHIFT

public static int LEFT_SHIFT(int a,
                             int b)

RIGHT_SHIFT

public static long RIGHT_SHIFT(Long a,
                               Long b)

RIGHT_SHIFT

public static int RIGHT_SHIFT(Integer a,
                              Integer b)

RIGHT_SHIFT

public static long RIGHT_SHIFT(long a,
                               long b)

RIGHT_SHIFT

public static int RIGHT_SHIFT(int a,
                              int b)

UNSIGNED_RIGHT_SHIFT

public static long UNSIGNED_RIGHT_SHIFT(Long a,
                                        Long b)

UNSIGNED_RIGHT_SHIFT

public static int UNSIGNED_RIGHT_SHIFT(Integer a,
                                       Integer b)

UNSIGNED_RIGHT_SHIFT

public static long UNSIGNED_RIGHT_SHIFT(long a,
                                        long b)

UNSIGNED_RIGHT_SHIFT

public static int UNSIGNED_RIGHT_SHIFT(int a,
                                       int b)

AND

public static boolean AND(Boolean a,
                          Boolean b)

AND

public static boolean AND(boolean a,
                          boolean b)

AND

public static long AND(Long a,
                       Long b)

AND

public static int AND(Integer a,
                      Integer b)

AND

public static long AND(long a,
                       long b)

AND

public static int AND(int a,
                      int b)

OR

public static boolean OR(Boolean a,
                         Boolean b)

OR

public static long OR(Long a,
                      Long b)

OR

public static int OR(Integer a,
                     Integer b)

OR

public static boolean OR(boolean a,
                         boolean b)

OR

public static long OR(long a,
                      long b)

OR

public static int OR(int a,
                     int b)

XOR

public static boolean XOR(Boolean a,
                          Boolean b)

XOR

public static long XOR(Long a,
                       Long b)

XOR

public static int XOR(Integer a,
                      Integer b)

XOR

public static boolean XOR(boolean a,
                          boolean b)

XOR

public static long XOR(long a,
                       long b)

XOR

public static int XOR(int a,
                      int b)

EQUAL_TO

public static boolean EQUAL_TO(Double a,
                               Double b)

EQUAL_TO

public static boolean EQUAL_TO(Character a,
                               Character b)

EQUAL_TO

public static boolean EQUAL_TO(Long a,
                               Long b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(Double a,
                                   Double b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(Character a,
                                   Character b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(Long a,
                                   Long b)

GREATER_THAN

public static boolean GREATER_THAN(Double a,
                                   Double b)

GREATER_THAN

public static boolean GREATER_THAN(Character a,
                                   Character b)

GREATER_THAN

public static boolean GREATER_THAN(Long a,
                                   Long b)

GREATER_THAN_EQUAL

public static boolean GREATER_THAN_EQUAL(Double a,
                                         Double b)

GREATER_THAN_EQUAL

public static boolean GREATER_THAN_EQUAL(Character a,
                                         Character b)

GREATER_THAN_EQUAL

public static boolean GREATER_THAN_EQUAL(Long a,
                                         Long b)

LESS_THAN

public static boolean LESS_THAN(Double a,
                                Double b)

LESS_THAN

public static boolean LESS_THAN(Character a,
                                Character b)

LESS_THAN

public static boolean LESS_THAN(Long a,
                                Long b)

LESS_THAN_EQUAL

public static boolean LESS_THAN_EQUAL(Double a,
                                      Double b)

LESS_THAN_EQUAL

public static boolean LESS_THAN_EQUAL(Character a,
                                      Character b)

LESS_THAN_EQUAL

public static boolean LESS_THAN_EQUAL(Long a,
                                      Long b)

EQUAL_TO

public static boolean EQUAL_TO(Boolean a,
                               Boolean b)

EQUAL_TO

public static boolean EQUAL_TO(boolean a,
                               boolean b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(Boolean a,
                                   Boolean b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(boolean a,
                                   boolean b)

EQUAL_TO

public static boolean EQUAL_TO(String a,
                               String b)

NOT_EQUAL_TO

public static boolean NOT_EQUAL_TO(String a,
                                   String b)