This class is an interface for ILPSystemDisplayer to add to its output specialized information about ILP variables and constraints generators. More...

#include <otawa/display/ILPSystemDisplayer.h>

Public Member Functions
virtual cstring	title (void) const =0
	This method is called to get the title of a specific part of the output. More...

virtual void	display (io::Output &out, WorkSpace ws, ILPSystemDisplayer displayer)=0
	This method is called when the content of the specific part need to be generated. More...

Detailed Description

This class is an interface for ILPSystemDisplayer to add to its output specialized information about ILP variables and constraints generators.

ILPSystemDisplayer retrieves the list of add-ons put on the workspace using the ILPSystemDisplayer::ADDON identifier.

Member Function Documentation

void otawa::display::ILPSystemAddon::display	(	io::Output &	out,
		WorkSpace *	ws,
		ILPSystemDisplayer *	displayer
	)

pure virtual

This method is called when the content of the specific part need to be generated.

The result must be HTML plain text put to the given output stream.

Note: If header are used, they must start at level 2.

Parameters

out	Output channel to write to.
ws	Current workspace.
displayer	Current displayer.

cstring otawa::display::ILPSystemAddon::title ( void ) const

pure virtual

This method is called to get the title of a specific part of the output.

Returns: Specific part title.

The documentation for this class was generated from the following files:

include/otawa/display/ILPSystemDisplayer.h
src/odisplay/ILPSystemDisplayer.cpp

Public Member Functions

Detailed Description

Member Function Documentation