Package org.smtlib

Interface CharSequenceInfinite.IPrompter

All Known Implementing Classes:
SMT.Prompter
Enclosing class:
CharSequenceInfinite
public static interface CharSequenceInfinite.IPrompter
This interface is used to create prompters. A CharSequenceInfinite object needs on occasion to obtain new input, which it does by calling readChars(). readChars() invokes the prompter to communicate to the source of input that more data is needed. As an example, if the input comes from interactive input, the prompter may print out prompt characters.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    prompt()
    Implement this call-back to do whatever user actions are needed to cause more input to be available.

  • Method Details

    • prompt

      void prompt()
      Implement this call-back to do whatever user actions are needed to cause more input to be available.