Lines Matching defs:value
45 const char *value;
94 PRE(var->value == NULL);
99 var->value = val;
101 var->value = var->default_value;
103 var->value = var->default_value;
105 POST(var->value != NULL);
135 const char *value;
142 value = NULL;
143 for (var = vars; value == NULL && var->name != NULL; var++)
145 value = var->value;
146 INV(value != NULL);
148 return value;
159 var->value = NULL;