public abstract class SearchArgsInt extends SearchArgsField
fieldId
Constructor and Description |
---|
SearchArgsInt(int id) |
SearchArgsInt(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() |
int |
getAndErrorIfInvalid(SearchOutput searchOutput) |
int |
getAndErrorIfNegative(SearchOutput searchOutput) |
void |
set(java.lang.String value) |
getFieldId, requiredInputError, storeArgError, unsupportedFeatureError
public SearchArgsInt(int id, java.lang.String value)
public SearchArgsInt(int id)
public java.lang.String get()
get
in class SearchArgsField
public void set(java.lang.String value)
set
in class SearchArgsField
public void compile(CompiledSearchArgs csa, SearchMgr searchMgr, BookManager bookManager, SearchOutput searchOutput, ProofAsst proofAsst, ProofAsstPreferences proofAsstPreferences, VerifyProofs verifyProofs, Cnst cnst)
compile
in class SearchArgsField
public int getAndErrorIfInvalid(SearchOutput searchOutput)
public int getAndErrorIfNegative(SearchOutput searchOutput)