de.uka.ilkd.key.proof

Interface InstantiationProposer

All Known Implementing Classes:

InnerVariableNamer, InstantiationProposerCollection, VariableNameProposer, VariableNamer

public interface InstantiationProposer

Provides proposals for schema variable instantiations.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getProposal(TacletApp app, SchemaVariable var, Services services, Node undoAnchor, ImmutableList<java.lang.String> previousProposals) Returns an instantiation proposal for the schema variable var.

Method Detail

getProposal

java.lang.String getProposal(TacletApp app,
                             SchemaVariable var,
                             Services services,
                             Node undoAnchor,
                             ImmutableList<java.lang.String> previousProposals)

Returns an instantiation proposal for the schema variable var.

Parameters:

app - the taclet app

var - the schema variable to be instantiated

services - pointer to services object

undoAnchor - node to be used as undo anchor

previousProposals - a list of other proposals which should be taken into account (e.g. for name uniqueness), or null