diff options
Diffstat (limited to 'lib/statement.cpp')
| -rw-r--r-- | lib/statement.cpp | 290 |
1 files changed, 145 insertions, 145 deletions
| diff --git a/lib/statement.cpp b/lib/statement.cpp index 222a8eb..846b9de 100644 --- a/lib/statement.cpp +++ b/lib/statement.cpp | |||
| @@ -12,22 +12,22 @@ | |||
| 12 | #include "pronunciation.h" | 12 | #include "pronunciation.h" |
| 13 | 13 | ||
| 14 | namespace verbly { | 14 | namespace verbly { |
| 15 | 15 | ||
| 16 | statement::statement( | 16 | statement::statement( |
| 17 | object context, | 17 | object context, |
| 18 | filter queryFilter) : | 18 | filter queryFilter) : |
| 19 | statement(getTableForContext(context), queryFilter.compact().normalize(context)) | 19 | statement(getTableForContext(context), queryFilter.compact().normalize(context)) |
| 20 | { | 20 | { |
| 21 | } | 21 | } |
| 22 | 22 | ||
| 23 | std::string statement::getQueryString(std::list<std::string> select, bool random, int limit) const | 23 | std::string statement::getQueryString(std::list<std::string> select, bool random, int limit) const |
| 24 | { | 24 | { |
| 25 | std::stringstream queryStream; | 25 | std::stringstream queryStream; |
| 26 | 26 | ||
| 27 | if (!withs_.empty()) | 27 | if (!withs_.empty()) |
| 28 | { | 28 | { |
| 29 | queryStream << "WITH RECURSIVE "; | 29 | queryStream << "WITH RECURSIVE "; |
| 30 | 30 | ||
| 31 | std::list<std::string> ctes; | 31 | std::list<std::string> ctes; |
| 32 | for (const with& cte : withs_) | 32 | for (const with& cte : withs_) |
| 33 | { | 33 | { |
| @@ -39,19 +39,19 @@ namespace verbly { | |||
| 39 | cteStream << cte.getTableForId(cte.getTopTable()); | 39 | cteStream << cte.getTableForId(cte.getTopTable()); |
| 40 | cteStream << " AS "; | 40 | cteStream << " AS "; |
| 41 | cteStream << cte.getTopTable(); | 41 | cteStream << cte.getTopTable(); |
| 42 | 42 | ||
| 43 | for (const join& j : cte.getJoins()) | 43 | for (const join& j : cte.getJoins()) |
| 44 | { | 44 | { |
| 45 | cteStream << " "; | 45 | cteStream << " "; |
| 46 | cteStream << j; | 46 | cteStream << j; |
| 47 | } | 47 | } |
| 48 | 48 | ||
| 49 | if (cte.getCondition().getType() != condition::type::empty) | 49 | if (cte.getCondition().getType() != condition::type::empty) |
| 50 | { | 50 | { |
| 51 | cteStream << " WHERE "; | 51 | cteStream << " WHERE "; |
| 52 | cteStream << cte.getCondition().toSql(); | 52 | cteStream << cte.getCondition().toSql(); |
| 53 | } | 53 | } |
| 54 | 54 | ||
| 55 | if (cte.isRecursive()) | 55 | if (cte.isRecursive()) |
| 56 | { | 56 | { |
| 57 | cteStream << " UNION SELECT l.* FROM "; | 57 | cteStream << " UNION SELECT l.* FROM "; |
| @@ -69,59 +69,59 @@ namespace verbly { | |||
| 69 | cteStream << " = l."; | 69 | cteStream << " = l."; |
| 70 | cteStream << cte.getField().getColumn(); | 70 | cteStream << cte.getField().getColumn(); |
| 71 | } | 71 | } |
| 72 | 72 | ||
| 73 | cteStream << ")"; | 73 | cteStream << ")"; |
| 74 | 74 | ||
| 75 | ctes.push_back(cteStream.str()); | 75 | ctes.push_back(cteStream.str()); |
| 76 | } | 76 | } |
| 77 | 77 | ||
| 78 | queryStream << implode(std::begin(ctes), std::end(ctes), ", "); | 78 | queryStream << implode(std::begin(ctes), std::end(ctes), ", "); |
| 79 | queryStream << " "; | 79 | queryStream << " "; |
| 80 | } | 80 | } |
| 81 | 81 | ||
| 82 | std::list<std::string> realSelect; | 82 | std::list<std::string> realSelect; |
| 83 | for (std::string& s : select) | 83 | for (std::string& s : select) |
| 84 | { | 84 | { |
| 85 | realSelect.push_back(topTable_ + "." + s); | 85 | realSelect.push_back(topTable_ + "." + s); |
| 86 | } | 86 | } |
| 87 | 87 | ||
| 88 | queryStream << "SELECT "; | 88 | queryStream << "SELECT "; |
| 89 | queryStream << implode(std::begin(realSelect), std::end(realSelect), ", "); | 89 | queryStream << implode(std::begin(realSelect), std::end(realSelect), ", "); |
| 90 | queryStream << " FROM "; | 90 | queryStream << " FROM "; |
| 91 | queryStream << tables_.at(topTable_); | 91 | queryStream << tables_.at(topTable_); |
| 92 | queryStream << " AS "; | 92 | queryStream << " AS "; |
| 93 | queryStream << topTable_; | 93 | queryStream << topTable_; |
| 94 | 94 | ||
| 95 | for (const join& j : joins_) | 95 | for (const join& j : joins_) |
| 96 | { | 96 | { |
| 97 | queryStream << " "; | 97 | queryStream << " "; |
| 98 | queryStream << j; | 98 | queryStream << j; |
| 99 | } | 99 | } |
| 100 | 100 | ||
| 101 | if (topCondition_.getType() != condition::type::empty) | 101 | if (topCondition_.getType() != condition::type::empty) |
| 102 | { | 102 | { |
| 103 | queryStream << " WHERE "; | 103 | queryStream << " WHERE "; |
| 104 | queryStream << topCondition_.toSql(); | 104 | queryStream << topCondition_.toSql(); |
| 105 | } | 105 | } |
| 106 | 106 | ||
| 107 | if (random) | 107 | if (random) |
| 108 | { | 108 | { |
| 109 | queryStream << " ORDER BY RANDOM()"; | 109 | queryStream << " ORDER BY RANDOM()"; |
| 110 | } | 110 | } |
| 111 | 111 | ||
| 112 | if (limit > 0) | 112 | if (limit > 0) |
| 113 | { | 113 | { |
| 114 | queryStream << " LIMIT "; | 114 | queryStream << " LIMIT "; |
| 115 | queryStream << limit; | 115 | queryStream << limit; |
| 116 | } | 116 | } |
| 117 | 117 | ||
| 118 | return queryStream.str(); | 118 | return queryStream.str(); |
| 119 | } | 119 | } |
| 120 | 120 | ||
| 121 | std::list<binding> statement::getBindings() const | 121 | std::list<binding> statement::getBindings() const |
| 122 | { | 122 | { |
| 123 | std::list<binding> result; | 123 | std::list<binding> result; |
| 124 | 124 | ||
| 125 | for (const with& w : withs_) | 125 | for (const with& w : withs_) |
| 126 | { | 126 | { |
| 127 | for (binding value : w.getCondition().flattenBindings()) | 127 | for (binding value : w.getCondition().flattenBindings()) |
| @@ -129,15 +129,15 @@ namespace verbly { | |||
| 129 | result.push_back(std::move(value)); | 129 | result.push_back(std::move(value)); |
| 130 | } | 130 | } |
| 131 | } | 131 | } |
| 132 | 132 | ||
| 133 | for (binding value : topCondition_.flattenBindings()) | 133 | for (binding value : topCondition_.flattenBindings()) |
| 134 | { | 134 | { |
| 135 | result.push_back(std::move(value)); | 135 | result.push_back(std::move(value)); |
| 136 | } | 136 | } |
| 137 | 137 | ||
| 138 | return result; | 138 | return result; |
| 139 | } | 139 | } |
| 140 | 140 | ||
| 141 | statement::statement( | 141 | statement::statement( |
| 142 | std::string tableName, | 142 | std::string tableName, |
| 143 | filter clause, | 143 | filter clause, |
| @@ -149,7 +149,7 @@ namespace verbly { | |||
| 149 | topCondition_(parseFilter(std::move(clause))) | 149 | topCondition_(parseFilter(std::move(clause))) |
| 150 | { | 150 | { |
| 151 | } | 151 | } |
| 152 | 152 | ||
| 153 | /** | 153 | /** |
| 154 | * This function recursively parses the query's filter condition. It is not | 154 | * This function recursively parses the query's filter condition. It is not |
| 155 | * idempotent. It returns a condition object representing the passed filter, | 155 | * idempotent. It returns a condition object representing the passed filter, |
| @@ -165,7 +165,7 @@ namespace verbly { | |||
| 165 | { | 165 | { |
| 166 | return {}; | 166 | return {}; |
| 167 | } | 167 | } |
| 168 | 168 | ||
| 169 | case filter::type::singleton: | 169 | case filter::type::singleton: |
| 170 | { | 170 | { |
| 171 | switch (clause.getField().getType()) | 171 | switch (clause.getField().getType()) |
| @@ -174,7 +174,7 @@ namespace verbly { | |||
| 174 | { | 174 | { |
| 175 | return {}; | 175 | return {}; |
| 176 | } | 176 | } |
| 177 | 177 | ||
| 178 | // For primitive type filters, all we need to do is translate the | 178 | // For primitive type filters, all we need to do is translate the |
| 179 | // filter object directly into a condition object. No joins are | 179 | // filter object directly into a condition object. No joins are |
| 180 | // necessary. | 180 | // necessary. |
| @@ -188,67 +188,67 @@ namespace verbly { | |||
| 188 | { | 188 | { |
| 189 | return condition(topTable_, clause.getField().getColumn(), true); | 189 | return condition(topTable_, clause.getField().getColumn(), true); |
| 190 | } | 190 | } |
| 191 | 191 | ||
| 192 | case filter::comparison::is_not_null: | 192 | case filter::comparison::is_not_null: |
| 193 | { | 193 | { |
| 194 | return condition(topTable_, clause.getField().getColumn(), false); | 194 | return condition(topTable_, clause.getField().getColumn(), false); |
| 195 | } | 195 | } |
| 196 | 196 | ||
| 197 | case filter::comparison::int_equals: | 197 | case filter::comparison::int_equals: |
| 198 | { | 198 | { |
| 199 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getIntegerArgument()); | 199 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getIntegerArgument()); |
| 200 | } | 200 | } |
| 201 | 201 | ||
| 202 | case filter::comparison::int_does_not_equal: | 202 | case filter::comparison::int_does_not_equal: |
| 203 | { | 203 | { |
| 204 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::does_not_equal, clause.getIntegerArgument()); | 204 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::does_not_equal, clause.getIntegerArgument()); |
| 205 | } | 205 | } |
| 206 | 206 | ||
| 207 | case filter::comparison::int_is_at_least: | 207 | case filter::comparison::int_is_at_least: |
| 208 | { | 208 | { |
| 209 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_at_least, clause.getIntegerArgument()); | 209 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_at_least, clause.getIntegerArgument()); |
| 210 | } | 210 | } |
| 211 | 211 | ||
| 212 | case filter::comparison::int_is_greater_than: | 212 | case filter::comparison::int_is_greater_than: |
| 213 | { | 213 | { |
| 214 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_greater_than, clause.getIntegerArgument()); | 214 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_greater_than, clause.getIntegerArgument()); |
| 215 | } | 215 | } |
| 216 | 216 | ||
| 217 | case filter::comparison::int_is_at_most: | 217 | case filter::comparison::int_is_at_most: |
| 218 | { | 218 | { |
| 219 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_at_most, clause.getIntegerArgument()); | 219 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_at_most, clause.getIntegerArgument()); |
| 220 | } | 220 | } |
| 221 | 221 | ||
| 222 | case filter::comparison::int_is_less_than: | 222 | case filter::comparison::int_is_less_than: |
| 223 | { | 223 | { |
| 224 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_less_than, clause.getIntegerArgument()); | 224 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_less_than, clause.getIntegerArgument()); |
| 225 | } | 225 | } |
| 226 | 226 | ||
| 227 | case filter::comparison::boolean_equals: | 227 | case filter::comparison::boolean_equals: |
| 228 | { | 228 | { |
| 229 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getBooleanArgument() ? 1 : 0); | 229 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getBooleanArgument() ? 1 : 0); |
| 230 | } | 230 | } |
| 231 | 231 | ||
| 232 | case filter::comparison::string_equals: | 232 | case filter::comparison::string_equals: |
| 233 | { | 233 | { |
| 234 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getStringArgument()); | 234 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::equals, clause.getStringArgument()); |
| 235 | } | 235 | } |
| 236 | 236 | ||
| 237 | case filter::comparison::string_does_not_equal: | 237 | case filter::comparison::string_does_not_equal: |
| 238 | { | 238 | { |
| 239 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::does_not_equal, clause.getStringArgument()); | 239 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::does_not_equal, clause.getStringArgument()); |
| 240 | } | 240 | } |
| 241 | 241 | ||
| 242 | case filter::comparison::string_is_like: | 242 | case filter::comparison::string_is_like: |
| 243 | { | 243 | { |
| 244 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_like, clause.getStringArgument()); | 244 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_like, clause.getStringArgument()); |
| 245 | } | 245 | } |
| 246 | 246 | ||
| 247 | case filter::comparison::string_is_not_like: | 247 | case filter::comparison::string_is_not_like: |
| 248 | { | 248 | { |
| 249 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_not_like, clause.getStringArgument()); | 249 | return condition(topTable_, clause.getField().getColumn(), condition::comparison::is_not_like, clause.getStringArgument()); |
| 250 | } | 250 | } |
| 251 | 251 | ||
| 252 | case filter::comparison::matches: | 252 | case filter::comparison::matches: |
| 253 | case filter::comparison::does_not_match: | 253 | case filter::comparison::does_not_match: |
| 254 | case filter::comparison::hierarchally_matches: | 254 | case filter::comparison::hierarchally_matches: |
| @@ -258,7 +258,7 @@ namespace verbly { | |||
| 258 | } | 258 | } |
| 259 | } | 259 | } |
| 260 | } | 260 | } |
| 261 | 261 | ||
| 262 | case field::type::join: | 262 | case field::type::join: |
| 263 | { | 263 | { |
| 264 | // First, figure out what table we need to join against. | 264 | // First, figure out what table we need to join against. |
| @@ -278,9 +278,9 @@ namespace verbly { | |||
| 278 | clause.getJoinCondition().normalize(clause.getField().getJoinObject()), | 278 | clause.getJoinCondition().normalize(clause.getField().getJoinObject()), |
| 279 | nextTableId_, | 279 | nextTableId_, |
| 280 | nextWithId_); | 280 | nextWithId_); |
| 281 | 281 | ||
| 282 | std::string joinTable = joinStmt.topTable_; | 282 | std::string joinTable = joinStmt.topTable_; |
| 283 | 283 | ||
| 284 | if (clause.getComparison() == filter::comparison::does_not_match) | 284 | if (clause.getComparison() == filter::comparison::does_not_match) |
| 285 | { | 285 | { |
| 286 | // If the comparison is actually a negative filter, we can't just | 286 | // If the comparison is actually a negative filter, we can't just |
| @@ -293,7 +293,7 @@ namespace verbly { | |||
| 293 | // condition on the join column being NULL as before. | 293 | // condition on the join column being NULL as before. |
| 294 | std::string withName = instantiateWith(clause.getField().getTable()); | 294 | std::string withName = instantiateWith(clause.getField().getTable()); |
| 295 | std::string withInstName = instantiateTable(withName); | 295 | std::string withInstName = instantiateTable(withName); |
| 296 | 296 | ||
| 297 | // LEFT JOIN against the CTE. | 297 | // LEFT JOIN against the CTE. |
| 298 | joins_.emplace_back( | 298 | joins_.emplace_back( |
| 299 | true, | 299 | true, |
| @@ -310,7 +310,7 @@ namespace verbly { | |||
| 310 | std::map<std::string, std::string> cteTables = std::move(joinStmt.tables_); | 310 | std::map<std::string, std::string> cteTables = std::move(joinStmt.tables_); |
| 311 | std::list<join> cteJoins = std::move(joinStmt.joins_); | 311 | std::list<join> cteJoins = std::move(joinStmt.joins_); |
| 312 | condition cteCondition = integrate(std::move(joinStmt), true); | 312 | condition cteCondition = integrate(std::move(joinStmt), true); |
| 313 | 313 | ||
| 314 | withs_.emplace_back( | 314 | withs_.emplace_back( |
| 315 | std::move(withName), | 315 | std::move(withName), |
| 316 | clause.getField(), | 316 | clause.getField(), |
| @@ -319,7 +319,7 @@ namespace verbly { | |||
| 319 | std::move(cteCondition), | 319 | std::move(cteCondition), |
| 320 | std::move(cteJoins), | 320 | std::move(cteJoins), |
| 321 | false); | 321 | false); |
| 322 | 322 | ||
| 323 | // Condition on the join column being NULL, which causes the query | 323 | // Condition on the join column being NULL, which causes the query |
| 324 | // to only return results that do not match the subquery. | 324 | // to only return results that do not match the subquery. |
| 325 | return condition(std::move(withInstName), clause.getField().getColumn(), true); | 325 | return condition(std::move(withInstName), clause.getField().getColumn(), true); |
| @@ -332,14 +332,14 @@ namespace verbly { | |||
| 332 | clause.getField().getColumn(), | 332 | clause.getField().getColumn(), |
| 333 | std::move(joinTable), | 333 | std::move(joinTable), |
| 334 | clause.getField().getColumn()); | 334 | clause.getField().getColumn()); |
| 335 | 335 | ||
| 336 | // Integrate the subquery's table mappings, joins, and CTEs into | 336 | // Integrate the subquery's table mappings, joins, and CTEs into |
| 337 | // this statement, and return the subquery condition as our | 337 | // this statement, and return the subquery condition as our |
| 338 | // condition. | 338 | // condition. |
| 339 | return integrate(std::move(joinStmt)); | 339 | return integrate(std::move(joinStmt)); |
| 340 | } | 340 | } |
| 341 | } | 341 | } |
| 342 | 342 | ||
| 343 | case field::type::join_through: | 343 | case field::type::join_through: |
| 344 | { | 344 | { |
| 345 | // Recursively parse the subquery, and therefore obtain an | 345 | // Recursively parse the subquery, and therefore obtain an |
| @@ -350,9 +350,9 @@ namespace verbly { | |||
| 350 | clause.getJoinCondition().normalize(clause.getField().getJoinObject()), | 350 | clause.getJoinCondition().normalize(clause.getField().getJoinObject()), |
| 351 | nextTableId_, | 351 | nextTableId_, |
| 352 | nextWithId_); | 352 | nextWithId_); |
| 353 | 353 | ||
| 354 | std::string joinTable = joinStmt.topTable_; | 354 | std::string joinTable = joinStmt.topTable_; |
| 355 | 355 | ||
| 356 | if (clause.getComparison() == filter::comparison::does_not_match) | 356 | if (clause.getComparison() == filter::comparison::does_not_match) |
| 357 | { | 357 | { |
| 358 | // If the comparison is actually a negative filter, we can't just | 358 | // If the comparison is actually a negative filter, we can't just |
| @@ -366,7 +366,7 @@ namespace verbly { | |||
| 366 | // condition on the join column being NULL as before. | 366 | // condition on the join column being NULL as before. |
| 367 | std::string withName = instantiateWith(clause.getField().getTable()); | 367 | std::string withName = instantiateWith(clause.getField().getTable()); |
| 368 | std::string withInstName = instantiateTable(withName); | 368 | std::string withInstName = instantiateTable(withName); |
| 369 | 369 | ||
| 370 | // LEFT JOIN against the CTE. | 370 | // LEFT JOIN against the CTE. |
| 371 | joins_.emplace_back( | 371 | joins_.emplace_back( |
| 372 | true, | 372 | true, |
| @@ -375,7 +375,7 @@ namespace verbly { | |||
| 375 | clause.getField().getColumn(), | 375 | clause.getField().getColumn(), |
| 376 | withInstName, | 376 | withInstName, |
| 377 | clause.getField().getJoinColumn()); | 377 | clause.getField().getJoinColumn()); |
| 378 | 378 | ||
| 379 | // Modify the substatement such that the through table is the top | 379 | // Modify the substatement such that the through table is the top |
| 380 | // table, and such that it joins against the previous top table. | 380 | // table, and such that it joins against the previous top table. |
| 381 | std::string throughTable = joinStmt.instantiateTable(clause.getField().getTable()); | 381 | std::string throughTable = joinStmt.instantiateTable(clause.getField().getTable()); |
| @@ -386,7 +386,7 @@ namespace verbly { | |||
| 386 | clause.getField().getForeignJoinColumn(), | 386 | clause.getField().getForeignJoinColumn(), |
| 387 | std::move(joinTable), | 387 | std::move(joinTable), |
| 388 | clause.getField().getForeignColumn()); | 388 | clause.getField().getForeignColumn()); |
| 389 | 389 | ||
| 390 | joinStmt.topTable_ = throughTable; | 390 | joinStmt.topTable_ = throughTable; |
| 391 | 391 | ||
| 392 | // All CTEs have to be in the main statement, so integrate any | 392 | // All CTEs have to be in the main statement, so integrate any |
| @@ -396,7 +396,7 @@ namespace verbly { | |||
| 396 | std::map<std::string, std::string> cteTables = std::move(joinStmt.tables_); | 396 | std::map<std::string, std::string> cteTables = std::move(joinStmt.tables_); |
| 397 | std::list<join> cteJoins = std::move(joinStmt.joins_); | 397 | std::list<join> cteJoins = std::move(joinStmt.joins_); |
| 398 | condition cteCondition = integrate(std::move(joinStmt), true); | 398 | condition cteCondition = integrate(std::move(joinStmt), true); |
| 399 | 399 | ||
| 400 | withs_.emplace_back( | 400 | withs_.emplace_back( |
| 401 | std::move(withName), | 401 | std::move(withName), |
| 402 | clause.getField(), | 402 | clause.getField(), |
| @@ -405,14 +405,14 @@ namespace verbly { | |||
| 405 | std::move(cteCondition), | 405 | std::move(cteCondition), |
| 406 | std::move(cteJoins), | 406 | std::move(cteJoins), |
| 407 | false); | 407 | false); |
| 408 | 408 | ||
| 409 | // Condition on the join column being NULL, which causes the query | 409 | // Condition on the join column being NULL, which causes the query |
| 410 | // to only return results that do not match the subquery. | 410 | // to only return results that do not match the subquery. |
| 411 | return condition(std::move(withInstName), clause.getField().getJoinColumn(), true); | 411 | return condition(std::move(withInstName), clause.getField().getJoinColumn(), true); |
| 412 | } else { | 412 | } else { |
| 413 | // Instantiate the through table. | 413 | // Instantiate the through table. |
| 414 | std::string throughTable = instantiateTable(clause.getField().getTable()); | 414 | std::string throughTable = instantiateTable(clause.getField().getTable()); |
| 415 | 415 | ||
| 416 | // INNER JOIN against the through table. | 416 | // INNER JOIN against the through table. |
| 417 | joins_.emplace_back( | 417 | joins_.emplace_back( |
| 418 | false, | 418 | false, |
| @@ -421,7 +421,7 @@ namespace verbly { | |||
| 421 | clause.getField().getColumn(), | 421 | clause.getField().getColumn(), |
| 422 | throughTable, | 422 | throughTable, |
| 423 | clause.getField().getJoinColumn()); | 423 | clause.getField().getJoinColumn()); |
| 424 | 424 | ||
| 425 | // INNER JOIN from the through table to the top table of the subquery. | 425 | // INNER JOIN from the through table to the top table of the subquery. |
| 426 | joins_.emplace_back( | 426 | joins_.emplace_back( |
| 427 | false, | 427 | false, |
| @@ -430,20 +430,20 @@ namespace verbly { | |||
| 430 | clause.getField().getForeignJoinColumn(), | 430 | clause.getField().getForeignJoinColumn(), |
| 431 | std::move(joinTable), | 431 | std::move(joinTable), |
| 432 | clause.getField().getForeignColumn()); | 432 | clause.getField().getForeignColumn()); |
| 433 | 433 | ||
| 434 | // Integrate the subquery's table mappings, joins, and CTEs into | 434 | // Integrate the subquery's table mappings, joins, and CTEs into |
| 435 | // this statement, and return the subquery condition as our | 435 | // this statement, and return the subquery condition as our |
| 436 | // condition. | 436 | // condition. |
| 437 | return integrate(std::move(joinStmt)); | 437 | return integrate(std::move(joinStmt)); |
| 438 | } | 438 | } |
| 439 | } | 439 | } |
| 440 | 440 | ||
| 441 | case field::type::hierarchal_join: | 441 | case field::type::hierarchal_join: |
| 442 | { | 442 | { |
| 443 | // Create a recursive CTE that represents the results of the subquery. | 443 | // Create a recursive CTE that represents the results of the subquery. |
| 444 | std::string withName = instantiateWith(clause.getField().getTable()); | 444 | std::string withName = instantiateWith(clause.getField().getTable()); |
| 445 | std::string withInstName = instantiateTable(withName); | 445 | std::string withInstName = instantiateTable(withName); |
| 446 | 446 | ||
| 447 | // If we are matching against the subquery, we INNER JOIN with the | 447 | // If we are matching against the subquery, we INNER JOIN with the |
| 448 | // CTE. If we are negatively matching the subquery, we LEFT JOIN | 448 | // CTE. If we are negatively matching the subquery, we LEFT JOIN |
| 449 | // with the CTE. | 449 | // with the CTE. |
| @@ -452,7 +452,7 @@ namespace verbly { | |||
| 452 | { | 452 | { |
| 453 | outer = true; | 453 | outer = true; |
| 454 | } | 454 | } |
| 455 | 455 | ||
| 456 | // Join against the CTE. | 456 | // Join against the CTE. |
| 457 | joins_.emplace_back( | 457 | joins_.emplace_back( |
| 458 | outer, | 458 | outer, |
| @@ -461,14 +461,14 @@ namespace verbly { | |||
| 461 | clause.getField().getColumn(), | 461 | clause.getField().getColumn(), |
| 462 | withInstName, | 462 | withInstName, |
| 463 | clause.getField().getColumn()); | 463 | clause.getField().getColumn()); |
| 464 | 464 | ||
| 465 | // Recursively parse the subquery in order to create the CTE. | 465 | // Recursively parse the subquery in order to create the CTE. |
| 466 | statement withStmt( | 466 | statement withStmt( |
| 467 | getTableForContext(clause.getField().getObject()), | 467 | getTableForContext(clause.getField().getObject()), |
| 468 | clause.getJoinCondition().normalize(clause.getField().getObject()), | 468 | clause.getJoinCondition().normalize(clause.getField().getObject()), |
| 469 | nextTableId_, | 469 | nextTableId_, |
| 470 | nextWithId_); | 470 | nextWithId_); |
| 471 | 471 | ||
| 472 | // All CTEs have to be in the main statement, so integrate any CTEs | 472 | // All CTEs have to be in the main statement, so integrate any CTEs |
| 473 | // that our subquery uses. Also, retrieve the table mapping, joins | 473 | // that our subquery uses. Also, retrieve the table mapping, joins |
| 474 | // list, and subquery condition, and use them to create the CTE. | 474 | // list, and subquery condition, and use them to create the CTE. |
| @@ -476,7 +476,7 @@ namespace verbly { | |||
| 476 | std::map<std::string, std::string> cteTables = std::move(withStmt.tables_); | 476 | std::map<std::string, std::string> cteTables = std::move(withStmt.tables_); |
| 477 | std::list<join> cteJoins = std::move(withStmt.joins_); | 477 | std::list<join> cteJoins = std::move(withStmt.joins_); |
| 478 | condition cteCondition = integrate(std::move(withStmt), true); | 478 | condition cteCondition = integrate(std::move(withStmt), true); |
| 479 | 479 | ||
| 480 | withs_.emplace_back( | 480 | withs_.emplace_back( |
| 481 | std::move(withName), | 481 | std::move(withName), |
| 482 | clause.getField(), | 482 | clause.getField(), |
| @@ -498,11 +498,11 @@ namespace verbly { | |||
| 498 | } | 498 | } |
| 499 | } | 499 | } |
| 500 | } | 500 | } |
| 501 | 501 | ||
| 502 | case filter::type::group: | 502 | case filter::type::group: |
| 503 | { | 503 | { |
| 504 | condition grp(clause.getOrlogic()); | 504 | condition grp(clause.getOrlogic()); |
| 505 | 505 | ||
| 506 | for (const filter& child : clause) | 506 | for (const filter& child : clause) |
| 507 | { | 507 | { |
| 508 | condition newChild = parseFilter(child); | 508 | condition newChild = parseFilter(child); |
| @@ -511,30 +511,30 @@ namespace verbly { | |||
| 511 | grp += std::move(newChild); | 511 | grp += std::move(newChild); |
| 512 | } | 512 | } |
| 513 | } | 513 | } |
| 514 | 514 | ||
| 515 | if (grp.getChildren().empty()) | 515 | if (grp.getChildren().empty()) |
| 516 | { | 516 | { |
| 517 | grp = {}; | 517 | grp = {}; |
| 518 | } | 518 | } |
| 519 | 519 | ||
| 520 | return grp; | 520 | return grp; |
| 521 | } | 521 | } |
| 522 | } | 522 | } |
| 523 | } | 523 | } |
| 524 | 524 | ||
| 525 | std::string statement::instantiateTable(std::string name) | 525 | std::string statement::instantiateTable(std::string name) |
| 526 | { | 526 | { |
| 527 | std::string identifier = name + "_" + std::to_string(nextTableId_++); | 527 | std::string identifier = name + "_" + std::to_string(nextTableId_++); |
| 528 | tables_[identifier] = name; | 528 | tables_[identifier] = name; |
| 529 | 529 | ||
| 530 | return identifier; | 530 | return identifier; |
| 531 | } | 531 | } |
| 532 | 532 | ||
| 533 | std::string statement::instantiateWith(std::string name) | 533 | std::string statement::instantiateWith(std::string name) |
| 534 | { | 534 | { |
| 535 | return name + "_tree_" + std::to_string(nextWithId_++); | 535 | return name + "_tree_" + std::to_string(nextWithId_++); |
| 536 | } | 536 | } |
| 537 | 537 | ||
| 538 | /** | 538 | /** |
| 539 | * This method integrates the parts of a recursively generated statement into | 539 | * This method integrates the parts of a recursively generated statement into |
| 540 | * this statement. This is used because filters are recursive objects, but | 540 | * this statement. This is used because filters are recursive objects, but |
| @@ -551,13 +551,13 @@ namespace verbly { | |||
| 551 | { | 551 | { |
| 552 | tables_[mapping.first] = mapping.second; | 552 | tables_[mapping.first] = mapping.second; |
| 553 | } | 553 | } |
| 554 | 554 | ||
| 555 | for (auto& j : subStmt.joins_) | 555 | for (auto& j : subStmt.joins_) |
| 556 | { | 556 | { |
| 557 | joins_.push_back(j); | 557 | joins_.push_back(j); |
| 558 | } | 558 | } |
| 559 | } | 559 | } |
| 560 | 560 | ||
| 561 | for (auto& w : subStmt.withs_) | 561 | for (auto& w : subStmt.withs_) |
| 562 | { | 562 | { |
| 563 | withs_.push_back(w); | 563 | withs_.push_back(w); |
| @@ -565,10 +565,10 @@ namespace verbly { | |||
| 565 | 565 | ||
| 566 | nextTableId_ = subStmt.nextTableId_; | 566 | nextTableId_ = subStmt.nextTableId_; |
| 567 | nextWithId_ = subStmt.nextWithId_; | 567 | nextWithId_ = subStmt.nextWithId_; |
| 568 | 568 | ||
| 569 | return subStmt.topCondition_; | 569 | return subStmt.topCondition_; |
| 570 | } | 570 | } |
| 571 | 571 | ||
| 572 | std::ostream& operator<<(std::ostream& oss, const statement::join& j) | 572 | std::ostream& operator<<(std::ostream& oss, const statement::join& j) |
| 573 | { | 573 | { |
| 574 | if (j.isOuterJoin()) | 574 | if (j.isOuterJoin()) |
| @@ -577,7 +577,7 @@ namespace verbly { | |||
| 577 | } else { | 577 | } else { |
| 578 | oss << "INNER"; | 578 | oss << "INNER"; |
| 579 | } | 579 | } |
| 580 | 580 | ||
| 581 | return oss | 581 | return oss |
| 582 | << " JOIN " | 582 | << " JOIN " |
| 583 | << j.getForeignTableName() | 583 | << j.getForeignTableName() |
| @@ -592,55 +592,55 @@ namespace verbly { | |||
| 592 | << "." | 592 | << "." |
| 593 | << j.getJoinColumn(); | 593 | << j.getJoinColumn(); |
| 594 | } | 594 | } |
| 595 | 595 | ||
| 596 | statement::condition::condition(const condition& other) | 596 | statement::condition::condition(const condition& other) |
| 597 | { | 597 | { |
| 598 | type_ = other.type_; | 598 | type_ = other.type_; |
| 599 | 599 | ||
| 600 | switch (type_) | 600 | switch (type_) |
| 601 | { | 601 | { |
| 602 | case type::empty: | 602 | case type::empty: |
| 603 | { | 603 | { |
| 604 | break; | 604 | break; |
| 605 | } | 605 | } |
| 606 | 606 | ||
| 607 | case type::singleton: | 607 | case type::singleton: |
| 608 | { | 608 | { |
| 609 | new(&singleton_.table_) std::string(other.singleton_.table_); | 609 | new(&singleton_.table_) std::string(other.singleton_.table_); |
| 610 | new(&singleton_.column_) std::string(other.singleton_.column_); | 610 | new(&singleton_.column_) std::string(other.singleton_.column_); |
| 611 | singleton_.comparison_ = other.singleton_.comparison_; | 611 | singleton_.comparison_ = other.singleton_.comparison_; |
| 612 | new(&singleton_.value_) binding(other.singleton_.value_); | 612 | new(&singleton_.value_) binding(other.singleton_.value_); |
| 613 | 613 | ||
| 614 | break; | 614 | break; |
| 615 | } | 615 | } |
| 616 | 616 | ||
| 617 | case type::group: | 617 | case type::group: |
| 618 | { | 618 | { |
| 619 | new(&group_.children_) std::list<condition>(other.group_.children_); | 619 | new(&group_.children_) std::list<condition>(other.group_.children_); |
| 620 | group_.orlogic_ = other.group_.orlogic_; | 620 | group_.orlogic_ = other.group_.orlogic_; |
| 621 | 621 | ||
| 622 | break; | 622 | break; |
| 623 | } | 623 | } |
| 624 | } | 624 | } |
| 625 | } | 625 | } |
| 626 | 626 | ||
| 627 | statement::condition::condition(condition&& other) : condition() | 627 | statement::condition::condition(condition&& other) : condition() |
| 628 | { | 628 | { |
| 629 | swap(*this, other); | 629 | swap(*this, other); |
| 630 | } | 630 | } |
| 631 | 631 | ||
| 632 | statement::condition& statement::condition::operator=(condition other) | 632 | statement::condition& statement::condition::operator=(condition other) |
| 633 | { | 633 | { |
| 634 | swap(*this, other); | 634 | swap(*this, other); |
| 635 | 635 | ||
| 636 | return *this; | 636 | return *this; |
| 637 | } | 637 | } |
| 638 | 638 | ||
| 639 | void swap(statement::condition& first, statement::condition& second) | 639 | void swap(statement::condition& first, statement::condition& second) |
| 640 | { | 640 | { |
| 641 | using type = statement::condition::type; | 641 | using type = statement::condition::type; |
| 642 | using condition = statement::condition; | 642 | using condition = statement::condition; |
| 643 | 643 | ||
| 644 | type tempType = first.type_; | 644 | type tempType = first.type_; |
| 645 | std::string tempTable; | 645 | std::string tempTable; |
| 646 | std::string tempColumn; | 646 | std::string tempColumn; |
| @@ -648,94 +648,94 @@ namespace verbly { | |||
| 648 | binding tempBinding; | 648 | binding tempBinding; |
| 649 | std::list<condition> tempChildren; | 649 | std::list<condition> tempChildren; |
| 650 | bool tempOrlogic; | 650 | bool tempOrlogic; |
| 651 | 651 | ||
| 652 | switch (tempType) | 652 | switch (tempType) |
| 653 | { | 653 | { |
| 654 | case type::empty: | 654 | case type::empty: |
| 655 | { | 655 | { |
| 656 | break; | 656 | break; |
| 657 | } | 657 | } |
| 658 | 658 | ||
| 659 | case type::singleton: | 659 | case type::singleton: |
| 660 | { | 660 | { |
| 661 | tempTable = std::move(first.singleton_.table_); | 661 | tempTable = std::move(first.singleton_.table_); |
| 662 | tempColumn = std::move(first.singleton_.column_); | 662 | tempColumn = std::move(first.singleton_.column_); |
| 663 | tempComparison = first.singleton_.comparison_; | 663 | tempComparison = first.singleton_.comparison_; |
| 664 | tempBinding = std::move(first.singleton_.value_); | 664 | tempBinding = std::move(first.singleton_.value_); |
| 665 | 665 | ||
| 666 | break; | 666 | break; |
| 667 | } | 667 | } |
| 668 | 668 | ||
| 669 | case type::group: | 669 | case type::group: |
| 670 | { | 670 | { |
| 671 | tempChildren = std::move(first.group_.children_); | 671 | tempChildren = std::move(first.group_.children_); |
| 672 | tempOrlogic = first.group_.orlogic_; | 672 | tempOrlogic = first.group_.orlogic_; |
| 673 | 673 | ||
| 674 | break; | 674 | break; |
| 675 | } | 675 | } |
| 676 | } | 676 | } |
| 677 | 677 | ||
| 678 | first.~condition(); | 678 | first.~condition(); |
| 679 | 679 | ||
| 680 | first.type_ = second.type_; | 680 | first.type_ = second.type_; |
| 681 | 681 | ||
| 682 | switch (first.type_) | 682 | switch (first.type_) |
| 683 | { | 683 | { |
| 684 | case type::empty: | 684 | case type::empty: |
| 685 | { | 685 | { |
| 686 | break; | 686 | break; |
| 687 | } | 687 | } |
| 688 | 688 | ||
| 689 | case type::singleton: | 689 | case type::singleton: |
| 690 | { | 690 | { |
| 691 | new(&first.singleton_.table_) std::string(std::move(second.singleton_.table_)); | 691 | new(&first.singleton_.table_) std::string(std::move(second.singleton_.table_)); |
| 692 | new(&first.singleton_.column_) std::string(std::move(second.singleton_.column_)); | 692 | new(&first.singleton_.column_) std::string(std::move(second.singleton_.column_)); |
| 693 | first.singleton_.comparison_ = second.singleton_.comparison_; | 693 | first.singleton_.comparison_ = second.singleton_.comparison_; |
| 694 | new(&first.singleton_.value_) binding(std::move(second.singleton_.value_)); | 694 | new(&first.singleton_.value_) binding(std::move(second.singleton_.value_)); |
| 695 | 695 | ||
| 696 | break; | 696 | break; |
| 697 | } | 697 | } |
| 698 | 698 | ||
| 699 | case type::group: | 699 | case type::group: |
| 700 | { | 700 | { |
| 701 | new(&first.group_.children_) std::list<condition>(std::move(second.group_.children_)); | 701 | new(&first.group_.children_) std::list<condition>(std::move(second.group_.children_)); |
| 702 | first.group_.orlogic_ = second.group_.orlogic_; | 702 | first.group_.orlogic_ = second.group_.orlogic_; |
| 703 | 703 | ||
| 704 | break; | 704 | break; |
| 705 | } | 705 | } |
| 706 | } | 706 | } |
| 707 | 707 | ||
| 708 | second.~condition(); | 708 | second.~condition(); |
| 709 | 709 | ||
| 710 | second.type_ = tempType; | 710 | second.type_ = tempType; |
| 711 | 711 | ||
| 712 | switch (second.type_) | 712 | switch (second.type_) |
| 713 | { | 713 | { |
| 714 | case type::empty: | 714 | case type::empty: |
| 715 | { | 715 | { |
| 716 | break; | 716 | break; |
| 717 | } | 717 | } |
| 718 | 718 | ||
| 719 | case type::singleton: | 719 | case type::singleton: |
| 720 | { | 720 | { |
| 721 | new(&second.singleton_.table_) std::string(std::move(tempTable)); | 721 | new(&second.singleton_.table_) std::string(std::move(tempTable)); |
| 722 | new(&second.singleton_.column_) std::string(std::move(tempColumn)); | 722 | new(&second.singleton_.column_) std::string(std::move(tempColumn)); |
| 723 | second.singleton_.comparison_ = tempComparison; | 723 | second.singleton_.comparison_ = tempComparison; |
| 724 | new(&second.singleton_.value_) binding(std::move(tempBinding)); | 724 | new(&second.singleton_.value_) binding(std::move(tempBinding)); |
| 725 | 725 | ||
| 726 | break; | 726 | break; |
| 727 | } | 727 | } |
| 728 | 728 | ||
| 729 | case type::group: | 729 | case type::group: |
| 730 | { | 730 | { |
| 731 | new(&second.group_.children_) std::list<condition>(std::move(tempChildren)); | 731 | new(&second.group_.children_) std::list<condition>(std::move(tempChildren)); |
| 732 | second.group_.orlogic_ = tempOrlogic; | 732 | second.group_.orlogic_ = tempOrlogic; |
| 733 | 733 | ||
| 734 | break; | 734 | break; |
| 735 | } | 735 | } |
| 736 | } | 736 | } |
| 737 | } | 737 | } |
| 738 | 738 | ||
| 739 | statement::condition::~condition() | 739 | statement::condition::~condition() |
| 740 | { | 740 | { |
| 741 | switch (type_) | 741 | switch (type_) |
| @@ -744,33 +744,33 @@ namespace verbly { | |||
| 744 | { | 744 | { |
| 745 | break; | 745 | break; |
| 746 | } | 746 | } |
| 747 | 747 | ||
| 748 | case type::singleton: | 748 | case type::singleton: |
| 749 | { | 749 | { |
| 750 | using string_type = std::string; | 750 | using string_type = std::string; |
| 751 | 751 | ||
| 752 | singleton_.table_.~string_type(); | 752 | singleton_.table_.~string_type(); |
| 753 | singleton_.column_.~string_type(); | 753 | singleton_.column_.~string_type(); |
| 754 | singleton_.value_.~binding(); | 754 | singleton_.value_.~binding(); |
| 755 | 755 | ||
| 756 | break; | 756 | break; |
| 757 | } | 757 | } |
| 758 | 758 | ||
| 759 | case type::group: | 759 | case type::group: |
| 760 | { | 760 | { |
| 761 | using list_type = std::list<condition>; | 761 | using list_type = std::list<condition>; |
| 762 | 762 | ||
| 763 | group_.children_.~list_type(); | 763 | group_.children_.~list_type(); |
| 764 | 764 | ||
| 765 | break; | 765 | break; |
| 766 | } | 766 | } |
| 767 | } | 767 | } |
| 768 | } | 768 | } |
| 769 | 769 | ||
| 770 | statement::condition::condition() : type_(type::empty) | 770 | statement::condition::condition() : type_(type::empty) |
| 771 | { | 771 | { |
| 772 | } | 772 | } |
| 773 | 773 | ||
| 774 | statement::condition::condition( | 774 | statement::condition::condition( |
| 775 | std::string table, | 775 | std::string table, |
| 776 | std::string column, | 776 | std::string column, |
| @@ -779,7 +779,7 @@ namespace verbly { | |||
| 779 | { | 779 | { |
| 780 | new(&singleton_.table_) std::string(std::move(table)); | 780 | new(&singleton_.table_) std::string(std::move(table)); |
| 781 | new(&singleton_.column_) std::string(std::move(column)); | 781 | new(&singleton_.column_) std::string(std::move(column)); |
| 782 | 782 | ||
| 783 | if (isNull) | 783 | if (isNull) |
| 784 | { | 784 | { |
| 785 | singleton_.comparison_ = comparison::is_null; | 785 | singleton_.comparison_ = comparison::is_null; |
| @@ -787,7 +787,7 @@ namespace verbly { | |||
| 787 | singleton_.comparison_ = comparison::is_not_null; | 787 | singleton_.comparison_ = comparison::is_not_null; |
| 788 | } | 788 | } |
| 789 | } | 789 | } |
| 790 | 790 | ||
| 791 | statement::condition::condition( | 791 | statement::condition::condition( |
| 792 | std::string table, | 792 | std::string table, |
| 793 | std::string column, | 793 | std::string column, |
| @@ -800,7 +800,7 @@ namespace verbly { | |||
| 800 | singleton_.comparison_ = comp; | 800 | singleton_.comparison_ = comp; |
| 801 | new(&singleton_.value_) binding(std::move(value)); | 801 | new(&singleton_.value_) binding(std::move(value)); |
| 802 | } | 802 | } |
| 803 | 803 | ||
| 804 | std::string statement::condition::toSql() const | 804 | std::string statement::condition::toSql() const |
| 805 | { | 805 | { |
| 806 | switch (type_) | 806 | switch (type_) |
| @@ -809,7 +809,7 @@ namespace verbly { | |||
| 809 | { | 809 | { |
| 810 | return ""; | 810 | return ""; |
| 811 | } | 811 | } |
| 812 | 812 | ||
| 813 | case type::singleton: | 813 | case type::singleton: |
| 814 | { | 814 | { |
| 815 | switch (singleton_.comparison_) | 815 | switch (singleton_.comparison_) |
| @@ -818,54 +818,54 @@ namespace verbly { | |||
| 818 | { | 818 | { |
| 819 | return singleton_.table_ + "." + singleton_.column_ + " = ?"; | 819 | return singleton_.table_ + "." + singleton_.column_ + " = ?"; |
| 820 | } | 820 | } |
| 821 | 821 | ||
| 822 | case comparison::does_not_equal: | 822 | case comparison::does_not_equal: |
| 823 | { | 823 | { |
| 824 | return singleton_.table_ + "." + singleton_.column_ + " != ?"; | 824 | return singleton_.table_ + "." + singleton_.column_ + " != ?"; |
| 825 | } | 825 | } |
| 826 | 826 | ||
| 827 | case comparison::is_greater_than: | 827 | case comparison::is_greater_than: |
| 828 | { | 828 | { |
| 829 | return singleton_.table_ + "." + singleton_.column_ + " > ?"; | 829 | return singleton_.table_ + "." + singleton_.column_ + " > ?"; |
| 830 | } | 830 | } |
| 831 | 831 | ||
| 832 | case comparison::is_at_most: | 832 | case comparison::is_at_most: |
| 833 | { | 833 | { |
| 834 | return singleton_.table_ + "." + singleton_.column_ + " <= ?"; | 834 | return singleton_.table_ + "." + singleton_.column_ + " <= ?"; |
| 835 | } | 835 | } |
| 836 | 836 | ||
| 837 | case comparison::is_less_than: | 837 | case comparison::is_less_than: |
| 838 | { | 838 | { |
| 839 | return singleton_.table_ + "." + singleton_.column_ + " < ?"; | 839 | return singleton_.table_ + "." + singleton_.column_ + " < ?"; |
| 840 | } | 840 | } |
| 841 | 841 | ||
| 842 | case comparison::is_at_least: | 842 | case comparison::is_at_least: |
| 843 | { | 843 | { |
| 844 | return singleton_.table_ + "." + singleton_.column_ + " >= ?"; | 844 | return singleton_.table_ + "." + singleton_.column_ + " >= ?"; |
| 845 | } | 845 | } |
| 846 | 846 | ||
| 847 | case comparison::is_like: | 847 | case comparison::is_like: |
| 848 | { | 848 | { |
| 849 | return singleton_.table_ + "." + singleton_.column_ + " LIKE ?"; | 849 | return singleton_.table_ + "." + singleton_.column_ + " LIKE ?"; |
| 850 | } | 850 | } |
| 851 | 851 | ||
| 852 | case comparison::is_not_like: | 852 | case comparison::is_not_like: |
| 853 | { | 853 | { |
| 854 | return singleton_.table_ + "." + singleton_.column_ + " NOT LIKE ?"; | 854 | return singleton_.table_ + "." + singleton_.column_ + " NOT LIKE ?"; |
| 855 | } | 855 | } |
| 856 | 856 | ||
| 857 | case comparison::is_not_null: | 857 | case comparison::is_not_null: |
| 858 | { | 858 | { |
| 859 | return singleton_.table_ + "." + singleton_.column_ + " IS NOT NULL"; | 859 | return singleton_.table_ + "." + singleton_.column_ + " IS NOT NULL"; |
| 860 | } | 860 | } |
| 861 | 861 | ||
| 862 | case comparison::is_null: | 862 | case comparison::is_null: |
| 863 | { | 863 | { |
| 864 | return singleton_.table_ + "." + singleton_.column_ + " IS NULL"; | 864 | return singleton_.table_ + "." + singleton_.column_ + " IS NULL"; |
| 865 | } | 865 | } |
| 866 | } | 866 | } |
| 867 | } | 867 | } |
| 868 | 868 | ||
| 869 | case type::group: | 869 | case type::group: |
| 870 | { | 870 | { |
| 871 | std::list<std::string> clauses; | 871 | std::list<std::string> clauses; |
| @@ -873,12 +873,12 @@ namespace verbly { | |||
| 873 | { | 873 | { |
| 874 | clauses.push_back(cond.toSql()); | 874 | clauses.push_back(cond.toSql()); |
| 875 | } | 875 | } |
| 876 | 876 | ||
| 877 | return implode(std::begin(clauses), std::end(clauses), group_.orlogic_ ? " OR " : " AND "); | 877 | return implode(std::begin(clauses), std::end(clauses), group_.orlogic_ ? " OR " : " AND "); |
| 878 | } | 878 | } |
| 879 | } | 879 | } |
| 880 | } | 880 | } |
| 881 | 881 | ||
| 882 | std::list<binding> statement::condition::flattenBindings() const | 882 | std::list<binding> statement::condition::flattenBindings() const |
| 883 | { | 883 | { |
| 884 | switch (type_) | 884 | switch (type_) |
| @@ -887,7 +887,7 @@ namespace verbly { | |||
| 887 | { | 887 | { |
| 888 | return {}; | 888 | return {}; |
| 889 | } | 889 | } |
| 890 | 890 | ||
| 891 | case type::singleton: | 891 | case type::singleton: |
| 892 | { | 892 | { |
| 893 | switch (singleton_.comparison_) | 893 | switch (singleton_.comparison_) |
| @@ -903,7 +903,7 @@ namespace verbly { | |||
| 903 | { | 903 | { |
| 904 | return {singleton_.value_}; | 904 | return {singleton_.value_}; |
| 905 | } | 905 | } |
| 906 | 906 | ||
| 907 | case comparison::is_not_null: | 907 | case comparison::is_not_null: |
| 908 | case comparison::is_null: | 908 | case comparison::is_null: |
| 909 | { | 909 | { |
| @@ -911,7 +911,7 @@ namespace verbly { | |||
| 911 | } | 911 | } |
| 912 | } | 912 | } |
| 913 | } | 913 | } |
| 914 | 914 | ||
| 915 | case type::group: | 915 | case type::group: |
| 916 | { | 916 | { |
| 917 | std::list<binding> bindings; | 917 | std::list<binding> bindings; |
| @@ -922,30 +922,30 @@ namespace verbly { | |||
| 922 | bindings.push_back(std::move(value)); | 922 | bindings.push_back(std::move(value)); |
| 923 | } | 923 | } |
| 924 | } | 924 | } |
| 925 | 925 | ||
| 926 | return bindings; | 926 | return bindings; |
| 927 | } | 927 | } |
| 928 | } | 928 | } |
| 929 | } | 929 | } |
| 930 | 930 | ||
| 931 | statement::condition::condition(bool orlogic) : type_(type::group) | 931 | statement::condition::condition(bool orlogic) : type_(type::group) |
| 932 | { | 932 | { |
| 933 | new(&group_.children_) std::list<condition>(); | 933 | new(&group_.children_) std::list<condition>(); |
| 934 | group_.orlogic_ = orlogic; | 934 | group_.orlogic_ = orlogic; |
| 935 | } | 935 | } |
| 936 | 936 | ||
| 937 | statement::condition& statement::condition::operator+=(condition n) | 937 | statement::condition& statement::condition::operator+=(condition n) |
| 938 | { | 938 | { |
| 939 | if (type_ == type::group) | 939 | if (type_ == type::group) |
| 940 | { | 940 | { |
| 941 | group_.children_.push_back(std::move(n)); | 941 | group_.children_.push_back(std::move(n)); |
| 942 | 942 | ||
| 943 | return *this; | 943 | return *this; |
| 944 | } else { | 944 | } else { |
| 945 | throw std::domain_error("Cannot add condition to non-group condition"); | 945 | throw std::domain_error("Cannot add condition to non-group condition"); |
| 946 | } | 946 | } |
| 947 | } | 947 | } |
| 948 | 948 | ||
| 949 | statement::condition& statement::condition::operator&=(condition n) | 949 | statement::condition& statement::condition::operator&=(condition n) |
| 950 | { | 950 | { |
| 951 | switch (type_) | 951 | switch (type_) |
| @@ -953,32 +953,32 @@ namespace verbly { | |||
| 953 | case type::empty: | 953 | case type::empty: |
| 954 | { | 954 | { |
| 955 | *this = std::move(n); | 955 | *this = std::move(n); |
| 956 | 956 | ||
| 957 | break; | 957 | break; |
| 958 | } | 958 | } |
| 959 | 959 | ||
| 960 | case type::singleton: | 960 | case type::singleton: |
| 961 | { | 961 | { |
| 962 | condition grp(false); | 962 | condition grp(false); |
| 963 | grp += *this; | 963 | grp += *this; |
| 964 | grp += std::move(n); | 964 | grp += std::move(n); |
| 965 | 965 | ||
| 966 | *this = grp; | 966 | *this = grp; |
| 967 | 967 | ||
| 968 | break; | 968 | break; |
| 969 | } | 969 | } |
| 970 | 970 | ||
| 971 | case type::group: | 971 | case type::group: |
| 972 | { | 972 | { |
| 973 | *this += std::move(n); | 973 | *this += std::move(n); |
| 974 | 974 | ||
| 975 | break; | 975 | break; |
| 976 | } | 976 | } |
| 977 | } | 977 | } |
| 978 | 978 | ||
| 979 | return *this; | 979 | return *this; |
| 980 | } | 980 | } |
| 981 | 981 | ||
| 982 | const std::list<statement::condition>& statement::condition::getChildren() const | 982 | const std::list<statement::condition>& statement::condition::getChildren() const |
| 983 | { | 983 | { |
| 984 | if (type_ == type::group) | 984 | if (type_ == type::group) |
| @@ -988,5 +988,5 @@ namespace verbly { | |||
| 988 | throw std::domain_error("Cannot get children of non-group condition"); | 988 | throw std::domain_error("Cannot get children of non-group condition"); |
| 989 | } | 989 | } |
| 990 | } | 990 | } |
| 991 | 991 | ||
| 992 | }; | 992 | }; |
