comparison src/intervals.c @ 1316:f09c5c6563b8

* intervals.c: `copy_intervals()' no longer static.

1315:884c3d7e7172

      register INTERVAL prev = previous_interval (i);

      /* If both intervals are sticky here, then default to the
         left-most one.  But perhaps we should create a new
	 interval here instead... */
      if (END_STICKY (prev))
	i = prev;
    }

  while (! NULL_INTERVAL_P (i))
    {

  if (position == under->position)
    {
      /* First interval -- none precede it. */
      if (position == 1)
	{
	  if (! FRONT_STICKY (under))
	    /* The inserted string keeps its own properties. */
	    while (! NULL_INTERVAL_P (over))
	    {
	      position = LENGTH (over) + 1;
	      this = split_interval_left (this, position);

	{
	  INTERVAL prev = previous_interval (under);
	  if (NULL_INTERVAL_P (prev))
	    abort ();

	  if (END_STICKY (prev))
	    {
	      if (FRONT_STICKY (under))
		/* The intervals go inbetween as the two sticky
		   properties cancel each other.  Should we change
		   this policy? */
		while (! NULL_INTERVAL_P (over))
		  {

		    over = next_interval (over);
		  }
	    }
	  else
	    {
	      if (FRONT_STICKY (under))
		/* The inserted text "sticks" to the interval `under',
		   which means it gets those properties. */
		while (! NULL_INTERVAL_P (over))
		  {
		    position = LENGTH (over) + 1;

}

/* Produce an interval tree reflecting the intervals in
   TREE from START to START + LENGTH. */

static INTERVAL
copy_intervals (tree, start, length)
     INTERVAL tree;
     int start, length;
{
  register INTERVAL i, new, t;

1316:f09c5c6563b8

      register INTERVAL prev = previous_interval (i);

      /* If both intervals are sticky here, then default to the
         left-most one.  But perhaps we should create a new
	 interval here instead... */
      if (END_STICKY_P (prev))
	i = prev;
    }

  while (! NULL_INTERVAL_P (i))
    {

  if (position == under->position)
    {
      /* First interval -- none precede it. */
      if (position == 1)
	{
	  if (! FRONT_STICKY_P (under))
	    /* The inserted string keeps its own properties. */
	    while (! NULL_INTERVAL_P (over))
	    {
	      position = LENGTH (over) + 1;
	      this = split_interval_left (this, position);

	{
	  INTERVAL prev = previous_interval (under);
	  if (NULL_INTERVAL_P (prev))
	    abort ();

	  if (END_STICKY_P (prev))
	    {
	      if (FRONT_STICKY_P (under))
		/* The intervals go inbetween as the two sticky
		   properties cancel each other.  Should we change
		   this policy? */
		while (! NULL_INTERVAL_P (over))
		  {

		    over = next_interval (over);
		  }
	    }
	  else
	    {
	      if (FRONT_STICKY_P (under))
		/* The inserted text "sticks" to the interval `under',
		   which means it gets those properties. */
		while (! NULL_INTERVAL_P (over))
		  {
		    position = LENGTH (over) + 1;

}

/* Produce an interval tree reflecting the intervals in
   TREE from START to START + LENGTH. */

INTERVAL
copy_intervals (tree, start, length)
     INTERVAL tree;
     int start, length;
{
  register INTERVAL i, new, t;