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