public interface InstantiationProposer
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.
|
java.lang.String getProposal(TacletApp app, SchemaVariable var, Services services, Node undoAnchor, ImmutableList<java.lang.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