01: package example.nz.org.take.compiler.userv.generated;
02:
03: import nz.org.take.rt.*;
04:
05: /**
06: * Class generated by the take compiler.
07: * @version Mon Feb 11 13:49:16 NZDT 2008
08: */
09: @SuppressWarnings("unchecked")
10: class KBFragement_contains_11 {
11: /**
12: * Method generated for query contains[in,in]
13: * @param slot1 input parameter generated from slot 0
14: * @param slot2 input parameter generated from slot 1
15: * @return an iterator for instances of contains
16: */
17: public static ResultSet<contains> contains_11(
18: final java.util.Collection slot1,
19: final java.lang.Object slot2) {
20: DerivationController _derivation = new DefaultDerivationController();
21: ResultSet<contains> _result = new ResultSet(
22: KBFragement_contains_11.contains_11(slot1, slot2,
23: _derivation), _derivation);
24:
25: return _result;
26: }
27:
28: /**
29: * Method generated for query contains[in,in]
30: * @param source
31: * @param target
32: * @return an iterator
33: * code generated using velocity template JPredicate_11.vm
34: */
35: static ResourceIterator<contains> contains_11(
36: final java.util.Collection slot1,
37: final java.lang.Object slot2,
38: final DerivationController _derivation) {
39: _derivation
40: .log(
41: "public abstract boolean java.util.Collection.contains(java.lang.Object)",
42: DerivationController.JAVA_METHOD);
43:
44: if (slot1.contains(slot2)) {
45: contains result = new contains();
46: result.slot1 = slot1;
47: result.slot2 = slot2;
48:
49: return new SingletonIterator<contains>(result);
50: }
51:
52: return EmptyIterator.DEFAULT;
53: }
54: }
|