urosm
/
ikiwiki
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

found a way to get false positive influences

master
Joey Hess 2009-10-08 15:33:47 -04:00
parent 586c35de30
commit 3948b42238
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
doc/todo/dependency_types.mdwn
View File

@ -501,6 +501,34 @@ to not link to done, the influence will do its job.
Looks good!
----
Here is a case where this approach has some false positives.
"bugs/* and link(patch)"
This finds as influences all pages that link to patch, even
if they are not under bugs/, and so can never match.
To fix this, the influence calculation would need to consider boolean
operators. Currently, this turns into roughly:
`FailReason() & SuccessReason(patch)`
Let's say that the glob instead returns a HardFailReason, which when
ANDed with another object, drops their influences. (But when ORed, combines
them.) Fixes the above, but does it always work?
"(bugs/* or link(patch)) and backlink(index)" =>
`( HardFailReason() | SuccessReason(patch) ) & SuccessReason(index)`` =>
`SuccessReason(patch) & SuccessReason(index)` =>
SuccessReason(patch, index) => right
"(bugs/* and link(patch)) or backlink(index)" =>
`( HardFailReason() & SuccessReason(patch) ) | SuccessReason(index)`` =>
`HardFailReason() | SuccessReason(index)` =>
`SuccessReason(index)` => right
#### High-level Calculation and Storage
Naively calculating the full influence list for a pagespec requires trying