KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > net > sf > jga > fn > logical > LogicalFunctors


1 // ============================================================================
2 // $Id: LogicalFunctors.java,v 1.2 2006/12/16 16:48:58 davidahall Exp $
3 // Copyright (c) 2006 David A. Hall
4 // ============================================================================
5 // The contents of this file are subject to the Common Development and
6 // Distribution License (CDDL), Version 1.0 (the License); you may not use this
7 // file except in compliance with the License. You should have received a copy
8 // of the the License along with this file: if not, a copy of the License is
9 // available from Sun Microsystems, Inc.
10 //
11 // http://www.sun.com/cddl/cddl.html
12 //
13 // From time to time, the license steward (initially Sun Microsystems, Inc.) may
14 // publish revised and/or new versions of the License. You may not use,
15 // distribute, or otherwise make this file available under subsequent versions
16 // of the License.
17 //
18 // Alternatively, the contents of this file may be used under the terms of the
19 // GNU Lesser General Public License Version 2.1 or later (the "LGPL"), in which
20 // case the provisions of the LGPL are applicable instead of those above. If you
21 // wish to allow use of your version of this file only under the terms of the
22 // LGPL, and not to allow others to use your version of this file under the
23 // terms of the CDDL, indicate your decision by deleting the provisions above
24 // and replace them with the notice and other provisions required by the LGPL.
25 // If you do not delete the provisions above, a recipient may use your version
26 // of this file under the terms of either the CDDL or the LGPL.
27 //
28 // This library is distributed in the hope that it will be useful,
29 // but WITHOUT ANY WARRANTY; without even the implied warranty of
30 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
31 // ============================================================================
32
33 package net.sf.jga.fn.logical;
34
35 import java.util.Arrays JavaDoc;
36 import java.util.Collection JavaDoc;
37 import net.sf.jga.fn.BinaryFunctor;
38 import net.sf.jga.fn.UnaryFunctor;
39
40 /**
41  * Static factory methods for the functors in the Logical package.
42  * <p>
43  * Copyright &copy; 2006 David A. Hall
44  * @author <a HREF="mailto:davidahall@users.sf.net">David A. Hall</a>
45  */
46
47 public final class LogicalFunctors {
48
49     static private LogicalAnd _andInstance = new LogicalAnd();
50     static private LogicalNot _notInstance = new LogicalNot();
51     static private LogicalOr _orInstance = new LogicalOr();
52
53     /**
54      */
55     static public <T> UnaryFunctor<T,Boolean JavaDoc> all() {
56         return new All<T>();
57     }
58     
59     /**
60      */
61     static public <T> UnaryFunctor<T,Boolean JavaDoc> all(Collection JavaDoc<UnaryFunctor<T,Boolean JavaDoc>> branches) {
62         return new All<T>(branches);
63     }
64     
65     /**
66      */
67     static public <T> UnaryFunctor<T,Boolean JavaDoc> all(UnaryFunctor<T,Boolean JavaDoc>... branches) {
68         return new All<T>(Arrays.asList(branches));
69     }
70
71 // /**
72 // */
73 // static public BinaryFunctor<Boolean,Boolean,Boolean> and() {
74 // return logicalAnd();
75 // }
76
77     
78     /**
79      */
80     static public <T> UnaryFunctor<T,Boolean JavaDoc> any() {
81         return new Any<T>();
82     }
83     
84     /**
85      */
86     static public <T> UnaryFunctor<T,Boolean JavaDoc> any(Collection JavaDoc<UnaryFunctor<T,Boolean JavaDoc>> branches) {
87         return new Any<T>(branches);
88     }
89     
90     /**
91      */
92     static public <T> UnaryFunctor<T,Boolean JavaDoc> any(UnaryFunctor<T,Boolean JavaDoc>... branches) {
93         return new Any<T>(Arrays.asList(branches));
94     }
95     
96     /**
97      */
98     static public <T1,T2> BinaryFunctor<T1,T2,Boolean JavaDoc>
99     binaryNegate(BinaryFunctor<? super T1,? super T2,Boolean JavaDoc> p)
100     {
101         return new BinaryNegate<T1,T2>(p);
102     }
103
104     /**
105      */
106     static public BinaryFunctor<Boolean JavaDoc,Boolean JavaDoc,Boolean JavaDoc> logicalAnd() {
107         return _andInstance;
108     }
109
110     /**
111      */
112     static public BinaryFunctor<Boolean JavaDoc,Boolean JavaDoc,Boolean JavaDoc> logicalOr() {
113         return _orInstance;
114     }
115  
116     /**
117      */
118     static public UnaryFunctor<Boolean JavaDoc,Boolean JavaDoc> logicalNot() {
119         return _notInstance;
120     }
121     
122 // /**
123 // */
124 // static public <T1,T2> BinaryFunctor<T1,T2,Boolean>
125 // negate(BinaryFunctor<? super T1, ? super T2, Boolean> p)
126 // {
127 // return binaryNegate(p);
128 // }
129
130 // /**
131 // */
132 // static public <T> UnaryFunctor<T,Boolean> negate(UnaryFunctor<? super T, Boolean> p) {
133 // return unaryNegate(p);
134 // }
135
136 // /**
137 // */
138 // static public UnaryFunctor<Boolean,Boolean> not() {
139 // return logicalNot();
140 // }
141
142 // /**
143 // */
144 // static public BinaryFunctor<Boolean,Boolean,Boolean> or() {
145 // return logicalOr();
146 // }
147
148     /**
149      */
150     static public <T> UnaryFunctor<T,Boolean JavaDoc> unaryNegate(UnaryFunctor<? super T, Boolean JavaDoc> p) {
151         return new UnaryNegate<T>(p);
152     }
153 }
154
Popular Tags