/[gzz]/gzz/gzz/media/Enfilade1D.java
ViewVC logotype

Diff of /gzz/gzz/media/Enfilade1D.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.11 by tjl, Mon Sep 16 09:09:21 2002 UTC revision 1.12 by tjl, Mon Sep 16 13:53:14 2002 UTC
# Line 109  String rcsid = "$Id$"; Line 109  String rcsid = "$Id$";
109       * and which are contiguous (the latter can be appended to the former).       * and which are contiguous (the latter can be appended to the former).
110       * This is necessary because coniguous spans MUST be appended before       * This is necessary because coniguous spans MUST be appended before
111       * saving, otherwise we'd generate lots of JUNK!       * saving, otherwise we'd generate lots of JUNK!
112         * <p>
113         * Invariants which implementations MUST obey: ( XXX too harsh? )
114         *  <ul>
115         *  <li> For any two enfilades with the same spans in the same
116         *       order (split or joined in any permissible way), this
117         *       method must return the same structure. This is so that
118         *       optimized() enfilades will have the same hash codes.
119         *  <li> The method must be idempotent (which naturally follows
120         *       from the previous point).
121         *  </ul>
122       */       */
123      Enfilade1D optimized() ;      Enfilade1D optimized() ;
124    

Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26