test_resources.zc

// Copy Trait
@derive(Copy)
struct Point { x: int; y: int; }

// Clone Pattern
trait Clone {
    fn clone(self) -> Self;
}

struct Box { val: int; }

impl Clone for Box {
    fn clone(self) -> Box {
        return Box{val: self.val};
    }
}

// Re-initialization
struct Resource { ptr: void*; }

// Function Param Helper
fn take_point(p: Point) {
    if p.x != 10 {
        // Error
    }
}

test "Resource Semantics" {
    "Testing Resource Semantics...";

    let p1 = Point{x: 10, y: 20};
    let p2 = p1; // Copied
    
    let b1 = Box{val: 99};
    let b2 = b1.clone(); 
    // let b3 = b1; // This would move if uncommented.
    
    if b2.val != 99 { 
        !"Clone failed";
        exit(1); 
    }
    
    // Re-initialization
    // struct Resource (Global)
    
    let r1 = Resource{ptr: NULL};
    let r2 = r1; // Moved
    
    r1 = Resource{ptr: NULL}; // Re-init
    let r3 = r1; // Valid again
    
    // Function Param Move (Simulated)
    take_point(p1);
    take_point(p1); // Still valid because Copy
    
    "Resource Semantics Passed.";
}