Strict Standards: Non-static method Flyspray::absoluteURI() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/constants.inc.php on line 29 Strict Standards: Non-static method Flyspray::get_tmp_dir() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/constants.inc.php on line 78 Strict Standards: Non-static method Flyspray::base_version() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/header.php on line 29 Strict Standards: Non-static method Flyspray::base_version() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/header.php on line 29 Strict Standards: Non-static method Req::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/header.php on line 39 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 26 Strict Standards: Non-static method Req::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/header.php on line 40 Strict Standards: Non-static method Req::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 26 Strict Standards: Non-static method Filters::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Req::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/header.php on line 42 Strict Standards: Non-static method Req::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 26 Strict Standards: Non-static method Filters::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Req::enum() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 20 Strict Standards: Non-static method Req::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 37 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 26 Strict Standards: Non-static method Filters::enum() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 37 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 26 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 26 Strict Standards: Non-static method Cookie::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 33 Strict Standards: Non-static method Get::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 41 Strict Standards: Non-static method Get::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 100 Strict Standards: Non-static method Get::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 100 Strict Standards: Non-static method Get::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 100 Strict Standards: Non-static method Flyspray::requestDuplicated() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 109 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/index.php on line 148 Strict Standards: Non-static method Req::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/scripts/details.php on line 15 Strict Standards: Non-static method Req::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Req::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 26 Strict Standards: Non-static method Filters::num() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 32 Strict Standards: Non-static method Flyspray::GetTaskDetails() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/scripts/details.php on line 17 Strict Standards: Non-static method Flyspray::GetAssignees() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.flyspray.php on line 358 Strict Standards: Non-static method Get::val() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/scripts/details.php on line 34 Strict Standards: Non-static method Get::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.gpc.php on line 100 Strict Standards: Non-static method Post::has() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/scripts/details.php on line 34 Strict Standards: Non-static method TextFormatter::render() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/scripts/details.php on line 128 FS#25 : Prédicat contient-information

langage

Langage de programmation de gruntnetwork
Liste des tâches

FS#25 - Prédicat contient-information

Concerne le projet: langage
Ouverte par Strict Standards: array_map() expects parameter 1 to be a valid callback, non-static method Filters::noXSS() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.tpl.php on line 281 jahvascriptmaniac (js) - Strict Standards: Non-static method Filters::noXSS() should not be called statically in /data/web/2f/0e/cf/tracker.gruntnetwork.com/htdocs/includes/class.tpl.php on line 613 mercredi, 24 mars 2010, 07:48 GMT
Type de tâche Fonctionnalité
Catégorie Backend / Core
Etat Affecté
Assignée à jahvascriptmaniac (js)
Système d'exploitation All
Sévérité Basse
Priorité Basse
Basée sur la version 1.0
Due pour la version Non décidé
Date d'échéance Non décidé
Pourcentage achevé: 0%
Votes 0
Privée Non

Détails

Prédicat pour les preuves / contrats : contient-information.

Exemple :

Contrat pour e = liste->ensemble(l)

∀ x ∈ l, e contient-information x

Cela signifie que e contient suffisamment d'informations pour reproduire x, après, il peut y avoir de la compression, etc. dans la manière de stocker cette information, mais ça nous regarde pas.

Pourrait être utilisée pour des données qu'on envoie sur le réseau : il faut que la donnée soit dans le format de destination, mais on n'a pas besoin de la revoir un jour.

Autre prédicat, plus utile :

contient-information-accessible

Qui signifie qu'on peut récupérer x depuis la structure opaque produite.
Cette tâche dépend de

Chargement...