CallGraphPrinter¶

final class CallGraphPrinter extends Printer ¶: Class providing primitives to write a CallGraph in a HTML file.

Constructors¶

CallGraphPrinter¶

protected CallGraphPrinter(String filename)¶

Parameters

filename – the name of the file in which the HTML code will be written.

Methods¶

bullet¶

public void bullet()¶: Write a bullet in the HTML file.

closeList¶

public void closeList()¶: Write in the HTML file a markup which closes a list.

newLine¶

public void newLine()¶: Print a new line in the HTML file.

openList¶

public void openList()¶: Write in the HTML file a markup which opens a list.

printText¶

public void printText(String text, String kind)¶

Print text in the HTML file.

Parameters

text – the text to print.
kind – (not used).

space¶

public void space(int nbSpaces)¶: Print nbSpaces white spaces in the HTML file.