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