| java.lang.Object
 de.uka.ilkd.key.ocl.gf.AbstractProber
de.uka.ilkd.key.ocl.gf.SelfResultProber
| SelfResultProber | | class SelfResultProber extends AbstractProber (Code) | | asks GF if the given commands leads to a situation, where
something could be filled in automatically.
This class is meant for self and result.
author:
daniels |
| Field Summary | |
| protected boolean | autocompleted
This field is true in the beginning of each run, and
set to false, if the focus position when checking is found
to be open. | | protected static Logger | nogger
|
| Method Summary | |
| public boolean | isAutoCompletable(String gfCommand, int chainCount)
asks GF if the given commands leads to a situation, where
something could be filled in automatically.
This function is meant for self and result.
IMPORTANT: Must be called after </gfedit>
when no other method reads sth. | | protected void | readTree()
Reads the tree child of the XML from beginning to end. |
| autocompleted | | protected boolean autocompleted(Code) | | This field is true in the beginning of each run, and
set to false, if the focus position when checking is found
to be open.
|
| SelfResultProber | | public SelfResultProber(GfCapsule gfCapsule)(Code) | | A constructor which sets some fields
Parameters:
gfCapsule - The encapsulation of the running GF process |
| isAutoCompletable | | public boolean isAutoCompletable(String gfCommand, int chainCount)(Code) | | asks GF if the given commands leads to a situation, where
something could be filled in automatically.
This function is meant for self and result.
IMPORTANT: Must be called after </gfedit>
when no other method reads sth. from GF.
It uses the same GF as everything else, since it tests if
sth. is possible there.
Parameters:
gfCommand - the command to be tested.One has to chain a mp command to make GF go to the right place afterwards
Parameters:
chainCount - The number of chained commands in gfCommand.So many undos are done to clean up afterwards. true iff sth. could be filled in automatically |
| readTree | | protected void readTree()(Code) | | Reads the tree child of the XML from beginning to end.
Sets autocompleted to false, if the focus position is open.
|
|
|