www.pudn.com > 算法源码集合.rar > TextPanel.java

/* TextPanel class */

import java.util.StringTokenizer;
import java.awt.*;
import java.io.*;
import java.net.*;

/**
 * Text panel to display the source code of the animation algorithm.
 * This class is initialized in the TextFrame class
 * construction during the main frame initialization.
 * Each line of the source code starting with /*- will be ignored.
 * The line after /*------- is considered as the first line of
 * text being displayed.
 * The line before //- is the last line of source code being
 * displayed. The text after this line will no longer be parsed.
 * See also AlgThread for special
 * symbol used in displaying source code in text panel.
 * @see TextFrame
 * @see AlgAnimFrame
 */
public class TextPanel extends Panel {
    String file_name;

    String[] lines;
    private int n_lines;
    private int highlight;
    private int width = 300;
    private int height = 400;
    private int delay = 400;
    private int max_lines = 1000;
    private Dimension offscreensize = null;
    private Image offscreen = null;
    private Graphics offGraphics = null;
    private static final int dx = 2;
    private Font font;
    private int font_size = 10;
    private int line_space = 14;
    private int start;

    static final String ignore_trigger = "/*-";
    static final String start_sign = "/*-------";
    static final String end_sign = "//-";

    private StringBuffer trim(String s) {
        int pos;
        StringBuffer sb;

        pos = s.indexOf(ignore_trigger);
        if (pos >= 0) {
            sb = new StringBuffer(s.substring(0,pos)); //sb.setLength(pos);
        } else 
            sb = new StringBuffer( s );
        return sb;
    }
                
    private String expandtabs( StringBuffer sb ) {
        int i, len;
        len = sb.length();
        i = 0;
        while( i < len ) {
            if ( sb.charAt( i ) == '\t' ) {
	      for (int k = 0; k < 8; k++) {
                sb.setCharAt(i,' ');
                sb.insert(i,' ');
                len++;
	      }
            }
            i++;
        }
        return sb.toString();        
    }

    private void SetFont( Graphics g ) {
        FontMetrics fm;
        this.setBackground( Color.white );
        font = new Font( "Dialog", Font.PLAIN, font_size );
        fm = g.getFontMetrics( font );
        line_space = fm.getHeight() + 1;
        g.setFont( font );
    }

    private int ReadSource( DataInputStream ds ) {
        int cnt = 0;
        StringBuffer sb;
                
        try {
            while( true ) {
                String s;
                if ( (s = ds.readLine()) != null ) {
                    if ( s.startsWith( start_sign ) ) {
                        n_lines = 0;
                        cnt = 0;
                    } else if (s.trim().startsWith(ignore_trigger)) {
                        continue;
                    } else if (s.startsWith(end_sign)) {
                        break;
                    } else {
                        sb = trim( s );
                        /* Copy the buffer into a string */
                        lines[cnt++] = expandtabs( sb );
                    } 
                } else
                    break;
            }
        } catch( IOException e ) {}
        return cnt;
    }

    /**
     * Creates a text panel based on the source file specified in the String
     * passed in as the parameter.
     * @param fn Filename of the source code
     */
    public TextPanel( String fn ) {
        FileInputStream instream;

        file_name = fn;

        File source = new File( file_name );
        
        if ( source.exists() && source.isFile() ) {
            try {
                lines = new String[ max_lines ];
                instream = new FileInputStream( source );
            } catch( IOException e ) {}
            /* Read the file */
        } else
            System.out.println("Cant access [" + file_name + "]");
    }
        
    /**
     * Creates a text frame based on the URL specified by
     * the parameter.
     * @param sourceURL URL of the source code
     * @see URL
     */
    public TextPanel( URL sourceURL) {
        InputStream source = null;
        StringBuffer sb;

        n_lines = 0;
	start = 0;
        file_name = sourceURL.toString();

	try {
	    source = sourceURL.openStream();
	} catch( IOException e ) {
        }

        if ( source != null ) {
            lines = new String[ max_lines ];

            /* Read the file */
            DataInputStream ds = new DataInputStream( source );
            n_lines = ReadSource( ds );
        } 
                        
        highlight = -1;        
    }

    /**
     * Highlight a certain line of the source code. The highlighted line
     * is displayed in RED while the other normal lines are displayed
     * in BLACK. The first line of the source has a line index of 0.
     * @param h The line to be highlighted
     */
    public void Highlight( int h ) {
        highlight = h;
        this.repaint();
    }

    /**
     * Returns the initial dimension of the text panel. This method
     * will be called by the layout manager during the corresponding
     * frame initialization.
     */
    public Dimension getPreferredSize() {
        int h = line_space * (n_lines + 1) - start * line_space;
        return new Dimension( width, h );
    }
    
    /**
     * Return the minimum allowed dimension of the text panel.
     */
    public Dimension getMinimumSize() {
        int h = line_space * (n_lines + 1) - start * line_space;
        return new Dimension( width, h );
    }    

    /**
     * This method is invoked when the repaint() method of the
     * parent class is called. This method eliminates flashing during animation.
     */
    public void update(Graphics g) {
        Dimension d = size();

        if (d.width < 1 || d.height < 1)
            return;

        if ((offscreen == null) || (d.width != offscreensize.width) ||
                (d.height != offscreensize.height)) {
            offscreen = createImage(d.width, d.height);
            offscreensize = d;
            offGraphics = offscreen.getGraphics();
        }

        offGraphics.setColor(Color.white);
        offGraphics.fillRect(0, 0, d.width, d.height);
        paint(offGraphics);
        g.drawImage(offscreen, 0, 0, null);
    }
    
    /**
     * Set the first line to display.
     * @param start First line to display
     * @see TextPanel#getStart
     */
    public void setStart(int start) {
	this.start = start;
    }

    /**
     * This method print the source code starting from the first line specified
     * by setStart(int) on the text panel.
     * @param g Graphical context of the text panel.
     */
    public void paint( Graphics g ) {
        int i, x, y;

        SetFont( g );
        x = dx; y = line_space;

        g.setColor( Color.black );
        for (i=start;i