Overview
| Comment: | Use the new user state format in the level table implementation. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
98625fd22443b436011c61e46d75c267 |
| User & Date: | user on 2022-06-28 06:49:58 |
| Other Links: | manifest | tags |
Context
|
2022-06-29
| ||
| 05:54 | Make do_load_moves and the SQL solution move list function using the new move list decoding functions. check-in: 063db0939e user: user tags: trunk | |
|
2022-06-28
| ||
| 06:49 | Use the new user state format in the level table implementation. check-in: 98625fd224 user: user tags: trunk | |
| 04:45 | Use the move encoding functions in the level import function. check-in: 5463756bc9 user: user tags: trunk | |
Changes
Modified function.c from [d994ad6d78] to [7dea84fa1f].
| ︙ | |||
1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 | 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 | + + + + + + + + + + + + + + + + + |
sqlite3_bind_zeroblob(st,i+8,0);
}
} else {
if(ll_data[i].sgn) sqlite3_bind_int64(st,i+8,stack->s); else sqlite3_bind_int64(st,i+8,stack->u);
}
}
}
static int level_is_solved(const unsigned char*d,long n,int j) {
if(n<=5 || !d) return 0;
if(*d) {
return (n-(d[n-2]<<8)-d[n-1]>3 && (d[n-4]<<8)+d[n-3]==j);
} else {
long i;
for(i=1;i<n;) {
if(d[i]==0x41 && n-i>2) return (d[i+1]+(d[i+2]<<8)==j);
else if(d[i]<0x40) i+=strnlen(d+i,n-i)+1;
else if(d[i]<0x80) i+=3;
else if(d[i]<0xC0) i+=5;
else i+=9;
}
return 0;
}
}
static int vt1_levels_open(sqlite3_vtab*vt,sqlite3_vtab_cursor**cur) {
sqlite3_str*str;
sqlite3_stmt*st1;
sqlite3_stmt*st2;
const unsigned char*d;
unsigned char*p;
|
| ︙ | |||
1722 1723 1724 1725 1726 1727 1728 | 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 | - + |
if(p) {
sqlite3_bind_int(st2,7,(n>2 && d[0]==p[0] && d[1]==p[1]));
free(p);
} else {
sqlite3_bind_int(st2,7,0);
}
d=sqlite3_column_blob(st1,2); n=sqlite3_column_bytes(st1,2);
|
| ︙ |