Package eu.bandm.tools.d2d2.base

Class ModuleRegistry.PrinterInstantiated

java.lang.Object

eu.bandm.tools.d2d2.base.ModuleRegistry.Printer

eu.bandm.tools.d2d2.base.ModuleRegistry.PrinterInstantiated

Enclosing class:

ModuleRegistry

protected class ModuleRegistry.PrinterInstantiated
extends ModuleRegistry.Printer

Auxiliary class for printing the definition contents of instantiated modules.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Set<Module>	done

Fields inherited from class eu.bandm.tools.d2d2.base.ModuleRegistry.Printer

p, separator, width

Constructor Summary

Constructors

Constructor	Description
PrinterInstantiated(PrintStream p, int w)

Method Summary

Modifier and Type	Method	Description
void	printAll()	Print all instantiated modules currently existing.
void	printModule(Module m)	Print one instantiated module.
void	printNamed(String... ss)	Print the instantiated module with the given name, if already existing.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

done

Set<Module> done

Constructor Details

PrinterInstantiated

public PrinterInstantiated(PrintStream p,
 int w)

Method Details

printNamed

public void printNamed(String... ss)

Print the instantiated module with the given name, if already existing.

printAll

public void printAll()

Print all instantiated modules currently existing.

printModule

public void printModule(Module m)

Print one instantiated module.