| de.uka.ilkd.key.proof.InstantiationProposer
All known Subclasses: de.uka.ilkd.key.proof.VariableNameProposer, de.uka.ilkd.key.proof.LoopInvariantProposer, de.uka.ilkd.key.proof.InstantiationProposerCollection, de.uka.ilkd.key.logic.VariableNamer,
| InstantiationProposer | | public interface InstantiationProposer (Code) | | Provides proposals for schema variable instantiations.
|
| Method Summary | |
| public String | getProposal(TacletApp app, SchemaVariable var, Services services, Node undoAnchor, ListOfString previousProposals)
Returns an instantiation proposal for the schema variable var.
Parameters:
app - the taclet app
Parameters:
var - the schema variable to be instantiated
Parameters:
services - pointer to services object
Parameters:
undoAnchor - node to be used as undo anchor
Parameters:
previousProposals - a list of other proposals which should be takeninto account (e.g. |
| getProposal | | public String getProposal(TacletApp app, SchemaVariable var, Services services, Node undoAnchor, ListOfString previousProposals)(Code) | | Returns an instantiation proposal for the schema variable var.
Parameters:
app - the taclet app
Parameters:
var - the schema variable to be instantiated
Parameters:
services - pointer to services object
Parameters:
undoAnchor - node to be used as undo anchor
Parameters:
previousProposals - a list of other proposals which should be takeninto account (e.g. for name uniqueness), or null |
|
|