public class Operators
extends java.lang.Object
Constructor and Description |
---|
Operators() |
Modifier and Type | Method and Description |
---|---|
static boolean |
AND(java.lang.Boolean a,
java.lang.Boolean b) |
static int |
AND(java.lang.Integer a,
java.lang.Integer b) |
static long |
AND(java.lang.Long a,
java.lang.Long b) |
static int |
BITWISE_COMPLEMENT(java.lang.Integer a) |
static long |
BITWISE_COMPLEMENT(java.lang.Long a) |
static boolean |
CONDITIONAL_AND(java.lang.Boolean a,
java.lang.Boolean b) |
static boolean |
CONDITIONAL_OR(java.lang.Boolean a,
java.lang.Boolean b) |
static double |
DIVIDE(java.lang.Double a,
java.lang.Double b) |
static float |
DIVIDE(java.lang.Float a,
java.lang.Float b) |
static int |
DIVIDE(java.lang.Integer a,
java.lang.Integer b) |
static long |
DIVIDE(java.lang.Long a,
java.lang.Long b) |
static boolean |
EQUAL_TO(java.lang.Boolean a,
java.lang.Boolean b) |
static boolean |
EQUAL_TO(java.lang.Character a,
java.lang.Character b) |
static boolean |
EQUAL_TO(java.lang.Double a,
java.lang.Double b) |
static boolean |
EQUAL_TO(java.lang.Long a,
java.lang.Long b) |
static boolean |
EQUAL_TO(java.lang.String a,
java.lang.String b) |
static boolean |
GREATER_THAN_EQUAL(java.lang.Character a,
java.lang.Character b) |
static boolean |
GREATER_THAN_EQUAL(java.lang.Double a,
java.lang.Double b) |
static boolean |
GREATER_THAN_EQUAL(java.lang.Long a,
java.lang.Long b) |
static boolean |
GREATER_THAN(java.lang.Character a,
java.lang.Character b) |
static boolean |
GREATER_THAN(java.lang.Double a,
java.lang.Double b) |
static boolean |
GREATER_THAN(java.lang.Long a,
java.lang.Long b) |
static int |
LEFT_SHIFT(java.lang.Integer a,
java.lang.Integer b) |
static long |
LEFT_SHIFT(java.lang.Long a,
java.lang.Long b) |
static boolean |
LESS_THAN_EQUAL(java.lang.Character a,
java.lang.Character b) |
static boolean |
LESS_THAN_EQUAL(java.lang.Double a,
java.lang.Double b) |
static boolean |
LESS_THAN_EQUAL(java.lang.Long a,
java.lang.Long b) |
static boolean |
LESS_THAN(java.lang.Character a,
java.lang.Character b) |
static boolean |
LESS_THAN(java.lang.Double a,
java.lang.Double b) |
static boolean |
LESS_THAN(java.lang.Long a,
java.lang.Long b) |
static boolean |
LOGICAL_COMPLEMENT(java.lang.Boolean a) |
static double |
MINUS(java.lang.Double a,
java.lang.Double b) |
static float |
MINUS(java.lang.Float a,
java.lang.Float b) |
static int |
MINUS(java.lang.Integer a,
java.lang.Integer b) |
static long |
MINUS(java.lang.Long a,
java.lang.Long b) |
static double |
MULTIPLY(java.lang.Double a,
java.lang.Double b) |
static float |
MULTIPLY(java.lang.Float a,
java.lang.Float b) |
static int |
MULTIPLY(java.lang.Integer a,
java.lang.Integer b) |
static long |
MULTIPLY(java.lang.Long a,
java.lang.Long b) |
static boolean |
NOT_EQUAL_TO(java.lang.Boolean a,
java.lang.Boolean b) |
static boolean |
NOT_EQUAL_TO(java.lang.Character a,
java.lang.Character b) |
static boolean |
NOT_EQUAL_TO(java.lang.Double a,
java.lang.Double b) |
static boolean |
NOT_EQUAL_TO(java.lang.Long a,
java.lang.Long b) |
static boolean |
NOT_EQUAL_TO(java.lang.String a,
java.lang.String b) |
static boolean |
OR(java.lang.Boolean a,
java.lang.Boolean b) |
static int |
OR(java.lang.Integer a,
java.lang.Integer b) |
static long |
OR(java.lang.Long a,
java.lang.Long b) |
static double |
PLUS(java.lang.Double a,
java.lang.Double b) |
static float |
PLUS(java.lang.Float a,
java.lang.Float b) |
static int |
PLUS(java.lang.Integer a,
java.lang.Integer b) |
static long |
PLUS(java.lang.Long a,
java.lang.Long b) |
static java.lang.String |
PLUS(java.lang.String a,
java.lang.String b) |
static byte |
POSTFIX_DECREMENT(java.lang.Byte a) |
static char |
POSTFIX_DECREMENT(java.lang.Character a) |
static double |
POSTFIX_DECREMENT(java.lang.Double a) |
static float |
POSTFIX_DECREMENT(java.lang.Float a) |
static int |
POSTFIX_DECREMENT(java.lang.Integer a) |
static long |
POSTFIX_DECREMENT(java.lang.Long a) |
static short |
POSTFIX_DECREMENT(java.lang.Short a) |
static byte |
POSTFIX_INCREMENT(java.lang.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(java.lang.Character a) |
static double |
POSTFIX_INCREMENT(java.lang.Double a) |
static float |
POSTFIX_INCREMENT(java.lang.Float a) |
static int |
POSTFIX_INCREMENT(java.lang.Integer a) |
static long |
POSTFIX_INCREMENT(java.lang.Long a) |
static short |
POSTFIX_INCREMENT(java.lang.Short a) |
static byte |
PREFIX_DECREMENT(java.lang.Byte a) |
static char |
PREFIX_DECREMENT(java.lang.Character a) |
static double |
PREFIX_DECREMENT(java.lang.Double a) |
static float |
PREFIX_DECREMENT(java.lang.Float a) |
static int |
PREFIX_DECREMENT(java.lang.Integer a) |
static long |
PREFIX_DECREMENT(java.lang.Long a) |
static short |
PREFIX_DECREMENT(java.lang.Short a) |
static byte |
PREFIX_INCREMENT(java.lang.Byte a) |
static char |
PREFIX_INCREMENT(java.lang.Character a) |
static double |
PREFIX_INCREMENT(java.lang.Double a) |
static float |
PREFIX_INCREMENT(java.lang.Float a) |
static int |
PREFIX_INCREMENT(java.lang.Integer a) |
static long |
PREFIX_INCREMENT(java.lang.Long a) |
static short |
PREFIX_INCREMENT(java.lang.Short a) |
static double |
REMAINDER(java.lang.Double a,
java.lang.Double b) |
static float |
REMAINDER(java.lang.Float a,
java.lang.Float b) |
static int |
REMAINDER(java.lang.Integer a,
java.lang.Integer b) |
static long |
REMAINDER(java.lang.Long a,
java.lang.Long b) |
static int |
RIGHT_SHIFT(java.lang.Integer a,
java.lang.Integer b) |
static long |
RIGHT_SHIFT(java.lang.Long a,
java.lang.Long b) |
static double |
UNARY_MINUS(java.lang.Double a) |
static float |
UNARY_MINUS(java.lang.Float a) |
static int |
UNARY_MINUS(java.lang.Integer a) |
static long |
UNARY_MINUS(java.lang.Long a) |
static double |
UNARY_PLUS(java.lang.Double a) |
static float |
UNARY_PLUS(java.lang.Float a) |
static int |
UNARY_PLUS(java.lang.Integer a) |
static long |
UNARY_PLUS(java.lang.Long a) |
static int |
UNSIGNED_RIGHT_SHIFT(java.lang.Integer a,
java.lang.Integer b) |
static long |
UNSIGNED_RIGHT_SHIFT(java.lang.Long a,
java.lang.Long b) |
static boolean |
XOR(java.lang.Boolean a,
java.lang.Boolean b) |
static int |
XOR(java.lang.Integer a,
java.lang.Integer b) |
static long |
XOR(java.lang.Long a,
java.lang.Long b) |
public static boolean LOGICAL_COMPLEMENT(java.lang.Boolean a)
public static long BITWISE_COMPLEMENT(java.lang.Long a)
public static int BITWISE_COMPLEMENT(java.lang.Integer a)
public static byte POSTFIX_INCREMENT(java.lang.Byte a)
public static short POSTFIX_INCREMENT(java.lang.Short a)
public static char POSTFIX_INCREMENT(java.lang.Character a)
public static int POSTFIX_INCREMENT(java.lang.Integer a)
public static long POSTFIX_INCREMENT(java.lang.Long a)
public static float POSTFIX_INCREMENT(java.lang.Float a)
public static double POSTFIX_INCREMENT(java.lang.Double a)
public static byte PREFIX_INCREMENT(java.lang.Byte a)
public static short PREFIX_INCREMENT(java.lang.Short a)
public static char PREFIX_INCREMENT(java.lang.Character a)
public static int PREFIX_INCREMENT(java.lang.Integer a)
public static long PREFIX_INCREMENT(java.lang.Long a)
public static float PREFIX_INCREMENT(java.lang.Float a)
public static double PREFIX_INCREMENT(java.lang.Double a)
public static byte POSTFIX_DECREMENT(java.lang.Byte a)
public static short POSTFIX_DECREMENT(java.lang.Short a)
public static char POSTFIX_DECREMENT(java.lang.Character a)
public static int POSTFIX_DECREMENT(java.lang.Integer a)
public static long POSTFIX_DECREMENT(java.lang.Long a)
public static float POSTFIX_DECREMENT(java.lang.Float a)
public static double POSTFIX_DECREMENT(java.lang.Double a)
public static byte PREFIX_DECREMENT(java.lang.Byte a)
public static short PREFIX_DECREMENT(java.lang.Short a)
public static char PREFIX_DECREMENT(java.lang.Character a)
public static int PREFIX_DECREMENT(java.lang.Integer a)
public static long PREFIX_DECREMENT(java.lang.Long a)
public static float PREFIX_DECREMENT(java.lang.Float a)
public static double PREFIX_DECREMENT(java.lang.Double a)
public static int UNARY_MINUS(java.lang.Integer a)
public static long UNARY_MINUS(java.lang.Long a)
public static float UNARY_MINUS(java.lang.Float a)
public static double UNARY_MINUS(java.lang.Double a)
public static int UNARY_PLUS(java.lang.Integer a)
public static long UNARY_PLUS(java.lang.Long a)
public static float UNARY_PLUS(java.lang.Float a)
public static double UNARY_PLUS(java.lang.Double a)
public static boolean CONDITIONAL_AND(java.lang.Boolean a, java.lang.Boolean b)
public static boolean CONDITIONAL_OR(java.lang.Boolean a, java.lang.Boolean b)
public static double PLUS(java.lang.Double a, java.lang.Double b)
public static long PLUS(java.lang.Long a, java.lang.Long b)
public static int PLUS(java.lang.Integer a, java.lang.Integer b)
public static float PLUS(java.lang.Float a, java.lang.Float b)
public static java.lang.String PLUS(java.lang.String a, java.lang.String b)
public static double MINUS(java.lang.Double a, java.lang.Double b)
public static long MINUS(java.lang.Long a, java.lang.Long b)
public static int MINUS(java.lang.Integer a, java.lang.Integer b)
public static float MINUS(java.lang.Float a, java.lang.Float b)
public static double MULTIPLY(java.lang.Double a, java.lang.Double b)
public static long MULTIPLY(java.lang.Long a, java.lang.Long b)
public static int MULTIPLY(java.lang.Integer a, java.lang.Integer b)
public static float MULTIPLY(java.lang.Float a, java.lang.Float b)
public static double DIVIDE(java.lang.Double a, java.lang.Double b)
public static long DIVIDE(java.lang.Long a, java.lang.Long b)
public static int DIVIDE(java.lang.Integer a, java.lang.Integer b)
public static float DIVIDE(java.lang.Float a, java.lang.Float b)
public static double REMAINDER(java.lang.Double a, java.lang.Double b)
public static long REMAINDER(java.lang.Long a, java.lang.Long b)
public static int REMAINDER(java.lang.Integer a, java.lang.Integer b)
public static float REMAINDER(java.lang.Float a, java.lang.Float b)
public static long LEFT_SHIFT(java.lang.Long a, java.lang.Long b)
public static int LEFT_SHIFT(java.lang.Integer a, java.lang.Integer b)
public static long RIGHT_SHIFT(java.lang.Long a, java.lang.Long b)
public static int RIGHT_SHIFT(java.lang.Integer a, java.lang.Integer b)
public static long UNSIGNED_RIGHT_SHIFT(java.lang.Long a, java.lang.Long b)
public static int UNSIGNED_RIGHT_SHIFT(java.lang.Integer a, java.lang.Integer b)
public static boolean AND(java.lang.Boolean a, java.lang.Boolean b)
public static long AND(java.lang.Long a, java.lang.Long b)
public static int AND(java.lang.Integer a, java.lang.Integer b)
public static boolean OR(java.lang.Boolean a, java.lang.Boolean b)
public static long OR(java.lang.Long a, java.lang.Long b)
public static int OR(java.lang.Integer a, java.lang.Integer b)
public static boolean XOR(java.lang.Boolean a, java.lang.Boolean b)
public static long XOR(java.lang.Long a, java.lang.Long b)
public static int XOR(java.lang.Integer a, java.lang.Integer b)
public static boolean EQUAL_TO(java.lang.Double a, java.lang.Double b)
public static boolean EQUAL_TO(java.lang.Character a, java.lang.Character b)
public static boolean EQUAL_TO(java.lang.Long a, java.lang.Long b)
public static boolean NOT_EQUAL_TO(java.lang.Double a, java.lang.Double b)
public static boolean NOT_EQUAL_TO(java.lang.Character a, java.lang.Character b)
public static boolean NOT_EQUAL_TO(java.lang.Long a, java.lang.Long b)
public static boolean GREATER_THAN(java.lang.Double a, java.lang.Double b)
public static boolean GREATER_THAN(java.lang.Character a, java.lang.Character b)
public static boolean GREATER_THAN(java.lang.Long a, java.lang.Long b)
public static boolean GREATER_THAN_EQUAL(java.lang.Double a, java.lang.Double b)
public static boolean GREATER_THAN_EQUAL(java.lang.Character a, java.lang.Character b)
public static boolean GREATER_THAN_EQUAL(java.lang.Long a, java.lang.Long b)
public static boolean LESS_THAN(java.lang.Double a, java.lang.Double b)
public static boolean LESS_THAN(java.lang.Character a, java.lang.Character b)
public static boolean LESS_THAN(java.lang.Long a, java.lang.Long b)
public static boolean LESS_THAN_EQUAL(java.lang.Double a, java.lang.Double b)
public static boolean LESS_THAN_EQUAL(java.lang.Character a, java.lang.Character b)
public static boolean LESS_THAN_EQUAL(java.lang.Long a, java.lang.Long b)
public static boolean EQUAL_TO(java.lang.Boolean a, java.lang.Boolean b)
public static boolean NOT_EQUAL_TO(java.lang.Boolean a, java.lang.Boolean b)
public static boolean EQUAL_TO(java.lang.String a, java.lang.String b)
public static boolean NOT_EQUAL_TO(java.lang.String a, java.lang.String b)