/* Contributed by Nicola Pero <nicola.pero@meta-innovation.com>, December 2010.  */
/* { dg-do run } */
/* { dg-xfail-run-if "Needs OBJC2 ABI" { *-*-darwin* && { lp64 && { ! objc2 } } } { "-fnext-runtime" } { "" } } */

/* Test @properties in class extensions.  */

#include <stdlib.h>
#include <objc/objc.h>
#include <objc/runtime.h>

@interface MyRootClass
{
  Class isa;
}
+ (id) initialize;
+ (id) alloc;
- (id) init;
@end

@implementation MyRootClass
+ (id) initialize { return self; }
+ (id) alloc { return class_createInstance (self, 0); }
- (id) init { return self; }
@end

@protocol count4
/* Use a different getters/setters, so that the only way to compile
   object.countX is to find the actual @property.  */
@property (getter=number4, setter=setNumber4:) int count4;
@end

@interface MySubClass : MyRootClass
{
  int count1;
  int count2;
  int count3;
  int count4;
}
@property (getter=number1, setter=setNumber1:) int count1;
@end

@interface MySubClass ()
@property (getter=number2, setter=setNumber2:) int count2;
@end

@interface MySubClass ()  <count4>
@property (getter=number3, setter=setNumber3:) int count3;
@end

@implementation MySubClass
@synthesize count1;
@synthesize count2;
- (int) number3
{
  return count3;
}
- (void) setNumber3: (int)value
{
  count3 = value;
}
@synthesize count4;
@end

int main (void)
{
  MySubClass *object = [[MySubClass alloc] init];

  object.count1 = 20;
  if (object.count1 != 20)
    abort ();

  object.count2 = 11;
  if (object.count2 != 11)
    abort ();

  object.count3 = 19;
  if (object.count3 != 19)
    abort ();

  object.count4 = 74;
  if (object.count4 != 74)
    abort ();

  return 0;
}