]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/simple-spacer.cc
Makes line breaking options more accessible to grobs.
[lilypond.git] / lily / simple-spacer.cc
index 9b0a322b1cb37e2e9e24560549d3990c2617b148..a870ee3dcc98df502de70532b3f0c752fbc4dd36 100644 (file)
@@ -1,20 +1,32 @@
 /*
-  simple-spacer.cc -- implement Simple_spacer
+  This file is part of LilyPond, the GNU music typesetter.
 
-  source file of the GNU LilyPond music typesetter
-
-  (c) 1999--2008 Han-Wen Nienhuys <hanwen@xs4all.nl>
+  Copyright (C) 1999--2011 Han-Wen Nienhuys <hanwen@xs4all.nl>
 
   TODO:
   - add support for different stretch/shrink constants?
+
+  LilyPond is free software: you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation, either version 3 of the License, or
+  (at your option) any later version.
+
+  LilyPond is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #include <cstdio>
 
+#include "column-description.hh"
 #include "column-x-positions.hh"
 #include "dimensions.hh"
 #include "international.hh"
-#include "libc-extension.hh"   // isinf
+#include "libc-extension.hh"    // isinf
 #include "paper-column.hh"
 #include "simple-spacer.hh"
 #include "spaceable-grob.hh"
@@ -71,6 +83,12 @@ Simple_spacer::force () const
   return force_;
 }
 
+Real
+Simple_spacer::line_len () const
+{
+  return line_len_;
+}
+
 bool
 Simple_spacer::fits () const
 {
@@ -104,13 +122,13 @@ Simple_spacer::add_rod (int l, int r, Real dist)
     {
       Real spring_dist = range_ideal_len (l, r);
       if (spring_dist < dist)
-       for (int i = l; i < r; i++)
-         {
-           if (spring_dist)
-             springs_[i].set_distance (springs_[i].distance () * dist / spring_dist);
-           else
-             springs_[i].set_distance (dist / (r - l));
-         }
+        for (int i = l; i < r; i++)
+          {
+            if (spring_dist)
+              springs_[i].set_distance (springs_[i].distance () * dist / spring_dist);
+            else
+              springs_[i].set_distance (dist / (r - l));
+          }
 
       return;
     }
@@ -134,7 +152,7 @@ Simple_spacer::range_stiffness (int l, int r, bool stretch) const
   Real den = 0.0;
   for (int i = l; i < r; i++)
     den += stretch ? springs_[i].inverse_stretch_strength ()
-      : springs_[i].inverse_compress_strength ();
+           : springs_[i].inverse_compress_strength ();
 
   return 1 / den;
 }
@@ -172,7 +190,7 @@ Simple_spacer::expand_line ()
   double cur_len = configuration_length (force_);
 
   fits_ = true;
-  for (vsize i=0; i < springs_.size (); i++)
+  for (vsize i = 0; i < springs_.size (); i++)
     inv_hooke += springs_[i].inverse_stretch_strength ();
 
   if (inv_hooke == 0.0) /* avoid division by zero. If springs are infinitely stiff */
@@ -185,7 +203,6 @@ Simple_spacer::expand_line ()
 Real
 Simple_spacer::compress_line ()
 {
-  double inv_hooke = 0;
   double cur_len = configuration_length (force_);
   double cur_force = force_;
   bool compressed = false;
@@ -202,39 +219,42 @@ Simple_spacer::compress_line ()
     }
 
   fits_ = true;
-  for (vsize i=0; i < springs_.size (); i++)
-    inv_hooke += compressed
-      ? springs_[i].inverse_compress_strength ()
-      : springs_[i].inverse_stretch_strength ();
 
   assert (line_len_ <= cur_len);
 
   vector<Spring> sorted_springs = springs_;
   sort (sorted_springs.begin (), sorted_springs.end (), greater<Spring> ());
 
-  for (vsize i = 0; i < sorted_springs.size (); i++)
+  /* inv_hooke is the total flexibility of currently-active springs */
+  double inv_hooke = 0;
+  vsize i = sorted_springs.size ();
+  for (; i && sorted_springs[i - 1].blocking_force () < cur_force; i--)
+    inv_hooke += compressed
+                 ? sorted_springs[i - 1].inverse_compress_strength ()
+                 : sorted_springs[i - 1].inverse_stretch_strength ();
+  /* i now indexes the first active spring, so */
+  for (; i < sorted_springs.size (); i++)
     {
       Spring sp = sorted_springs[i];
 
-      assert (sp.blocking_force () <= cur_force);
       if (isinf (sp.blocking_force ()))
-       break;
+        break;
 
       double block_dist = (cur_force - sp.blocking_force ()) * inv_hooke;
       if (cur_len - block_dist < line_len_)
-       {
-         cur_force += (line_len_ - cur_len) / inv_hooke;
-         cur_len = line_len_;
-
-         /*
-           Paranoia check.
-         */
-         assert (fabs (configuration_length (cur_force) - cur_len) < 1e-6);
-         return cur_force;
-       }
-      
+        {
+          cur_force += (line_len_ - cur_len) / inv_hooke;
+          cur_len = line_len_;
+
+          /*
+            Paranoia check.
+          */
+          assert (fabs (configuration_length (cur_force) - cur_len) < 1e-6);
+          return cur_force;
+        }
+
       cur_len -= block_dist;
-      inv_hooke -= sp.inverse_compress_strength ();
+      inv_hooke -= compressed ? sp.inverse_compress_strength () : sp.inverse_stretch_strength ();
       cur_force = sp.blocking_force ();
     }
 
