public interface InstantiationProposer
Modifier and Type | Method and Description |
---|---|
String |
getProposal(TacletApp app,
SchemaVariable var,
Services services,
Node undoAnchor,
ImmutableList<String> previousProposals)
Returns an instantiation proposal for the schema variable var.
|
String getProposal(TacletApp app, SchemaVariable var, Services services, Node undoAnchor, ImmutableList<String> previousProposals)
app
- the taclet appvar
- the schema variable to be instantiatedservices
- pointer to services objectundoAnchor
- node to be used as undo anchorpreviousProposals
- a list of other proposals which should be taken
into account (e.g. for name uniqueness), or null