jml2b.util
Class Tabs

java.lang.Object
  jml2b.util.Profiler
      jml2b.util.Tabs

public class Tabs

extends Profiler

Simple class that simplifies handling tabs. It is used to pretty-print the tree.

Author:

A. Requet

Field Summary

static int

DEFAULT_TAB_SIZE

Constructor Summary

Tabs()

Method Summary

void	dec()
void	inc()
java.lang.String	toString() convert the given set of tabs to a string.

Methods inherited from class jml2b.util.Profiler

runGC

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

DEFAULT_TAB_SIZE

public static final int DEFAULT_TAB_SIZE

See Also:

Constant Field Values

Constructor Detail

Tabs

public Tabs()

Method Detail

inc

public void inc()

dec

public void dec()

toString

public java.lang.String toString()

convert the given set of tabs to a string.