| java.lang.Object de.uka.ilkd.key.ocl.gf.AbstractProber de.uka.ilkd.key.ocl.gf.PrintnameLoader
PrintnameLoader | public class PrintnameLoader extends AbstractProber (Code) | | author: daniels author: asks GF to print all available printnames, parses that list and generates author: the suiting Printname objects. |
Method Summary | |
protected void | readMessage() Reads the tree child of the XML from beginning to end. | protected void | readPrintnames(String lang) asks GF to print a list of all available printnames and
calls the registered PrintnameManager to register those.
Parameters: lang - The module for which the grammars should be printed. |
PrintnameLoader | public PrintnameLoader(GfCapsule gfCapsule, PrintnameManager pm, boolean withTypes)(Code) | | an initializing constructor, does nothing except setting fields
Parameters: gfCapsule - the read/write encapsulation of GF Parameters: pm - The PrintnameManager on which the read Printnameswill be registered with their fun name. Parameters: withTypes - true iff the Printnames should have their type appended to their display names |
readMessage | protected void readMessage()(Code) | | Reads the tree child of the XML from beginning to end.
Sets autocompleted to false, if the focus position is open.
|
readPrintnames | protected void readPrintnames(String lang)(Code) | | asks GF to print a list of all available printnames and
calls the registered PrintnameManager to register those.
Parameters: lang - The module for which the grammars should be printed. If lang is "" or null, the last read grammar module is used. |
|
|