|
| |
|
| java.lang.Object
 de.uka.ilkd.key.ocl.gf.AbstractProber
de.uka.ilkd.key.ocl.gf.RefinementMenuCollector
All known Subclasses: de.uka.ilkd.key.ocl.gf.SubtypingProber,
| RefinementMenuCollector | | class RefinementMenuCollector extends AbstractProber (Code) | | Asks GF the Vector of RefinementMenu entries.
This class can be reused.
author:
daniels |
| Method Summary | |
| protected void | readMenu()
| | public Vector | readRefinementMenu(String command)
Asks GF (the same GF as the one editor has) to execute a command
and returns the read refinement menu that is offered then.
Uses the readRefinementMenu method from GFEditor2 which does not
change any global variable besides GF itself. |
| refinementMenuContent | | Vector refinementMenuContent(Code) | | here the result of this run is saved
|
| RefinementMenuCollector | | public RefinementMenuCollector(GfCapsule gfCapsule)(Code) | | Standard fill-in-the-parameters constructor
Parameters:
gfCapsule - The reader/writer to GF |
| readMenu | | protected void readMenu()(Code) | | parses the refinement menu part and stores it in this.refinementMenuContent
|
| readRefinementMenu | | public Vector readRefinementMenu(String command)(Code) | | Asks GF (the same GF as the one editor has) to execute a command
and returns the read refinement menu that is offered then.
Uses the readRefinementMenu method from GFEditor2 which does not
change any global variable besides GF itself. So that is safe.
Note: This method does not do undo automatically, since it is
intended to run several times in a row, so the u should be part of
next command.
Parameters:
command - The command that is sent to GF. Should contain a mpto make sure that the command at the right position in the ASTis read a Vector of StringTuple like readRefinementMenu does it. |
|
|
|