@Test public void matchingTrees() throws Exception { assertThat(BitwiseBinaryProgramPoint.originatesFrom(tree(Tree.Kind.PLUS))).isFalse(); assertThat(BitwiseBinaryProgramPoint.originatesFrom(tree(Tree.Kind.RETURN_STATEMENT))).isFalse(); assertThat(BitwiseBinaryProgramPoint.originatesFrom(tree(Tree.Kind.DIVIDE))).isFalse(); assertThat(BitwiseBinaryProgramPoint.originatesFrom(tree(Tree.Kind.MULTIPLY_ASSIGNMENT))).isFalse(); assertThat(BitwiseBinaryProgramPoint.originatesFrom(tree(Tree.Kind.BITWISE_AND))).isTrue(); }
public static boolean originatesFrom(Tree element) { return element.is( Tree.Kind.BITWISE_AND, Tree.Kind.BITWISE_XOR, Tree.Kind.BITWISE_OR, Tree.Kind.LEFT_SHIFT, Tree.Kind.RIGHT_SHIFT, Tree.Kind.UNSIGNED_RIGHT_SHIFT); }
BitwiseBinaryProgramPoint extends BinaryProgramPoint { public static boolean originatesFrom(Tree element) { return element.is( Tree.Kind.BITWISE_AND, Tree.Kind.BITWISE_XOR, Tree.Kind.BITWISE_OR, Tree.Kind.LEFT_SHIFT, Tree.Kind.RIGHT_SHIFT, Tree.Kind.UNSIGNED_RIGHT_SHIFT); } }
BitwiseBinaryProgramPoint extends BinaryProgramPoint { public static boolean originatesFrom(Tree element) { return element.is( Tree.Kind.BITWISE_AND, Tree.Kind.BITWISE_XOR, Tree.Kind.BITWISE_OR, Tree.Kind.LEFT_SHIFT, Tree.Kind.RIGHT_SHIFT, Tree.Kind.UNSIGNED_RIGHT_SHIFT); }  }
BitwiseBinaryProgramPoint extends BinaryProgramPoint { public static boolean originatesFrom(Tree element) { return element.is( Tree.Kind.BITWISE_AND, Tree.Kind.BITWISE_XOR, Tree.Kind.BITWISE_OR, Tree.Kind.LEFT_SHIFT, Tree.Kind.RIGHT_SHIFT, Tree.Kind.UNSIGNED_RIGHT_SHIFT); }  @Override SymbolicValue resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue); static boolean originatesFrom(Tree element); }
BitwiseBinaryProgramPoint extends BinaryProgramPoint { public static boolean originatesFrom(Tree element) { return element.is( Tree.Kind.BITWISE_AND, Tree.Kind.BITWISE_XOR, Tree.Kind.BITWISE_OR, Tree.Kind.LEFT_SHIFT, Tree.Kind.RIGHT_SHIFT, Tree.Kind.UNSIGNED_RIGHT_SHIFT); }  @Override SymbolicValue resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue); static boolean originatesFrom(Tree element);  }