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