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:17 NZDT 2008
08: */
09: @SuppressWarnings("unchecked")
10: class KBFragement_not_getDriverCategory {
11: /**
12: * Method generated for query /driverCategory[in,in]
13: * @param driver input parameter generated from slot 0
14: * @param category input parameter generated from slot 1
15: * @return an iterator for instances of not_DriverCategory
16: */
17: public static ResultSet<not_DriverCategory> not_getDriverCategory(
18: final example.nz.org.take.compiler.userv.domainmodel.Driver driver,
19: final java.lang.String category) {
20: DerivationController _derivation = new DefaultDerivationController();
21: ResultSet<not_DriverCategory> _result = new ResultSet(
22: KBFragement_not_getDriverCategory
23: .not_getDriverCategory(driver, category,
24: _derivation), _derivation);
25:
26: return _result;
27: }
28:
29: /**
30: * Method generated for negated simple predicates.
31: * Negation is interpreted as negation as failure (NAF).
32: * Code generated using velocity template NAFNegatedSimplePredicate.vm
33: */
34: static ResourceIterator<not_DriverCategory> not_getDriverCategory(
35: example.nz.org.take.compiler.userv.domainmodel.Driver driver,
36: java.lang.String category, DerivationController _derivation) {
37: _derivation.log("negated prerequisite",
38: DerivationController.NAF, driver, category);
39:
40: boolean _exist = false;
41: boolean _hasNoResult = true;
42: nz.org.take.rt.ResultSet<DriverCategory> _result = KBFragement_getDriverCategory
43: .getDriverCategory(driver, category);
44:
45: if (_result.hasNext()) {
46: _hasNoResult = false;
47: }
48:
49: _result.close();
50:
51: if (_hasNoResult) {
52: not_DriverCategory _record = new not_DriverCategory();
53: _record.driver = driver;
54: _record.category = category;
55:
56: return new nz.org.take.rt.SingletonIterator<not_DriverCategory>(
57: _record);
58: } else {
59: return nz.org.take.rt.EmptyIterator.DEFAULT;
60: }
61: }
62: }
|