package example.nz.org.take.compiler.eurent.generated;
import nz.org.take.rt.*;
/**
* Class generated by the take compiler.
* @version Fri Feb 01 10:15:14 NZDT 2008
*/
@SuppressWarnings("unchecked")
class KBFragement_not_isScheduledForService_1 {
/**
* Method generated for query isScheduledForService[in]
* @param slot1 input parameter generated from slot 0
* @return an iterator for instances of not_isScheduledForService
*/
public static ResultSet<not_isScheduledForService> not_isScheduledForService_1(
final example.nz.org.take.compiler.eurent.RentalCar slot1) {
DerivationController _derivation = new DefaultDerivationController();
ResultSet<not_isScheduledForService> _result = new ResultSet(KBFragement_not_isScheduledForService_1.not_isScheduledForService_1(
slot1, _derivation), _derivation);
return _result;
}
/**
* Method generated for query isScheduledForService[in]
* @param source
* @param target
* @return an iterator
* code generated using velocity template JPredicate_11_neg.vm
*/
static ResourceIterator<not_isScheduledForService> not_isScheduledForService_1(
final example.nz.org.take.compiler.eurent.RentalCar slot1,
final DerivationController _derivation) {
_derivation.log("public boolean example.nz.org.take.compiler.eurent.RentalCar.isScheduledForService()",
DerivationController.JAVA_METHOD);
if (!slot1.isScheduledForService()) {
not_isScheduledForService result = new not_isScheduledForService();
result.slot1 = slot1;
return new SingletonIterator<not_isScheduledForService>(result);
}
return EmptyIterator.DEFAULT;
}
}
|