de.uni_paderborn.fujaba.mpEdit
Class Ruler

java.lang.Object
  extended byde.uni_paderborn.fujaba.mpEdit.Ruler

public class Ruler
extends java.lang.Object

The Ruler is used to measure pixel lengths of strings.

Version:
$Revision: 1.14 $
Author:
$Author: schneider $

Field Summary
private  char[] after
          No comment provided by developer, please add a comment to improve documentation.
private  int afterMax
          No comment provided by developer, please add a comment to improve documentation.
private  char[] before
          No comment provided by developer, please add a comment to improve documentation.
private  int beforeMax
          No comment provided by developer, please add a comment to improve documentation.
private  DocMan docMan
          No comment provided by developer, please add a comment to improve documentation.
private  java.awt.FontMetrics fontMetrics
          No comment provided by developer, please add a comment to improve documentation.
private  boolean hasTabs
          No comment provided by developer, please add a comment to improve documentation.
private  int lineLast
          No comment provided by developer, please add a comment to improve documentation.
private  int tabSize
          No comment provided by developer, please add a comment to improve documentation.
 
Constructor Summary
Ruler(DocMan dm)
          Constructor for class Ruler
 
Method Summary
private  void fillBuffers(int line_no)
          No comment provided by developer, please add a comment to improve documentation.
 void invalidate(int first, int last)
          No comment provided by developer, please add a comment to improve documentation.
 int length(int line, int column)
          No comment provided by developer, please add a comment to improve documentation.
 TextPosition position(int line, int x)
          No comment provided by developer, please add a comment to improve documentation.
 void setFontMetrics(java.awt.FontMetrics fm)
          Sets the fontMetrics attribute of the Ruler object
 void setTabSize(int ts)
          Sets the tabSize attribute of the Ruler object
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

docMan

private DocMan docMan
No comment provided by developer, please add a comment to improve documentation.


fontMetrics

private java.awt.FontMetrics fontMetrics
No comment provided by developer, please add a comment to improve documentation.


tabSize

private int tabSize
No comment provided by developer, please add a comment to improve documentation.


before

private char[] before
No comment provided by developer, please add a comment to improve documentation.


after

private char[] after
No comment provided by developer, please add a comment to improve documentation.


hasTabs

private boolean hasTabs
No comment provided by developer, please add a comment to improve documentation.


beforeMax

private int beforeMax
No comment provided by developer, please add a comment to improve documentation.


afterMax

private int afterMax
No comment provided by developer, please add a comment to improve documentation.


lineLast

private int lineLast
No comment provided by developer, please add a comment to improve documentation.

Constructor Detail

Ruler

public Ruler(DocMan dm)
Constructor for class Ruler

Parameters:
dm - No description provided
Method Detail

setFontMetrics

public void setFontMetrics(java.awt.FontMetrics fm)
Sets the fontMetrics attribute of the Ruler object

Parameters:
fm - The new fontMetrics value

setTabSize

public void setTabSize(int ts)
Sets the tabSize attribute of the Ruler object

Parameters:
ts - The new tabSize value

invalidate

public void invalidate(int first,
                       int last)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
first - No description provided
last - No description provided

fillBuffers

private void fillBuffers(int line_no)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line_no - No description provided

length

public int length(int line,
                  int column)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
column - No description provided
Returns:
No description provided

position

public TextPosition position(int line,
                             int x)
No comment provided by developer, please add a comment to improve documentation.

Parameters:
line - No description provided
x - No description provided
Returns:
No description provided