Uses of Class
fmrisc.ProgramExplorer.InOut.VirtualDirectory

Packages that use VirtualDirectory

Package	Description
fmrisc.ProgramExplorer.InOut
fmrisc.ProgramExplorer.SWT

Uses of VirtualDirectory in fmrisc.ProgramExplorer.InOut

Methods in fmrisc.ProgramExplorer.InOut that return VirtualDirectory

Modifier and Type	Method and Description
static VirtualDirectory	Presenter.present(Formula formula, int fontSize, int width) Present formula in a certain font size.
static VirtualDirectory	Presenter.present(ParamSymbol symbol, int fontSize, int width, int port) Present method in a certain font size.
static VirtualDirectory	Presenter.present(ParamSymbol symbol, Statement statement, Formula formula, boolean pre, java.util.Map<Statement,Formula> preMap, java.util.Map<Statement,Formula> postMap, int fontSize, int width, int port) Present method in a certain font size.

Constructor parameters in fmrisc.ProgramExplorer.InOut with type arguments of type VirtualDirectory

Constructor and Description
VirtualDirectoryServer(java.util.Map<java.lang.String,VirtualDirectory> directories) Creates a new command server (which is already started).

Uses of VirtualDirectory in fmrisc.ProgramExplorer.SWT

Methods in fmrisc.ProgramExplorer.SWT with parameters of type VirtualDirectory

Modifier and Type	Method and Description
java.lang.String	MainSWT.enterVirtualDirectory(VirtualDirectory directory) Enter a new virtual directory.