    001    /* Copyright 2000, 2001, Compaq Computer Corporation */
    002
    003    package javafe.util;
    004
    005    /**
    006     * Objects of this class can decide on various aspects of the clipping
    007     * policy of lines displayed to the user with a caret.
    008     */
    009
    010    public class ClipPolicy
    011    {
    012      /**
    013       * @return <code>true</code> if the programming construct that
    014       * begins at column <code>pos</code> within <code>s</code> also ends
    015       * within <code>s</code>.
    016       */
    017
    018      //@ requires 0 <= pos && pos < s.length();
    019      public boolean containsEndOfConstruct(/*@ non_null */ String s, int pos) {
    020        return true;
    021      }
    022    }
    023