public class SearchMgr
extends java.lang.Object
Constructor and Description |
---|
SearchMgr(ProofAsstPreferences proofAsstPreferences) |
public SearchMgr(ProofAsstPreferences proofAsstPreferences)
public static java.lang.String reformatMessage(java.lang.String s)
public void initOtherEnvAreas(ProofAsst proofAsst, LogicalSystem logicalSystem, Grammar grammar, VerifyProofs verifyProofs, Messages messages)
public void execSearchOptionsNewGeneralSearch(Stmt stmt)
public SearchOutput execStepSearch(DerivationStep derivationStep)
public SearchOutput execSearch()
public java.lang.String execCancelRequestAction()
public SearchOutput execRefineSearch()
public void execShowSearchResults()
public void execMockupSearchResults()
public void execShowSearchOptions(ProofWorksheet proofWorksheet)
public void execMockupSearchOptions(ProofWorksheet proofWorksheet)
public void execShowSearchOptions()
public void execMockupSearchOptions()
public void execShowSearchOptionsErrors()
public void execReshowSearchOptions()
public void execReshowSearchResults()
public void execApplySearchSelection(int i)
public void execReshowProofAsstGUI()
public void execShowSearchOptionsPopupMessage(java.lang.String s)
public void execShowSearchResultsPopupMessage(java.lang.String s)
public void execSearchOptionsIncreaseFontSize()
public void execSearchOptionsDecreaseFontSize()
public void execSearchResultsIncreaseFontSize()
public void execSearchResultsDecreaseFontSize()
public boolean popupMessageSearchOptionsTestMode()
public void searchOptionsSearchButtonPressed()
public void searchOptionsCancelButtonPressed()
public void searchOptionsNewButtonPressed()
public void searchOptionsRefineButtonPressed()
public void searchOptionsPAButtonPressed()
public void searchOptionsSRButtonPressed()
public void showSearchOptionsHelp()
public void searchOptionsPlusButtonPressed()
public void searchOptionsMinusButtonPressed()
public int increaseSearchOptionsFontSize()
public int decreaseSearchOptionsFontSize()
public boolean popupMessageSearchResultsTestMode()
public void searchResultsApplyButtonPressed()
public void searchResultsCancelButtonPressed()
public void searchResultsPAButtonPressed()
public void searchResultsSOButtonPressed()
public void showSearchResultsHelp()
public void searchResultsPlusButtonPressed()
public void searchResultsMinusButtonPressed()
public int increaseSearchResultsFontSize()
public int decreaseSearchResultsFontSize()
public java.awt.Dimension getSearchSelectionPreferredSize()
public Grammar getGrammar()
public ScopeFrame getComboFrame()
public Cnst getProvableLogicStmtTyp()
public LogicalSystem getLogicalSystem()
public boolean getStepSearchMode()
public ProofAsst getProofAsst()
public ProofAsstPreferences getProofAsstPreferences()
public StepUnifier getStepUnifier()
public SearchUnifier getSearchUnifier()
public WorkVarManager getWorkVarManager()
public SearchArgs getSearchArgs()
public SearchOutput getSearchOutput()
public BookManager getBookManager()
public java.awt.Font getSearchOptionsFont()
public int getSearchOptionsFontSize()
public java.awt.Font getSearchResultsFont()
public int getSearchResultsFontSize()