string.dua

import "../lib/string.dua"

// A quick hack to replace the extern variable
//  to avoid both compilation and linking errors
int _0 = { untrack(__IS_RANDOM_SEED_SET); 0 };
bool __IS_RANDOM_SEED_SET = false;

int _1 = { untrack(__INPUT_STREAM_BUFFER_LEN); 0 };
int __INPUT_STREAM_BUFFER_LEN = 4096;

nomangle int printf(str message, ...);


// Case Simple string
// Outputs "Hello world"

int main()
{
    String s("Hello world");
    printf("%s", s.c_str());
}


// Case String concatenation with byte*
// Outputs "Hello world"

int main()
{
    String s("Hello");
    var c = s + " world";
    printf("%s", c.c_str());
}


// Case byte* concatenation with String
// Outputs "Hello world"

int main()
{
    String s("world");
    var c = "Hello " + s;
    printf("%s", c.c_str());
}


// Case String concatenation with String
// Outputs "Hello world"

int main()
{
    String s1("Hello ");
    String s2("world");
    var c = s1 + s2;
    printf("%s", c.c_str());
}


// Case Concatenation using compound assignment
// Outputs "Hello there you're welcome"

int main()
{
    String s("Hello");
    var c = s + " there";
    c += " you're";
    c += " welcome";
    printf("%s", c.c_str());
}


// Case Substring
// Outputs "Hello world"

int main()
{
    String s("Hello Hello world world");
    var substr = s.substring(6, 17);
    printf("%s", substr.c_str());
}


// Case Pushing
// Outputs "Hello world"

int main()
{
    String s("Hello");
    s.push(' ');
    s.push('w');
    s.push('o');
    s.push('r');
    s.push('l');
    s.push('d');
    printf("%s", s.c_str());
}


// Case Popping
// Outputs "Hello world"

int main()
{
    String s1("Hello");
    String s2("dlrow ");
    while (!s2.is_empty())
        s1.push(s2.pop());

    // An extra check
    s1.push(s1.pop());
    s1.push(s1.pop());
    s1.push(s1.pop());
    s1.push(s1.pop());

    printf("%s%s", s1.c_str(), s2.c_str());
}


// Case Popping an empty string
// Returns -1

int main()
{
    String s;
    s.pop();
}


// Case Assigning strings
// Outputs "Hello world"

int main()
{
    String world = "Hello";
    String hello = world;
    world = "world";

    printf("%s %s", hello.c_str(), world.c_str());
}


// Case Self-assignment
// Outputs "Hello"

int main()
{
    String s = "Hel";
    s += "lo";
    s = s;
    printf("%s", s.c_str());
}