Benutzer:Mediator/hashtables: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K |
K |
||
| Zeile 44: | Zeile 44: | ||
<span style="color: DarkGreen;">%%%%:</span> <span style="color: DarkSlateGray;">@@@@</span>}} | <span style="color: DarkGreen;">%%%%:</span> <span style="color: DarkSlateGray;">@@@@</span>}} | ||
</div> | </div> | ||
| + | ---- | ||
| + | ;hashintersect hashIDintersection | ||
| + | {{#hashintersect:hashIDintersection |hashID |hashIDneu}} | ||
Version vom 28. Mai 2013, 04:47 Uhr
- http://www.mediawiki.org/wiki/Extension:HashTables --
03:32, 28. Mai 2013 (CEST)
- hashdefine hashID
{{#hashdefine:hashID |Player01=GameID01;Player02=GameID02;Player03=GameID30 |;|=}}
- hashsize hashID
- {{#hashsize:hashID}}
- hashprint hashID
{{#hashprint:hashID |
| %%%% | @@@@ | %%%%: @@@@}}
- show a single hashvalue hashID
- {{#hashvalue:hashID |Player03|- undefined -}}
- {{#hashvalue:hashID |Player04|- undefined -}}
- hashkeyexists hashID
- {{#hashkeyexists:hashID |Player03|yes |no}}
- {{#hashkeyexists:hashID |Player04|yes |no}}
- hashinclude hashID
{{#hashinclude:hashID |Player04=GameID04}}
- {{#hashkeyexists:hashID |Player04|yes |no}}
- {{#hashsize:hashID}}
- hashmerge hashIDall
{{#hashdefine:hashIDneu |Player11=GameID11;Player12=GameID12;Player13=GameID130 |;|=}}{{#hashmerge:hashIDall |hashID|hashIDneu}}
- {{#hashsize:hashIDall}}
{{#hashprint:hashIDall |
| %%%% | @@@@ | %%%%: @@@@}}
- hashintersect hashIDintersection
{{#hashintersect:hashIDintersection |hashID |hashIDneu}}