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