Lines Matching defs:value
45 const char *value;
98 PRE(var->value == NULL);
103 var->value = val;
105 var->value = var->default_value;
107 var->value = var->default_value;
109 POST(var->value != NULL);
139 const char *value;
146 value = NULL;
147 for (var = vars; value == NULL && var->name != NULL; var++)
149 value = var->value;
150 INV(value != NULL);
152 return value;
163 var->value = NULL;