String Buffers

version 5 by Jesse McGrew

  • Home page
  • Beginning
  • Previous
  • Next



  • Section 2 - Buffered things

    A buffered thing is a kind of thing. [X is buffered means that X is a buffered thing. X is always buffered means that X is a kind of buffered thing.]

    Definition: a thing is unbuffered if it is not a buffered thing.

    A buffered thing has text called initial message. The initial message of a buffered thing is usually "".

    A buffered thing has a number called buffer shares. The buffer shares of a buffered thing is usually 1.
    [X has Y buffer shares means that the buffer shares of X is Y.
    X has Y buffer share means that the buffer shares of X is Y.
    X gets Y buffer shares means that the buffer shares of X is Y.
    X gets Y buffer share means that the buffer shares of X is Y.]