fmrisc.ProgramExplorer.InOut

Class PropagatorCommand

java.lang.Object

fmrisc.ProgramExplorer.InOut.PropagatorCommand

public final class PropagatorCommand
extends java.lang.Object

The command of propagating a formula through the body of a method.

Method Summary

Modifier and Type	Method and Description
static java.lang.String	execute(TopWindow topWindow, java.util.Map<java.lang.String,java.lang.String> arguments) Execute command.

Methods inherited from class java.lang.Object

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

Method Detail

execute

public static java.lang.String execute(TopWindow topWindow,
                                       java.util.Map<java.lang.String,java.lang.String> arguments)

Execute command.

Parameters:

topWindow - the top window giving the context of the command.

arguments - a mapping of names to values.

Returns:

the content of the output document.