|
| |
|
| java.lang.Object
 de.uka.ilkd.key.ocl.gf.AbstractProber
de.uka.ilkd.key.ocl.gf.RefinementMenuCollector
de.uka.ilkd.key.ocl.gf.SubtypingProber
| SubtypingProber | | class SubtypingProber extends RefinementMenuCollector (Code) | | This class goes through the tree and tries to close all open Subtype lines.
Makes heavy use of instance fields instead of parameters and return values.
I justify that with the rather small size of this class.
Because of this this class has to be reinitialized for each run.
author:
daniels |
| Method Summary | |
| protected void | checkLine(int lineNumber)
looks at the refinement menu for node number lineNumber in the AST
and if there is only one refinement command offered, does
execute this. | | public int | checkSubtyping()
Asks GF for the AST and tries to hunt down all unrefined
Subtype witnesses. | | protected void | readTree()
|
| currentLine | | protected int currentLine(Code) | | the pointer to the line, that has been read last
|
| treeArray | | protected String[] treeArray(Code) | | the GF AST line by line
|
| undoSteps | | protected int undoSteps(Code) | | how many undos are needed to clean up behind this probing
|
| SubtypingProber | | public SubtypingProber(GfCapsule gfCapsule)(Code) | | Standard fill-in-the-parameters constructor
Parameters:
gfCapsule - The encapsulation of GF |
| checkLine | | protected void checkLine(int lineNumber)(Code) | | looks at the refinement menu for node number lineNumber in the AST
and if there is only one refinement command offered, does
execute this.
Parameters:
lineNumber - |
| checkSubtyping | | public int checkSubtyping()(Code) | | Asks GF for the AST and tries to hunt down all unrefined
Subtype witnesses.
the number of undo steps this run needed |
| readTree | | protected void readTree()(Code) | | stores the read GF AST in treeArray
|
| Fields inherited from de.uka.ilkd.key.ocl.gf.RefinementMenuCollector | Vector refinementMenuContent(Code)(Java Doc)
|
|
|
|