example.m

#import "example.h"
#import "ObjCheck.h"
#import <Foundation/Foundation.h>

@implementation Example

+ (id) isEven: (NSNumber *)i {
	BOOL b = [i intValue] % 2 == 0;
	return [NSNumber numberWithBool: b];
}

+ (id) genEven {
	int i = [(NSNumber*)[ObjCheck genNum] intValue];

	if(i % 2 != 0) {
		i++;
	}

	return [NSNumber numberWithInt: i];
}

// From Mac Developer Tips
// http://macdevelopertips.com/objective-c/objective-c-categories.html
+ (id) reverse: (NSString *) s {
	NSString *result;

	int len = [s length];

	result = [NSMutableString stringWithCapacity: len];

	while (len > 0) {
		result = [result stringByAppendingString: [NSString stringWithFormat: @"%c", [(NSString*) s characterAtIndex: --len]]];
	}

	return result;
}

+ (id) reversible: (NSString *) s {
	NSString* r = [self reverse: s];
	NSString* s2 = [self reverse: r];

	BOOL b = [s isEqualToString: s2];

	return [NSNumber numberWithBool: b];
}

@end

int main(int argc, char **argv) {
	NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];

	NSArray* gs = [NSMutableArray array];
	gs = [gs arrayByAddingObject: ^() { return [NSArray arrayWithObject:[ObjCheck genNum]]; }];
	
	// Are all integers even?
	[ObjCheck target:[Example class] withSelector:@selector(isEven:) withGenerators:gs];

	NSArray* gs2 = [NSMutableArray array];
	gs2 = [gs2 arrayByAddingObject: ^() { return [NSArray arrayWithObject:[Example genEven]]; }];
	
	// Are all even integers even?
	[ObjCheck target:[Example class] withSelector:@selector(isEven:) withGenerators:gs2];

	NSArray* gs3 = [NSMutableArray array];
	gs3 = [gs3 arrayByAddingObject: ^() { return [NSArray arrayWithObject:[ObjCheck genString]]; }];

	// Are all strings reversible?
	[ObjCheck target:[Example class] withSelector:@selector(reversible:) withGenerators:gs3];

	[pool drain];

	return 0;
}