cppfront/regression-tests/mixed-postexpression-with-capture.cpp2 at main · MarkH/cppfront · GitHub

38 lines (32 loc) · 754 Bytes

#include <vector>

#include <ranges>

#include <string>

#include <span>

#include <algorithm>

#include <iostream>

main: () -> int = {

insert_at( 0, 42 );

std::cout << make_string() + "plugh\n";

std::cout << make_strings().a + make_strings().b + "\n";

}

vec: std::vector<int> = ();

insert_at: (where: int, val: int)

pre ( 0 <= where && where <= vec.ssize() )

post( vec.size() == vec.size()$ + 1 )

= {

vec.push_back(val);

}

make_string: () -> (ret: std::string = "xyzzy")

post (ret.length() == ret.length()$ + 5)

= {

ret += " and ";

}

make_strings: ()

-> (

a: std::string = "xyzzy",

b: std::string = "plugh"

)

post (a.length() == b.length() == 5)

= {

// 'return' is generated when omitted like this

}

Expand file tree