cappuccino/Tests/Objective-J/Preprocessor/BehaviorTests/IvarTest.j

@import <Foundation/Foundation.j>

/*
 * NOTE: INTENTIONAL COMPILER WARNINGS
 *
 * The shadowing warnings generated by this file (e.g., "Local declaration
 * of 'ivar1' hides instance variable") are an expected artifact of the test.
 *
 * The objective of these methods is to validate the compiler's code generation
 * during a shadowing event. In standard Objective-J, unqualified instance
 * variables are transformed into explicit accessors (e.g., self.ivar1). When a
 * local variable shares the same identifier, the AST transformation must
 * intentionally suppress this behavior to maintain proper lexical scope.
 *
 * Modifying the static Objective-J declarations to avoid the warning would
 * remove the shadowing condition from the AST, fundamentally invalidating
 * the runtime verification of the compiler's output. Until explicit block-level
 * diagnostic suppression is implemented in the parser, these specific warnings
 * must be tolerated to ensure the structural integrity of the code generator.
 */

@implementation IvarTestClass : CPObject
{
    id ivar1 @accessors;
    id ivar2 @accessors(readonly);
    CPNumber ivar3;
}

- (void)setIvar1UsingEval:(id)value
{
    eval(@"var ivar1 = " + value);
}

- (void)doNothingToIvar1UsingEval:(id)value
{
    (function()
    {
        eval(@"var ivar1 = " + value);
    })();
}

- (void)setIvar1DespiteAWithStatement:(id)value
{
    with({})
    {
        ivar1 = value;
    }
}

- (void)doNothingToIvar1BecauseOfWithStatement:(id)value
{
    with({'ivar1':null})
    {
        ivar1 = value;
    }
}

- (void)setIvar1UsingAShadowingLocalVariable:(id)ivar1
{
    self.ivar1 = ivar1;
}

- (void)returnShadowingLocalVariable
{
    var ivar1 = 2;

    return ivar1;
}

- (void)returnShadowingHoistedLocalVariable
{
    return ivar1;

    var ivar1;
}

- (void)returnFunctionWithShadowingFunctionParameter
{
    return function(ivar1) { return ivar1 };
}

- (void)returnFunctionWithShadowingHoistedLocalVariable
{
    return function() { return ivar1; }
    var ivar1;
}

@end

@implementation IvarTest : OJTestCase
{
    IvarTestClass testClass;
}

- (void)setUp
{
    testClass = [[IvarTestClass alloc] init];
}

- (void)testDirectAccess
{
    [self assert:nil equals:testClass.ivar1];
    testClass.ivar1 = 5;
    [self assert:5 equals:testClass.ivar1];
}

// I'm turning this test off as we move to the new compiler.
// We have to figure out how this should work. - Martin
/*- (void)testWithStatementInMethod
{
    [self assert:nil equals:testClass.ivar1];
    [testClass setIvar1DespiteAWithStatement:5];
    [self assert:5 equals:testClass.ivar1];
    [testClass doNothingToIvar1BecauseOfWithStatement:10];
    [self assert:5 equals:testClass.ivar1];
}*/

// I'm turning this test off as we move to the new compiler.
// We have to figure out how this should work. - Martin
/*- (void)testEvalInMethod
{
    [self assert:nil equals:testClass.ivar1];
    [testClass setIvar1UsingEval:5];
    [self assert:5 equals:testClass.ivar1];
    [testClass doNothingToIvar1UsingEval:10];
    [self assert:5 equals:testClass.ivar1];
}*/

- (void)testIvarShadowing
{
    [self assert:nil equals:testClass.ivar1];
    [testClass setIvar1UsingAShadowingLocalVariable:5];
    [self assert:5 equals:testClass.ivar1];
}

- (void)testAccessorGeneration
{
    [self assert:nil equals:[testClass ivar1]];
    [testClass setIvar1:10];
    [self assert:10 equals:[testClass ivar1]];
    [self assert:10 equals:testClass.ivar1];

    [self assert:nil equals:[testClass ivar2]];
    testClass.ivar2 = 5;
    [self assert:5 equals:[testClass ivar2]];
    [self assert:5 equals:testClass.ivar2];
    [self assertThrows:function()
    {
        [testClass setIvar2:6];
    }];
    [self assert:5 equals:[testClass ivar2]];

    [self assert:nil equals:testClass.ivar3];
    [self assertThrows:function()
    {
        [testClass ivar3];
    }];
    [self assertThrows:function()
    {
        [testClass setIvar3:20];
    }];
    [self assert:nil equals:testClass.ivar3];
}

- (void)testShadowingLocalVariable
{
    [self assert:nil equals:testClass.ivar1];
    testClass.ivar1 = 99;
    var x = [testClass returnShadowingLocalVariable];
    [self assert:2 equals:x];
}

- (void)testShadowingHoistedLocalVariable
{
    [self assert:nil equals:testClass.ivar1];
    testClass.ivar1 = 99;
    var x = [testClass returnShadowingHoistedLocalVariable];
    [self assert:"undefined" equals:typeof x];
}

- (void)testFunctionWithShadowingFunctionParameter
{
    [self assert:nil equals:testClass.ivar1];
    testClass.ivar1 = 99;
    var f = [testClass returnFunctionWithShadowingFunctionParameter];
    [self assert:8 equals:f(8)];
}

- (void)testFunctionWithShadowingHoistedLocalVariable
{
    [self assert:nil equals:testClass.ivar1];
    testClass.ivar1 = 99;
    var f = [testClass returnFunctionWithShadowingHoistedLocalVariable];

    [self assert:"undefined" equals:typeof f()];
}

@end