home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1995 November / PCWK1195.iso / inne / win95 / sieciowe / hotja32.lzh / hotjava / classsrc / browser / wrlistref.java < prev    next >
Text File  |  1995-08-11  |  2KB  |  71 lines
  1. /*
  2.  * @(#)WRListRef.java    1.9 95/03/14 Jonathan Payne
  3.  *
  4.  * Copyright (c) 1994 Sun Microsystems, Inc. All Rights Reserved.
  5.  *
  6.  * Permission to use, copy, modify, and distribute this software
  7.  * and its documentation for NON-COMMERCIAL purposes and without
  8.  * fee is hereby granted provided that this copyright notice
  9.  * appears in all copies. Please refer to the file "copyright.html"
  10.  * for further important copyright and licensing information.
  11.  *
  12.  * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF
  13.  * THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED
  14.  * TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
  15.  * PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR
  16.  * ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR
  17.  * DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES.
  18.  */
  19.  
  20. package browser;
  21.  
  22. import java.util.*;
  23. import java.io.*;
  24. import awt.*;
  25. import net.*;
  26. import net.www.http.*;
  27. import net.www.html.*;
  28.  
  29. /**
  30.  * Class WRListRef is the super class of all the html tag refs that
  31.  * exhibit list characteristics, such as dl, ol, ul.
  32.  * @version 1.9, 14 Mar 1995
  33.  * @author Jonathan Payne
  34.  */
  35.  
  36. public class WRListRef extends WRTagRef {
  37.     public WRListRef(Tag t, int pos, boolean isEnd, int margin) {
  38.     super(t, pos, isEnd);
  39.     marginIncrement = margin;
  40.     }
  41.  
  42.     public WRListRef(Tag t, int pos, boolean isEnd) {
  43.     this(t, pos, isEnd, 35);
  44.     }
  45.  
  46.     protected int   marginIncrement;
  47.     protected int   margin;
  48.  
  49.     public DisplayItem getNextBullet(WRFormatter f) {
  50.     return null;
  51.     }
  52.  
  53.     public void apply(WRFormatter f) {
  54.     if (!isEnd) {
  55.         f.pushParameters(null);
  56.         margin = f.getLeftMargin() + marginIncrement;
  57.         f.setLeftMargin(margin);
  58.         if (f.listContext() == null) {
  59.         f.breakLine(12);
  60.         }
  61.         f.pushList(this);
  62.     } else {
  63.         f.popList();
  64.         if (f.listContext() == null) {
  65.         f.breakLine(12);
  66.         }
  67.         f.popParameters();
  68.     }
  69.     }
  70. }                        
  71.