public abstract class SearchArgsCheckBox extends SearchArgsField
fieldId
Constructor and Description |
---|
SearchArgsCheckBox(int id) |
SearchArgsCheckBox(int id,
java.lang.String value) |
Modifier and Type | Method and Description |
---|---|
void |
compile(CompiledSearchArgs csa,
SearchMgr searchMgr,
BookManager bookManager,
SearchOutput searchOutput,
ProofAsst proofAsst,
ProofAsstPreferences proofAsstPreferences,
VerifyProofs verifyProofs,
Cnst cnst) |
java.lang.String |
get() |
boolean |
getBool() |
void |
set(java.lang.String value) |
getFieldId, requiredInputError, storeArgError, unsupportedFeatureError
public SearchArgsCheckBox(int id, java.lang.String value)
public SearchArgsCheckBox(int id)
public java.lang.String get()
get
in class SearchArgsField
public void set(java.lang.String value)
set
in class SearchArgsField
public boolean getBool()
public void compile(CompiledSearchArgs csa, SearchMgr searchMgr, BookManager bookManager, SearchOutput searchOutput, ProofAsst proofAsst, ProofAsstPreferences proofAsstPreferences, VerifyProofs verifyProofs, Cnst cnst)
compile
in class SearchArgsField