@@ -271,222 +291,48 @@ Simple_spacer::force_penalty (bool ragged) const
 
   /* Use a convex compression penalty. */
   Real f = force_;
-  return f - (f < 0 ? f*f*f*f*2 : 0);
+  return f - (f < 0 ? f * f * f * f * 2 : 0);
 }
 
 /****************************************************************/
 
-struct Rod_description
-{
-  vsize r_;
-  Real dist_;
-
-  bool operator< (const Rod_description r)
-  {
-    return r_ < r.r_;
-  }
-
-  Rod_description ()
-  {
-    r_ = 0;
-    dist_ = 0;
-  }
-
-  Rod_description (vsize r, Real d)
-  {
-    r_ = r;
-    dist_ = d;
-  }
-};
-
-struct Column_description
-{
-  vector<Rod_description> rods_;
-  vector<Rod_description> end_rods_;   /* use these if they end at the last column of the line */
-  Spring spring_;
-  Spring end_spring_;
-
-  SCM break_permission_;
-  Interval keep_inside_line_;
-
-  Column_description ()
-  {
-    break_permission_ = SCM_EOL;
-  }
-};
-
-static bool
-is_loose (Grob *g)
-{
-  return (scm_is_pair (g->get_object ("between-cols")));
-}
-
-static Grob*
-maybe_find_prebroken_piece (Grob *g, Direction d)
-{
-  Grob *ret = dynamic_cast<Item*> (g)->find_prebroken_piece (d);
-  if (ret)
-    return ret;
-  return g;
-}
-
-static Grob*
-next_spaceable_column (vector<Grob*> const &list, vsize starting)
-{
-  for (vsize i = starting+1; i < list.size (); i++)
-    if (!is_loose (list[i]))
-      return list[i];
-  return 0;
-}
-
-static Column_description
-get_column_description (vector<Grob*> const &cols, vsize col_index, bool line_starter)
-{
-  Grob *col = cols[col_index];
-  if (line_starter)
-    col = maybe_find_prebroken_piece (col, RIGHT);
-
-  Column_description description;
-  Grob *next_col = next_spaceable_column (cols, col_index);
-  if (next_col)
-    description.spring_ = Spaceable_grob::get_spring (col, next_col);
-
-  Grob *end_col = dynamic_cast<Item*> (cols[col_index+1])->find_prebroken_piece (LEFT);
-  if (end_col)
-    description.end_spring_ = Spaceable_grob::get_spring (col, end_col);
-
-  for (SCM s = Spaceable_grob::get_minimum_distances (col);
-       scm_is_pair (s); s = scm_cdr (s))
-    {
-      Grob *other = unsmob_grob (scm_caar (s));
-      vsize j = binary_search (cols, other, Paper_column::less_than, col_index);
-      if (j != VPOS)
-       {
-         if (cols[j] == other)
-           description.rods_.push_back (Rod_description (j, scm_to_double (scm_cdar (s))));
-         else /* it must end at the LEFT prebroken_piece */
-           description.end_rods_.push_back (Rod_description (j, scm_to_double (scm_cdar (s))));
-       }
-    }
-  
-  if (!line_starter && to_boolean (col->get_property ("keep-inside-line")))
-    description.keep_inside_line_ = col->extent (col, X_AXIS);
-
-  description.break_permission_ = col->get_property ("line-break-permission");
-  return description;
-}
-
-vector<Real>
-get_line_forces (vector<Grob*> const &columns,
-                Real line_len, Real indent, bool ragged)
-{
-  vector<vsize> breaks;
-  vector<Real> force;
-  vector<Grob*> non_loose;
-  vector<Column_description> cols;
-  SCM force_break = ly_symbol2scm ("force");
-
-  for (vsize i = 0; i < columns.size (); i++)
-    if (!is_loose (columns[i]) || Paper_column::is_breakable (columns[i]))
-      non_loose.push_back (columns[i]);
-
-  breaks.clear ();
-  breaks.push_back (0);
-  cols.push_back (Column_description ());
-  for (vsize i = 1; i + 1 < non_loose.size (); i++)
-    {
-      if (Paper_column::is_breakable (non_loose[i]))
-       breaks.push_back (cols.size ());
-
-      cols.push_back (get_column_description (non_loose, i, false));
-    }
-  breaks.push_back (cols.size ());
-  force.resize (breaks.size () * breaks.size (), infinity_f);
-
-  for (vsize b = 0; b + 1 < breaks.size (); b++)
-    {
-      cols[breaks[b]] = get_column_description (non_loose, breaks[b], true);
-      vsize st = breaks[b];
-
-      for (vsize c = b+1; c < breaks.size (); c++)
-       {
-         vsize end = breaks[c];
-         Simple_spacer spacer;
-
-         for (vsize i = breaks[b]; i < end - 1; i++)
-           spacer.add_spring (cols[i].spring_);
-         spacer.add_spring (cols[end-1].end_spring_);
-
-
-         for (vsize i = breaks[b]; i < end; i++)
-           {
-             for (vsize r = 0; r < cols[i].rods_.size (); r++)
-               if (cols[i].rods_[r].r_ < end)
-                 spacer.add_rod (i - st, cols[i].rods_[r].r_ - st, cols[i].rods_[r].dist_);
-             for (vsize r = 0; r < cols[i].end_rods_.size (); r++)
-               if (cols[i].end_rods_[r].r_ == end)
-                 spacer.add_rod (i - st, end - st, cols[i].end_rods_[r].dist_);
-             if (!cols[i].keep_inside_line_.is_empty ())
-               {
-                 spacer.add_rod (i - st, end - st, cols[i].keep_inside_line_[RIGHT]);
-                 spacer.add_rod (0, i - st, -cols[i].keep_inside_line_[LEFT]);
-               }
-           }
-         spacer.solve ((b == 0) ? line_len - indent : line_len, ragged);
-         force[b * breaks.size () + c] = spacer.force_penalty (ragged);
-
-         if (!spacer.fits ())
-           {
-             if (c == b + 1)
-               force[b * breaks.size () + c] = -200000;
-             else
-               force[b * breaks.size () + c] = infinity_f;
-             break;
-           }
-         if (end < cols.size () && cols[end].break_permission_ == force_break)
-           break;
-       }
-    }
-  return force;
-}
-
 Column_x_positions
