source: to-imperative/trunk/samples/Vector/vector.rf @ 1047

$use Vector;
$use StdIO;
$vector V;

Main  = <Vector ('VA')('B') > :: s1,
        <Vector s1 s1> :: s2,
        <PrintLN "Vector1 =" <Vector-To-Exp s1>>
        <PrintLN "Vector2 = " <Vector-To-Exp s2>>
        <Vector-Fill s1 'C'>
        <PrintLN "Vector-Fill = " <Vector-To-Exp s1>>
        <Vector-Init s1 5 ('DDD')>
        <PrintLN "Vector-Init = " <Vector-To-Exp s1>
        " \n length = " <Vector-Length s1>
        "\n element 2 of 2" <Vector-Ref s2 2>>
        <Vector-Replace s1 ('ABC') s1 >
        <PrintLN "Replace = " <Vector-To-Exp s1>>
        <Subvector s1 0 2> :: s3,
        <PrintLN "Subvector =" <Vector-To-Exp s3>> 
        <Subvector-Fill s3 1 1 "s3 s3 s3">
        <PrintLN "Subvector-Fill =" <Vector-To-Exp s3>>;