equal
deleted
inserted
replaced
33 * distinction between {@link Operation} and {@link PrimitiveOperation} in the |
33 * distinction between {@link Operation} and {@link PrimitiveOperation} in the |
34 * API is strictly followed as it enables the compiler to catch a significant |
34 * API is strictly followed as it enables the compiler to catch a significant |
35 * class of errors. The two types are not distinguished in the JavaDoc as making |
35 * class of errors. The two types are not distinguished in the JavaDoc as making |
36 * such a distinction would not add clarity. |
36 * such a distinction would not add clarity. |
37 * |
37 * |
38 * @see Operation |
38 * @see Operation |
39 * @see OperationGroup#catchOperation |
39 * @see OperationGroup#catchOperation |
40 */ |
40 */ |
41 public interface PrimitiveOperation<T> { |
41 public interface PrimitiveOperation<T> { |
42 |
42 |
43 /** |
43 /** |
44 * Add this {@link PrimitiveOperation} to the tail of the {@link Operation} |
44 * Add this {@link PrimitiveOperation} to the tail of the {@link Operation} |