public class NameRecorder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<Name> |
post |
private ImmutableList<Name> |
pre |
Constructor and Description |
---|
NameRecorder() |
Modifier and Type | Method and Description |
---|---|
void |
addProposal(Name proposal) |
NameRecorder |
copy() |
Name |
getProposal() |
ImmutableList<Name> |
getProposals() |
void |
setProposals(ImmutableList<Name> proposals) |
private ImmutableList<Name> pre
private ImmutableList<Name> post
public void setProposals(ImmutableList<Name> proposals)
public ImmutableList<Name> getProposals()
public void addProposal(Name proposal)
public Name getProposal()
public NameRecorder copy()