Charlie,
If I understanded correctly what you want the four rules cannot be
achieved, I mean, any input from the user could be considered a valid
string (even a CTRL+C can be considered a string with a non-readable
character if you open the device to accept it).
So I think it is impossible to achieve the four conditions, but I think
you will prove me wrong...
Luiz Papa
Charlie-Boo escreveu:
> I have a variable X with an existing value which I would like to set
> to any value I want, via READ, potentially changing it. I would like:
>
> A. If no change to X is desired, then a short input results in X
> ending up with the same value it started with.
> B. The short input mentioned in A is independent of the value of X.
> C. We are able to change X to any string we want.
> D. There is only one execution of a READ.
>
> I believe that every instance of this problem that I have seen
> violated C: we are not able to change X to the short input mentioned
> in A and B.
>
> 1. Adhere to C.
> 2. Prove whether we can adhere to all 4.
>
> C -
>
|
