WMSYSTRAY
WMSYSTRAY biedt een systeemvak compatibel met Freedesktop.org's systeemvakprotocolspecificatie. ...
 | LancelotEen gedragsgestuurde specificatie- en verificatiebibliotheek |
| Download nu | |
Lancelot Rangschikking & Samenvatting
Advertentie
- Vergunning:
- LGPL
- Prijs:
- FREE
- Naam uitgever:
- Tim Bacon
- Uitgever website:
- http://withaherring.blogspot.com/
Lancelot Tags
Lancelot Beschrijving
Een gedragsgestuurde specificatie- en verificatiebibliotheek Lancelot is een Python-module waarmee class- en functiegedrag wordt opgegeven en geverifieerd met behulp van een DSL-achtige syntaxis, bijvoorbeeld: @verifibledef can_peek_and_pop_after_push (): Spec = spec (stapel, gegeven = new_stack) Spec.Wanneer (Spec.push ( Waarde = 'A')) Spec.then (spec.peek ()). Should_be ('a') spec.then (spec.pop ()). Should_be ('a') spec.then (spec.peek () ) .Should_raise (indexError) spec.then (spec.pop ()). Moet_raise (indexError) vereisten: · Python
Lancelot Gerelateerde software
Xtra screen hacks
XTRA-scherm Hacks is een verzameling grafische weergavemodi die bedoeld zijn om te worden uitgevoerd met een daemon zoals XSCreensaver. ...
