| java.lang.Object de.uka.ilkd.key.ocl.gf.AbstractProber de.uka.ilkd.key.ocl.gf.TypesLoader
TypesLoader | public class TypesLoader extends AbstractProber (Code) | | author: daniels author: If the entries of the refinement menu should have to appear there with author: type information appended to them, then the printnames have to get this author: knowledge at the time of their creation. author: When the entries are displayed, the display text line of GF is *not* looked author: at. And even if it would be, it would mess up the architecture, that the author: printnames, and only they, are responsible for their linearization. author: Appending their type later on would break that architecture. author: So they have to be prepared. |
Field Summary | |
final protected Hashtable | hashtable The hash in which the funs as keys and
types as values get saved. |
Constructor Summary | |
public | TypesLoader(GfCapsule gfCapsule, Hashtable myHashMap) Parameters: gfCapsule - the read/write encapsulation of the running GF Parameters: myHashMap - The hash in which the funs as keys and types as values get saved. |
Method Summary | |
protected void | readMessage() Reads the tree child of the XML from beginning to end. | public void | readTypes() asks GF to print a list of all available printnames and
calls the registered PrintnameManager to register those. |
hashtable | final protected Hashtable hashtable(Code) | | The hash in which the funs as keys and
types as values get saved. Both are Strings.
|
TypesLoader | public TypesLoader(GfCapsule gfCapsule, Hashtable myHashMap)(Code) | | Parameters: gfCapsule - the read/write encapsulation of the running GF Parameters: myHashMap - The hash in which the funs as keys and types as values get saved. Both are Strings. |
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.
|
readTypes | public void readTypes()(Code) | | asks GF to print a list of all available printnames and
calls the registered PrintnameManager to register those.
|
|
|