| java.lang.Object
 de.uka.ilkd.key.ocl.gf.GFCommand
de.uka.ilkd.key.ocl.gf.LinkCommand
de.uka.ilkd.key.ocl.gf.SelfPropertiesCommand
| SelfPropertiesCommand | | class SelfPropertiesCommand extends LinkCommand (Code) | | This class is an unclean hack.
The whole refinement menu architecture expected, that everything is probed,
when the refinement menu is getting created.
But for getting only subtype correct properties of self needs a number of
calls to GF, which could be deferred to not make things slower than they
already are.
This deferred probing is done in this class.
author:
daniels |
| SelfPropertiesCommand | | public SelfPropertiesCommand(PrintnameManager manager, GfCapsule gfCapsule, LinPosition focusPos, boolean isAbstract, String toAppend, HashSet processedSubcats)(Code) | | A simple setter constructor, no calculation done here.
Parameters:
manager - The printname manager, that knows, how the propertiesof self should be listed in the refinement menu
Parameters:
gfCapsule - The reader/writer abstraction from GF
Parameters:
focusPos - The position of the GF focus
Parameters:
isAbstract - if Abstract is the current menu language
Parameters:
toAppend - If something should be appended to the command
Parameters:
processedSubcats - Here, the subcat for self is put into |
| produceSubmenu | | Vector produceSubmenu()(Code) | | a Vector of RealCommand containing the suitable propertiesof self at the current focus position.Subtyping is taken into account, so only properties with a subtypeof the supertype of the coerce above (at other places this methodis not applicable) show up in this menu.The method used is similiar to the one for Instances below a coerce. |
|
|