{"header":{"message":"Refactored to use Term templates that contain the field to reference as part of the type, preparing to use those in an eDSL with operator overloads to allow for lazy constraint arithmetic to express relationships.","description":null,"timestamp":"2024-07-05T04:01:17.375405508Z","authors":[{}]},"hash":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC","authors":[{"key":"BZRjFpe4yWcELV5q9m5goQecQ5GyKG6yp24mWXjq2gpf"}],"deps":{"hashes":[["4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC","Refactored to use Term templates that contain the field to reference as part of the type, preparing to use those in an eDSL with operator overloads to allow for lazy constraint arithmetic to express relationships."],["AA",null],["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC","First commit, playing around with some template patterns and initializing build2."]],"deps":["RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC"],"known":[]},"hunks":[{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":7,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":131},"to":{"change":2,"start":131,"end":441},"introduced_by":2}],"inode":{"change":2,"pos":50}}},"contents":[{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:131"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:132"}},{"Del":{"text":"template ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:176"}},{"Del":{"text":"struct Constraint;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:195"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:196"}},{"Del":{"text":"template <","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:207"}},{"Del":{"text":" typename _Test,","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:225"}},{"Del":{"text":" typename _L, typename _LF, _LF(_L::*_l),","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:268"}},{"Del":{"text":" typename _R, typename _RF, _RF(_R::*_r)>","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:311"}},{"Del":{"text":"struct Constraint<_Test, _l, _r> {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:346"}},{"Del":{"text":" static","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:355"}},{"Del":{"text":" bool test(_L const &l, _R const &r) {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:395"}},{"Del":{"text":" return _Test::test(l.*_l, r.*_r);","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:433"}},{"Del":{"text":" }","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:437"}},{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:440"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":14,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":548}],"down_context":[{"change":2,"pos":548}],"flag":"BLOCK","start":0,"end":116,"inode":{"change":2,"pos":50}}},"contents":[{"Add":{"text":" using Operand = _T;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:21"}},{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:22"}},{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:41"}},{"Add":{"text":" _V const &get(Operand const &operand) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:83"}},{"Add":{"text":" return operand.*_field;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:111"}},{"Add":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:115"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":24,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":631}],"down_context":[{"change":2,"pos":631}],"flag":"BLOCK","start":117,"end":232,"inode":{"change":2,"pos":50}}},"contents":[{"Add":{"text":" using Operand = _T;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:138"}},{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:139"}},{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:158"}},{"Add":{"text":" _V const &get(Operand &operand) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:194"}},{"Add":{"text":" return (operand.*_method)();","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:227"}},{"Add":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:231"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":34,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":720}],"down_context":[{"change":2,"pos":720}],"flag":"BLOCK","start":233,"end":354,"inode":{"change":2,"pos":50}}},"contents":[{"Add":{"text":" using Operand = _T;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:254"}},{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:255"}},{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:274"}},{"Add":{"text":" _V const &get(Operand const &operand) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:316"}},{"Add":{"text":" return (operand.*_method)();","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:349"}},{"Add":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:353"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":44,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":807}],"down_context":[{"change":2,"pos":807}],"flag":"BLOCK","start":355,"end":472,"inode":{"change":2,"pos":50}}},"contents":[{"Add":{"text":" using Operand = _T;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:376"}},{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:377"}},{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:396"}},{"Add":{"text":" _V const &get(Operand &operand) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:432"}},{"Add":{"text":" return (operand.*_function)();","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:467"}},{"Add":{"text":" }","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:471"}}]}},{"Replacement":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":54,"ins":{"up_context":[{"change":2,"pos":900}],"down_context":[{"change":2,"pos":1104}],"flag":"BLOCK","start":473,"end":495,"inode":{"change":2,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":900},"to":{"change":2,"start":900,"end":1104},"introduced_by":2}],"inode":{"change":2,"pos":50}},"ins_contents":[{"Add":{"text":" using Operand = _T;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:494"}}],"del_contents":[{"Del":{"text":"};","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:902"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:903"}},{"Del":{"text":"// TODO: How do you handle references to subobjects? What if a","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:967"}},{"Del":{"text":"// class has a field that is a class and you want to solve","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1032"}},{"Del":{"text":"// for that subfield but only within the context of the parent?","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1102"}},{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1103"}}]}},{"Replacement":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":56,"ins":{"up_context":[{"change":2,"pos":1105}],"down_context":[{"change":2,"pos":1226}],"flag":"BLOCK","start":496,"end":592,"inode":{"change":2,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1105},"to":{"change":2,"start":1105,"end":1226},"introduced_by":2}],"inode":{"change":2,"pos":50}},"ins_contents":[{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:514"}},{"Add":{"text":" _V const &get(Operand const &operand) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:556"}},{"Add":{"text":" return (operand.*_function)();","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:591"}}],"del_contents":[{"Del":{"text":"struct Equal {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1119"}},{"Del":{"text":" template ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1157"}},{"Del":{"text":" static","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1166"}},{"Del":{"text":" bool test(_L const &l, _R const &r) {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1206"}},{"Del":{"text":" return l == r;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1225"}}]}},{"Replacement":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":63,"ins":{"up_context":[{"change":2,"pos":1235}],"down_context":[{"change":2,"pos":1354}],"flag":"BLOCK","start":593,"end":807,"inode":{"change":2,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1235},"to":{"change":2,"start":1235,"end":1354},"introduced_by":2}],"inode":{"change":2,"pos":50}},"ins_contents":[{"Add":{"text":"template ","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:628"}},{"Add":{"text":"struct Equal {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:643"}},{"Add":{"text":" using L = typename _L::Operand;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:677"}},{"Add":{"text":" using R = typename _R::Operand;","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:711"}},{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:712"}},{"Add":{"text":" static constexpr","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:731"}},{"Add":{"text":" bool test(L const &l, R const &r) {","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:769"}},{"Add":{"text":" return _L::get(l) == _R::get(r);","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:806"}}],"del_contents":[{"Del":{"text":"struct Less {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1248"}},{"Del":{"text":" template ","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1286"}},{"Del":{"text":" static","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1295"}},{"Del":{"text":" bool test(_L const &l, _R const &r) {","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1335"}},{"Del":{"text":" return l < r;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1353"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":73,"atom":{"NewVertex":{"up_context":[{"change":2,"pos":1361}],"down_context":[{"change":2,"pos":1361}],"flag":"BLOCK","start":808,"end":1008,"inode":{"change":2,"pos":50}}},"contents":[{"Add":{"text":"","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:808"}},{"Add":{"text":"// TODO: How do you handle references to subobjects? What if a","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:872"}},{"Add":{"text":"// class has a field that is a class and you want to solve","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:937"}},{"Add":{"text":"// for that subfield but only within the context of the parent?","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:1007"}}]}},{"Edit":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":88,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1443},"to":{"change":2,"start":1443,"end":1565},"introduced_by":2}],"inode":{"change":2,"pos":50}}},"contents":[{"Del":{"text":"","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1443"}},{"Del":{"text":"using Constraints = List<","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1469"}},{"Del":{"text":" Constraint,","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1516"}},{"Del":{"text":" Constraint","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1561"}},{"Del":{"text":">;","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1564"}}]}},{"Replacement":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":94,"ins":{"up_context":[{"change":2,"pos":1656}],"down_context":[{"change":2,"pos":1711}],"flag":"BLOCK","start":1009,"end":1093,"inode":{"change":2,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1656},"to":{"change":2,"start":1656,"end":1711},"introduced_by":2}],"inode":{"change":2,"pos":50}},"ins_contents":[{"Add":{"text":" std::cout << Equal, Term<&Bar::value>>::test(foo, bar) << '\\n';","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:1092"}}],"del_contents":[{"Del":{"text":" // std::cout << FooBarMatch::test(foo, bar) << '\\n';","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1710"}}]}},{"Replacement":{"inode":{"change":2,"pos":50},"path":"src/main.cpp","line":96,"ins":{"up_context":[{"change":2,"pos":1728}],"down_context":[{"change":2,"pos":1783}],"flag":"BLOCK","start":1094,"end":1178,"inode":{"change":2,"pos":50}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1728},"to":{"change":2,"start":1728,"end":1783},"introduced_by":2}],"inode":{"change":2,"pos":50}},"ins_contents":[{"Add":{"text":" std::cout << Equal, Term<&Bar::value>>::test(foo, bar) << '\\n';","pos":"4CVWQ5M3SLVLFHBDDQUWITF465YOUI7VYG7W6VWDOOXTHNZCXITAC:1177"}}],"del_contents":[{"Del":{"text":" // std::cout << FooBarMatch::test(foo, bar) << '\\n';","pos":"RM3OVL2ZMAPPRXTFFRCGWSYK7UQUSEDJ3VFJWEL6I4WYF5IRBX3QC:1782"}}]}}],"owner":"tsmanner","repo":"cpp-gen","login":null}

…

Dependencies

Change contents

Review