public class Part extends SearchArgsComboBox
fieldId
Constructor and Description |
---|
Part(int i) |
Modifier and Type | Method and Description |
---|---|
void |
compile(CompiledSearchArgs csa,
SearchMgr searchMgr,
BookManager bookManager,
SearchOutput searchOutput,
ProofAsst proofAsst,
ProofAsstPreferences proofAsstPreferences,
VerifyProofs verifyProofs,
Cnst cnst) |
findChoice, get, getAndErrorIfBadChoice, set
getFieldId, requiredInputError, storeArgError, unsupportedFeatureError
public void compile(CompiledSearchArgs csa, SearchMgr searchMgr, BookManager bookManager, SearchOutput searchOutput, ProofAsst proofAsst, ProofAsstPreferences proofAsstPreferences, VerifyProofs verifyProofs, Cnst cnst)
compile
in class SearchArgsComboBox