-get_line_configuration (vector<Grob*> const &columns,
-                       Real line_len,
-                       Real indent,
-                       bool ragged)
+get_line_configuration (vector<Grob *> const &columns,
+                        Real line_len,
+                        Real indent,
+                        bool ragged)
 {
   vector<Column_description> cols;
   Simple_spacer spacer;
   Column_x_positions ret;
 
-  ret.cols_.push_back (dynamic_cast<Item*> (columns[0])->find_prebroken_piece (RIGHT));
+  ret.cols_.push_back (dynamic_cast<Item *> (columns[0])->find_prebroken_piece (RIGHT));
   for (vsize i = 1; i + 1 < columns.size (); i++)
     {
-      if (is_loose (columns[i]))
-       ret.loose_cols_.push_back (columns[i]);
+      if (Paper_column::is_loose (columns[i]))
+        ret.loose_cols_.push_back (columns[i]);
       else
-       ret.cols_.push_back (columns[i]);
+        ret.cols_.push_back (columns[i]);
     }
-  ret.cols_.push_back (dynamic_cast<Item*> (columns.back ())->find_prebroken_piece (LEFT));
+  ret.cols_.push_back (dynamic_cast<Item *> (columns.back ())->find_prebroken_piece (LEFT));
 
   /* since we've already put our line-ending column in the column list, we can ignore
      the end_XXX_ fields of our column_description */
   for (vsize i = 0; i + 1 < ret.cols_.size (); i++)
     {
-      cols.push_back (get_column_description (ret.cols_, i, i == 0));
+      cols.push_back (Column_description::get_column_description (ret.cols_, i, i == 0));
       spacer.add_spring (cols[i].spring_);
     }
   for (vsize i = 0; i < cols.size (); i++)
     {
       for (vsize r = 0; r < cols[i].rods_.size (); r++)
-       spacer.add_rod (i, cols[i].rods_[r].r_, cols[i].rods_[r].dist_);
+        spacer.add_rod (i, cols[i].rods_[r].r_, cols[i].rods_[r].dist_);
 
       if (!cols[i].keep_inside_line_.is_empty ())
-       {
-         spacer.add_rod (i, cols.size (), cols[i].keep_inside_line_[RIGHT]);
-         spacer.add_rod (0, i, -cols[i].keep_inside_line_[LEFT]);
-       }
+        {
+          spacer.add_rod (i, cols.size (), cols[i].keep_inside_line_[RIGHT]);
+          spacer.add_rod (0, i, -cols[i].keep_inside_line_[LEFT]);
+        }
     }
 
   spacer.solve (line_len, ragged);
@@ -505,9 +351,27 @@ get_line_configuration (vector<Grob*> const &columns,
     {
       SCM p = ret.cols_[i]->get_property ("line-break-permission");
       if (p == ly_symbol2scm ("force"))
-       ret.satisfies_constraints_ = false;
+        ret.satisfies_constraints_ = false;
     }
 
   return ret;
 }
 
+#include "ly-smobs.icc"
+
+IMPLEMENT_SIMPLE_SMOBS (Simple_spacer);
+IMPLEMENT_DEFAULT_EQUAL_P (Simple_spacer);
+
+SCM
+Simple_spacer::mark_smob (SCM /* x */)
+{
+  return SCM_EOL;
+}
+
+int
+Simple_spacer::print_smob (SCM /* x */, SCM p, scm_print_state *)
+{
+  scm_puts ("#<Simple spacer>", p);
+  return 1;
+}
+