A B C D E F G H I K L M N O P Q R S T U V W X

G

generate(String, String, String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex

Generate LaTeX file out of XML file.

generate(File, File, String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Latex

Generate LaTeX file out of XML file.

generate(String, String, String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Wiki

Generate wiki file(s) out of XML file.

generate(File, File, String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Wiki

Generate LaTeX file out of XML file.

generate(String, String) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Xml

Generate LaTeX file out of XML file.

generate(File, File) - Static method in class org.qedeq.kernel.rel.test.text.Xml2Xml

Generate LaTeX file out of XML file.

get(int) - Method in interface org.qedeq.kernel.base.module.AuthorList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.ChapterList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.ImportList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.LatexList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.LinkList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.LiteratureItemList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.LocationList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.ProofList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.SectionList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.SubsectionList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.UsedByList

Get index-th element of list.

get(int) - Method in interface org.qedeq.kernel.base.module.VariableList

Get index-th element of list.

get(int) - Method in class org.qedeq.kernel.common.SyntaxExceptionList

Get i-th exception.

get(int) - Method in class org.qedeq.kernel.common.XmlFileExceptionList

Get i-th exception.

get(int) - Method in class org.qedeq.kernel.dto.module.AuthorListVo

get(int) - Method in class org.qedeq.kernel.dto.module.ChapterListVo

get(int) - Method in class org.qedeq.kernel.dto.module.ImportListVo

get(int) - Method in class org.qedeq.kernel.dto.module.LatexListVo

get(int) - Method in class org.qedeq.kernel.dto.module.LinkListVo

get(int) - Method in class org.qedeq.kernel.dto.module.LiteratureItemListVo

get(int) - Method in class org.qedeq.kernel.dto.module.LocationListVo

get(int) - Method in class org.qedeq.kernel.dto.module.ProofListVo

get(int) - Method in class org.qedeq.kernel.dto.module.SectionListVo

get(int) - Method in class org.qedeq.kernel.dto.module.SubsectionListVo

get(int) - Method in class org.qedeq.kernel.dto.module.UsedByListVo

get(int) - Method in class org.qedeq.kernel.dto.module.VariableListVo

get(int) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList

Get i-th parameter.

get(String) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList

Get parameter by name.

get(int) - Method in class org.qedeq.kernel.xml.parser.DefaultXmlFileExceptionList

Get i-th exception.

getAddress() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get module address.

getAddress() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getAddress() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get module address.

getAddress() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get address of module.

getAddress() - Method in class org.qedeq.kernel.common.SourceArea

Get address (or something to identify it) of input source.

getAddress() - Method in class org.qedeq.kernel.common.SourcePosition

Get address (or something to identify it) of input source.

getAddress() - Method in class org.qedeq.kernel.utility.TextInput

Get address (or something to identify it) of input source.

getAllLoadedModules() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

getAllLoadedModules() - Method in class org.qedeq.kernel.bo.load.Modules

Get list of all successfully loaded modules.

getAllLoadedModules() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Get list of all currently loaded QEDEQ modules.

getAllLoadedModules() - Method in class org.qedeq.kernel.context.KernelContext

getArgumentNumber() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

Get number of arguments for the defined object.

getArgumentNumber() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

Get number of arguments for the defined object.

getArgumentNumber() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getArgumentNumber() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getAtom() - Method in interface org.qedeq.kernel.base.list.Element

Return this element as an Atom.

getAtom() - Method in class org.qedeq.kernel.dto.list.DefaultAtom

getAtom() - Method in class org.qedeq.kernel.dto.list.DefaultElementList

getAttribute() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get attribute.

getAuthor() - Method in class org.qedeq.kernel.xml.handler.module.AuthorHandler

Get author.

getAuthorList() - Method in interface org.qedeq.kernel.base.module.Header

Get author list.

getAuthorList() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getAuthorList() - Method in class org.qedeq.kernel.xml.handler.module.AuthorListHandler

Get list of authors.

getAxiom() - Method in interface org.qedeq.kernel.base.module.NodeType

Get axiom, if this is an instance of Axiom.

getAxiom() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getAxiom() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getAxiom() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getAxiom() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getAxiom() - Method in class org.qedeq.kernel.dto.module.RuleVo

getAxiom() - Method in class org.qedeq.kernel.xml.handler.module.AxiomHandler

Get axiom.

getBeforeLastElement() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get XPath element name before last.

getBlocked() - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTransverser

Is further transversing blocked?

getBoolean(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Returns the value for a key as an Boolean.

getBooleanValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get Boolean parameter value.

getBoundSubjectVariables(Element) - Static method in class org.qedeq.kernel.bo.logic.FormulaChecker

Return all bound subject variables of an element.

getBufferDirectory() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

getBufferDirectory() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Get buffer directory for QEDEQ module files.

getBufferDirectory() - Method in class org.qedeq.kernel.config.QedeqConfig

Get local file directory for module buffering.

getBufferDirectory() - Method in class org.qedeq.kernel.context.KernelContext

getChapter() - Method in class org.qedeq.kernel.xml.handler.module.ChapterHandler

Get parsed chapter.

getChapterList() - Method in interface org.qedeq.kernel.base.module.Qedeq

Get all chapters.

getChapterList() - Method in class org.qedeq.kernel.bo.load.DefaultQedeqBo

getChapterList() - Method in class org.qedeq.kernel.dto.module.QedeqVo

getChar() - Method in class org.qedeq.kernel.latex.LatexTextParser

Reads a single character and does not change the reading position.

getChar() - Method in class org.qedeq.kernel.parser.MathParser

Reads a single character and does not change the reading position.

getChar() - Method in class org.qedeq.kernel.parser.MementoTextInput

Reads a single character and does not change the reading position.

getChar() - Method in class org.qedeq.kernel.utility.TextInput

Reads a single character and does not change the reading position.

getChar(int) - Method in class org.qedeq.kernel.utility.TextInput

Reads a single character and does not change the reading position.

getClassName(Class) - Static method in class org.qedeq.kernel.utility.IoUtility

Get non qualified class name.

getCode() - Method in class org.qedeq.kernel.bo.module.LoadingState

Get module state code.

getCode() - Method in class org.qedeq.kernel.bo.module.MathematicalState

Get module state code.

getColumn() - Method in class org.qedeq.kernel.common.SourcePosition

Get column number, starting with 1.

getColumn() - Method in class org.qedeq.kernel.parser.MementoTextInput

Returns the current column number.

getColumn() - Method in class org.qedeq.kernel.utility.TextInput

Returns the current column number.

getComment() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter comment.

getConfig() - Method in interface org.qedeq.kernel.bo.module.KernelState

Get access to configuration parameters.

getConfig() - Method in class org.qedeq.kernel.context.KernelContext

getConfigDescription() - Method in class org.qedeq.kernel.config.ConfigAccess

Get description for config file.

getConfigDirectory() - Method in class org.qedeq.kernel.config.ConfigAccess

Get config directory.

getConfigFile() - Method in class org.qedeq.kernel.config.ConfigAccess

Get config file.

getContext() - Method in class org.qedeq.kernel.bo.module.ModuleDataException

Get context information about error location.

getCurrentBooleanValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current Boolean parameter value.

getCurrentContext() - Method in class org.qedeq.kernel.bo.control.QedeqBoDuplicateLanguageChecker

Get current context within original.

getCurrentContext() - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

Get current context within original.

getCurrentContext() - Method in class org.qedeq.kernel.bo.load.QedeqBoFactory

Get current context within original.

getCurrentContext() - Method in class org.qedeq.kernel.bo.logic.FormulaChecker

Get current context within original.

getCurrentContext() - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTransverser

Get current context within original.

getCurrentDoubleValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current Double parameter value.

getCurrentFileValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current File parameter value.

getCurrentIntegerValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current Integer parameter value.

getCurrentStringValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current parameter value as String.

getCurrentValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get current parameter value.

getDate(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Returns the value for a key as an Date.

getDefinition() - Method in class org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

Get definition.

getDefinition() - Method in class org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

Get definition.

getDescription() - Method in interface org.qedeq.kernel.base.module.Axiom

Get description.

getDescription() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

Get description.

getDescription() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

Get description.

getDescription() - Method in interface org.qedeq.kernel.base.module.Proposition

Get description.

getDescription() - Method in interface org.qedeq.kernel.base.module.Rule

Get rule description.

getDescription() - Method in class org.qedeq.kernel.common.XmlFileException

Get detailed error description.

getDescription() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getDescription() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getDescription() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getDescription() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getDescription() - Method in class org.qedeq.kernel.dto.module.RuleVo

getDescriptiveKernelVersion() - Method in class org.qedeq.kernel.context.KernelContext

Get descriptive version information of this kernel.

getDoubleValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get Double parameter value.

getEditedQedeq() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane

Get QEDEQ text, if QEDEQ text is editable.

getElement(int) - Method in interface org.qedeq.kernel.base.list.ElementList

Get the requested argument.

getElement() - Method in interface org.qedeq.kernel.base.module.Formula

Get formula or term.

getElement() - Method in interface org.qedeq.kernel.base.module.Term

Get term.

getElement() - Method in class org.qedeq.kernel.bo.logic.LogicalCheckException

Get the element.

getElement(int) - Method in class org.qedeq.kernel.dto.list.DefaultElementList

getElement() - Method in class org.qedeq.kernel.dto.module.FormulaVo

getElement() - Method in class org.qedeq.kernel.dto.module.TermVo

getElement() - Method in class org.qedeq.kernel.xml.handler.list.ElementHandler

Get parsed element.

getElementName(int) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get i-th Element name.

getElementOccurrence(int) - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get i-th occurrence number.

getElements() - Method in interface org.qedeq.kernel.base.list.ElementList

Get all arguments as an list.

getElements() - Method in class org.qedeq.kernel.dto.list.DefaultElementList

getEmail() - Method in interface org.qedeq.kernel.base.module.Author

Get email address of author.

getEmail() - Method in interface org.qedeq.kernel.base.module.Header

Get email address of module administrator.

getEmail() - Method in class org.qedeq.kernel.dto.module.AuthorVo

getEmail() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getEndLocation() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get end location.

getEndPosition() - Method in class org.qedeq.kernel.common.SourceArea

Get end position.

getEndSymbol() - Method in class org.qedeq.kernel.parser.Operator

Returns symbol or token to identify the end of this operator.

getEqualityOperator() - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

getEqualityOperator() - Method in interface org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker

Get equality operator.

getEqualityOperator() - Method in class org.qedeq.kernel.bo.logic.EverythingExists

getError() - Method in class org.qedeq.kernel.utility.TextOutput

Get IO exception that occurred - if any.

getErrorCode() - Method in class org.qedeq.kernel.common.QedeqException

Get error code.

getErrorCode() - Method in class org.qedeq.kernel.common.XmlFileException

Get error code.

getErrorPosition() - Method in class org.qedeq.kernel.common.SyntaxException

Get error position.

getException() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getException() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get exception.

getExceptionList() - Method in class org.qedeq.kernel.xml.parser.SaxParser

Get errors that occurred during last parsing.

getFileName() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get module file name.

getFileName() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get module file name.

getFileName() - Method in class org.qedeq.kernel.config.ConfigAccess

Get config file name.

getFileName(ModuleContext) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPathOld

Deprecated.

getFileValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get File parameter value.

getFind() - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Get searched XPath.

getFormula() - Method in interface org.qedeq.kernel.base.module.Axiom

Get formula that is an axiom.

getFormula() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

Get term that defines the object.

getFormula() - Method in interface org.qedeq.kernel.base.module.Proposition

Get formula that is a proposition.

getFormula() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getFormula() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getFormula() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getFormula() - Method in class org.qedeq.kernel.xml.handler.module.FormulaHandler

Get parsed result.

getFunctionDefinition() - Method in interface org.qedeq.kernel.base.module.NodeType

Get definition, if this is an instance of FunctionDefinition.

getFunctionDefinition() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getFunctionDefinition() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getFunctionDefinition() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getFunctionDefinition() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getFunctionDefinition() - Method in class org.qedeq.kernel.dto.module.RuleVo

getGenerationDirectory() - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

getGenerationDirectory() - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Get directory for generated files.

getGenerationDirectory() - Method in class org.qedeq.kernel.config.QedeqConfig

Get local file directory to save generated files in.

getGenerationDirectory() - Method in class org.qedeq.kernel.context.KernelContext

getHeader() - Method in interface org.qedeq.kernel.base.module.Qedeq

Get module header.

getHeader() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get address header (including protocol, host, port, user) but without file path.

getHeader() - Method in class org.qedeq.kernel.bo.load.DefaultQedeqBo

getHeader() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get address header (including protocol, host, port, user) but without file path.

getHeader() - Method in class org.qedeq.kernel.dto.module.QedeqVo

getHeader() - Method in class org.qedeq.kernel.xml.handler.module.HeaderHandler

Get header of qedeq module.

getId() - Method in interface org.qedeq.kernel.base.module.Node

Get label of node.

getId() - Method in interface org.qedeq.kernel.base.module.Subsection

Get label of node.

getId() - Method in class org.qedeq.kernel.dto.module.NodeVo

getId() - Method in class org.qedeq.kernel.dto.module.SubsectionVo

getImportList() - Method in interface org.qedeq.kernel.base.module.Header

Get list of needed modules.

getImportList() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getImportList() - Method in class org.qedeq.kernel.xml.handler.module.ImportListHandler

Get parsed result.

getInstance() - Static method in class org.qedeq.kernel.bo.logic.EverythingExists

Get one instance of this class.

getInstance() - Static method in class org.qedeq.kernel.context.KernelContext

Get instance of kernel context.

getInstance() - Static method in class org.qedeq.kernel.log.ModuleEventLog

Get instance of Logger.

getInstance() - Static method in class org.qedeq.kernel.log.QedeqLog

Get instance of Logger.

getInteger(String) - Method in class org.qedeq.kernel.config.ConfigAccess

Get int property.

getInteger(String, int) - Method in class org.qedeq.kernel.config.ConfigAccess

Return int property.

getInteger(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Returns the value for a key as an Integer.

getIntegerValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get Integer parameter value.

getIntroduction() - Method in interface org.qedeq.kernel.base.module.Chapter

Get chapter introduction.

getIntroduction() - Method in interface org.qedeq.kernel.base.module.Section

Get section introduction.

getIntroduction() - Method in class org.qedeq.kernel.dto.module.ChapterVo

getIntroduction() - Method in class org.qedeq.kernel.dto.module.SectionVo

getItem() - Method in interface org.qedeq.kernel.base.module.LiteratureItem

Get item.

getItem() - Method in class org.qedeq.kernel.dto.module.LiteratureItemVo

getKernelContext() - Static method in class org.qedeq.kernel.rel.test.text.KernelFacade

getKernelVersion() - Method in class org.qedeq.kernel.context.KernelContext

Get version of this kernel.

getKernelVersionDirectory() - Method in interface org.qedeq.kernel.bo.module.Kernel

Get relative version directory of this kernel.

getKernelVersionDirectory() - Method in class org.qedeq.kernel.context.KernelContext

Get relative version directory of this kernel.

getKeySortedStringValues() - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Get the attribute values, sorted by their keys.

getKind() - Method in interface org.qedeq.kernel.base.module.Proof

Get type of proof.

getKind() - Method in class org.qedeq.kernel.dto.module.ProofVo

getLabel() - Method in interface org.qedeq.kernel.base.module.Import

Get label for the imported module.

getLabel() - Method in interface org.qedeq.kernel.base.module.LiteratureItem

Get item label.

getLabel() - Method in class org.qedeq.kernel.dto.module.ImportVo

getLabel() - Method in class org.qedeq.kernel.dto.module.LiteratureItemVo

getLabel() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter label.

getLanguage() - Method in interface org.qedeq.kernel.base.module.Latex

Get language of LaTeX text.

getLanguage() - Method in class org.qedeq.kernel.dto.module.LatexVo

getLastElement() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get last XPath element name.

getLatex() - Method in interface org.qedeq.kernel.base.module.Latex

Get LaTeX text.

getLatex() - Method in interface org.qedeq.kernel.base.module.Subsection

Get the LaTeX text.

getLatex() - Method in class org.qedeq.kernel.dto.module.LatexVo

getLatex() - Method in class org.qedeq.kernel.dto.module.SubsectionVo

getLatex() - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler

Get parsed result.

getLatexList() - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler

Get parsed result.

getLatexPattern() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

Get LaTeX output for definition.

getLatexPattern() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

Get LaTeX output for definition.

getLatexPattern() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getLatexPattern() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getLevel() - Method in interface org.qedeq.kernel.base.module.Node

Get level of node.

getLevel() - Method in interface org.qedeq.kernel.base.module.Proof

Get level of proof.

getLevel() - Method in interface org.qedeq.kernel.base.module.Subsection

Get level of subsection.

getLevel() - Method in class org.qedeq.kernel.dto.module.NodeVo

getLevel() - Method in class org.qedeq.kernel.dto.module.ProofVo

getLevel() - Method in class org.qedeq.kernel.dto.module.SubsectionVo

getLevel() - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Get current tag level.

getLevel() - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

Get current level.

getLine() - Method in class org.qedeq.kernel.common.SourcePosition

Get line number, starting with 1.

getLine() - Method in class org.qedeq.kernel.common.XmlFileException

Get line that is referenced by XmlFileException.getSourceArea().

getLine() - Method in class org.qedeq.kernel.parser.MementoTextInput

Returns the current line.

getLine() - Method in class org.qedeq.kernel.utility.TextInput

Returns the current line.

getLineWrap() - Method in class org.qedeq.kernel.rel.test.gui.ParserPane

Get line wrap.

getLineWrap() - Method in class org.qedeq.kernel.rel.test.gui.QedeqPane

Get line wrap.

getLinkList() - Method in interface org.qedeq.kernel.base.module.Rule

Get links necessary for having this rule.

getLinkList() - Method in class org.qedeq.kernel.dto.module.RuleVo

getList() - Method in interface org.qedeq.kernel.base.list.Element

Return this element as a Atom.

getList() - Method in class org.qedeq.kernel.dto.list.DefaultAtom

getList() - Method in class org.qedeq.kernel.dto.list.DefaultElementList

getList() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get value list.

getLiteratureItem() - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

Get section.

getLiteratureItemList() - Method in interface org.qedeq.kernel.base.module.Qedeq

Get bibliography.

getLiteratureItemList() - Method in class org.qedeq.kernel.bo.load.DefaultQedeqBo

getLiteratureItemList() - Method in class org.qedeq.kernel.dto.module.QedeqVo

getLiteratureItemList() - Method in class org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler

Get list of literatureItems.

getLoadingState() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getLoadingState() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get module loading state.

getLocalAddress() - Method in class org.qedeq.kernel.common.SourceArea

Get local address (or something to identify it) of input source.

getLocalAddress() - Method in class org.qedeq.kernel.common.SourcePosition

Get local address (or something to identify it) of input source.

getLocalAddress() - Method in class org.qedeq.kernel.utility.TextInput

Get local address (or something to identify it) of input source.

getLocalModulesDirectory() - Method in class org.qedeq.kernel.config.QedeqConfig

Get directory for newly created QEDEQ module files.

getLocalName(ModuleAddress) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

Transform an URL address into a local file path where the QEDEQ module is buffered.

getLocation() - Method in interface org.qedeq.kernel.base.module.Location

Get location for a module.

getLocation() - Method in class org.qedeq.kernel.dto.module.LocationVo

getLocationList() - Method in interface org.qedeq.kernel.base.module.Specification

Get list of locations for the module.

getLocationList() - Method in class org.qedeq.kernel.dto.module.SpecificationVo

getLocationWithinModule() - Method in class org.qedeq.kernel.bo.module.ModuleContext

Get location information where are we within the module.

getLogFilePath() - Method in class org.qedeq.kernel.config.QedeqConfig

Get local file location for log file.

getMax() - Method in class org.qedeq.kernel.parser.Operator

Get maximum argument number.

getMaximalRuleVersion() - Method in class org.qedeq.kernel.context.KernelContext

Get maximal supported rule version of this kernel.

getMaximumPosition() - Method in class org.qedeq.kernel.utility.TextInput

Returns the highest position number possible.

getMessage() - Method in class org.qedeq.kernel.common.XmlFileException

getMin() - Method in class org.qedeq.kernel.parser.Operator

Get minimum argument number.

getModule() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getModule() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get module.

getModuleAddress() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getModuleAddress() - Method in class org.qedeq.kernel.bo.load.DefaultQedeqBo

Get physical addresses of this module.

getModuleAddress() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get ModuleAddress of module.

getModuleAddress() - Method in interface org.qedeq.kernel.bo.module.QedeqBo

Get physical addresses of this module.

getModuleFileName(Specification) - Static method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get the file name of the specified module.

getModuleHistory() - Method in class org.qedeq.kernel.config.QedeqConfig

Get history of modules, which were tried to load.

getModuleLabels() - Method in class org.qedeq.kernel.bo.load.DefaultQedeqBo

Get module label associations for this module.

getModuleLabels() - Method in interface org.qedeq.kernel.bo.module.QedeqBo

Get module label associations for this module.

getModuleLocation() - Method in class org.qedeq.kernel.bo.module.ModuleContext

Get location information about module.

getModulePaths(QedeqBo, Specification) - Static method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get all potential module addresses from a module specification.

getModuleProperties(String) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

getModuleProperties(String) - Method in class org.qedeq.kernel.bo.load.Modules

Get module properties for an URL.

getModuleProperties(ModuleAddress) - Method in class org.qedeq.kernel.bo.load.Modules

Get module properties for an module address.

getModuleProperties(String) - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Get ModuleProperties for an address.

getModuleProperties(String) - Method in class org.qedeq.kernel.context.KernelContext

getName() - Method in interface org.qedeq.kernel.base.module.Author

Get name of author.

getName() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

This name together with FunctionDefinition.getArgumentNumber() identifies a function.

getName() - Method in interface org.qedeq.kernel.base.module.Node

Set name of node.

getName() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

This name together with PredicateDefinition.getArgumentNumber() identifies a predicate.

getName() - Method in interface org.qedeq.kernel.base.module.Rule

Get rule name.

getName() - Method in interface org.qedeq.kernel.base.module.Specification

Get module name.

getName() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get name of module (file name without .xml).

getName() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getName() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get name of module (file name without .xml).

getName() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get name of module.

getName() - Method in class org.qedeq.kernel.dto.module.AuthorVo

getName() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getName() - Method in class org.qedeq.kernel.dto.module.NodeVo

getName() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getName() - Method in class org.qedeq.kernel.dto.module.RuleVo

getName() - Method in class org.qedeq.kernel.dto.module.SpecificationVo

getName() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter name.

getName() - Method in class org.qedeq.kernel.utility.TextOutput

Get name of output file.

getNoNumber() - Method in interface org.qedeq.kernel.base.module.Chapter

Get chapter numbering.

getNoNumber() - Method in interface org.qedeq.kernel.base.module.Section

Get section numbering.

getNoNumber() - Method in class org.qedeq.kernel.dto.module.ChapterVo

getNoNumber() - Method in class org.qedeq.kernel.dto.module.SectionVo

getNode(String) - Method in class org.qedeq.kernel.bo.module.ModuleLabels

Get node for given id.

getNode() - Method in class org.qedeq.kernel.xml.handler.module.NodeHandler

Get node.

getNodeType() - Method in interface org.qedeq.kernel.base.module.Node

Get node content.

getNodeType() - Method in class org.qedeq.kernel.dto.module.NodeVo

getNonFormalProof() - Method in interface org.qedeq.kernel.base.module.Proof

Get proof content.

getNonFormalProof() - Method in class org.qedeq.kernel.dto.module.ProofVo

getNumber() - Method in class org.qedeq.kernel.dto.list.Enumerator

Gets current number.

getNumberOfLoadedModules() - Method in class org.qedeq.kernel.bo.load.Modules

Get number of QEDEQ modules in STATE_LOADED.

getOperator() - Method in interface org.qedeq.kernel.base.list.ElementList

Get the operator.

getOperator() - Method in class org.qedeq.kernel.dto.list.DefaultElementList

getOperator(String) - Method in class org.qedeq.kernel.parser.AsciiMathParser

getOperator(String) - Method in class org.qedeq.kernel.parser.LatexMathParser

getOperator(String) - Method in class org.qedeq.kernel.parser.MathParser

Get an operator for that token.

getOperator(String) - Method in class org.qedeq.kernel.parser.SimpleMathParser

getOperator() - Method in class org.qedeq.kernel.parser.Term

Get operator of term.

getOperatorList(String) - Static method in class org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility

Get operator list out of XML file.

getOperators(String) - Method in class org.qedeq.kernel.parser.AsciiMathParser

getOperators(String) - Method in class org.qedeq.kernel.parser.LatexMathParser

getOperators() - Method in class org.qedeq.kernel.parser.MathParser

getOperators(String) - Method in class org.qedeq.kernel.parser.MathParser

Get operators for that token.

getOperators(String) - Method in class org.qedeq.kernel.parser.SimpleMathParser

getOperators() - Method in class org.qedeq.kernel.xml.handler.parser.ParserHandler

Get list of operators.

getPath() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get address path (without protocol, host, port and file name).

getPath() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get address path (without protocol, host, port and file name).

getPosition() - Method in class org.qedeq.kernel.latex.LatexTextParser

Get byte position.

getPosition() - Method in class org.qedeq.kernel.parser.MementoTextInput

Get byte position.

getPosition() - Method in class org.qedeq.kernel.parser.ParserException

Get error position.

getPosition() - Method in class org.qedeq.kernel.utility.TextInput

Returns the current position.

getPrecedingText() - Method in interface org.qedeq.kernel.base.module.Node

Get text before the formula.

getPrecedingText() - Method in class org.qedeq.kernel.dto.module.NodeVo

getPredicateDefinition() - Method in interface org.qedeq.kernel.base.module.NodeType

Get definition, if this is an instance of PredicateDefinition.

getPredicateDefinition() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getPredicateDefinition() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getPredicateDefinition() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getPredicateDefinition() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getPredicateDefinition() - Method in class org.qedeq.kernel.dto.module.RuleVo

getPreviouslyCheckedModules() - Method in class org.qedeq.kernel.config.QedeqConfig

Get list of previously checked modules.

getPriority() - Method in class org.qedeq.kernel.parser.Operator

Get operator priority. 0 is the highest priority.

getProof() - Method in class org.qedeq.kernel.xml.handler.module.ProofHandler

Get proof.

getProofList() - Method in interface org.qedeq.kernel.base.module.Proposition

Get proofs for proposition.

getProofList() - Method in interface org.qedeq.kernel.base.module.Rule

Get proofs for rule declaration.

getProofList() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getProofList() - Method in class org.qedeq.kernel.dto.module.RuleVo

getProposition() - Method in interface org.qedeq.kernel.base.module.NodeType

Get proposition, if this is an instance of Proposition.

getProposition() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getProposition() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getProposition() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getProposition() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getProposition() - Method in class org.qedeq.kernel.dto.module.RuleVo

getProposition() - Method in class org.qedeq.kernel.xml.handler.module.PropositionHandler

Get proposition.

getQedeq() - Method in class org.qedeq.kernel.parser.Operator

Get QEDEQ operator name.

getQedeq() - Method in class org.qedeq.kernel.parser.Term

Get QEDEQ representation of this term.

getQedeq() - Method in class org.qedeq.kernel.xml.handler.module.QedeqHandler

Get qedeq value object.

getQedeqArgument() - Method in class org.qedeq.kernel.parser.Operator

Get first QEDEQ argument.

getQedeqCreated() - Method in class org.qedeq.kernel.bo.load.QedeqBoFactory

Get currently created QEDEQ module.

getQedeqOriginal() - Method in class org.qedeq.kernel.bo.control.QedeqBoDuplicateLanguageChecker

Get original QEDEQ module.

getQedeqOriginal() - Method in class org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker

Get original QEDEQ module.

getQedeqOriginal() - Method in class org.qedeq.kernel.bo.load.QedeqBoFactory

Get original QEDEQ module.

getQedeqXml() - Method in class org.qedeq.kernel.parser.Term

Get QEDEQ XML representation of this term.

getReferenceArea() - Method in class org.qedeq.kernel.common.XmlFileException

Get additional position information about another associated location.

getReferenceContext() - Method in class org.qedeq.kernel.bo.module.ModuleDataException

Get additional context information about another associated location.

getRewindStackSize() - Method in class org.qedeq.kernel.latex.LatexTextParser

Get rewind stack size.

getRewindStackSize() - Method in class org.qedeq.kernel.parser.MathParser

Get rewind stack size.

getRewindStackSize() - Method in class org.qedeq.kernel.parser.MementoTextInput

Get rewind stack size.

getRow() - Method in class org.qedeq.kernel.parser.MementoTextInput

Returns the current line number.

getRow() - Method in class org.qedeq.kernel.utility.TextInput

Returns the current line number.

getRule() - Method in interface org.qedeq.kernel.base.module.NodeType

Get rule, if this is an instance of Rule.

getRule() - Method in class org.qedeq.kernel.dto.module.AxiomVo

getRule() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getRule() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getRule() - Method in class org.qedeq.kernel.dto.module.PropositionVo

getRule() - Method in class org.qedeq.kernel.dto.module.RuleVo

getRule() - Method in class org.qedeq.kernel.xml.handler.module.RuleHandler

Get Rule.

getRuleVersion() - Method in interface org.qedeq.kernel.base.module.Specification

Get rule version, that is needed to verify the module.

getRuleVersion() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getRuleVersion() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get rule version information.

getRuleVersion() - Method in class org.qedeq.kernel.dto.module.SpecificationVo

getSection() - Method in class org.qedeq.kernel.xml.handler.module.SectionHandler

Get section.

getSectionList() - Method in interface org.qedeq.kernel.base.module.Chapter

Get sections of this chapter.

getSectionList() - Method in class org.qedeq.kernel.dto.module.ChapterVo

getSeparatorSymbol() - Method in class org.qedeq.kernel.parser.Operator

Returns symbol or token to separate different arguments for this operator.

getSourceArea() - Method in class org.qedeq.kernel.common.XmlFileException

Get position information about error location.

getSpaces(int) - Static method in class org.qedeq.kernel.utility.IoUtility

Get amount of spaces.

getSpecification() - Method in interface org.qedeq.kernel.base.module.Header

Get module specification.

getSpecification() - Method in interface org.qedeq.kernel.base.module.Import

Get import specification.

getSpecification() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getSpecification() - Method in class org.qedeq.kernel.dto.module.ImportVo

getSpecification() - Method in class org.qedeq.kernel.xml.handler.module.SpecificationHandler

Get specification.

getStartDirectory() - Method in class org.qedeq.kernel.config.QedeqConfig

Get start directory of this application.

getStartDirectory(String) - Static method in class org.qedeq.kernel.utility.IoUtility

Get start directory for application.

getStartLocation() - Method in class org.qedeq.kernel.xml.tracker.SimpleXPath

Get start location.

getStartPosition() - Method in class org.qedeq.kernel.common.SourceArea

Get start position.

getStartSymbol() - Method in class org.qedeq.kernel.parser.Operator

Returns symbol or token to identify this operator.

getStartTag() - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Get start tag for this handler.

getStateDescription() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getStateDescription() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get module state description.

getString() - Method in interface org.qedeq.kernel.base.list.Atom

Get the text.

getString(String) - Method in class org.qedeq.kernel.config.ConfigAccess

Return String property.

getString(String, String) - Method in class org.qedeq.kernel.config.ConfigAccess

Return String property.

getString() - Method in class org.qedeq.kernel.dto.list.DefaultAtom

getString(String) - Method in class org.qedeq.kernel.xml.parser.SimpleAttributes

Returns the value for a key.

getStringProperties(String) - Method in class org.qedeq.kernel.config.ConfigAccess

Get list of String properties with certain prefix.

getStringValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter value as String.

getSubsection() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionHandler

Get subsection.

getSubsectionList() - Method in interface org.qedeq.kernel.base.module.Section

Get all subsections of this section.

getSubsectionList() - Method in class org.qedeq.kernel.dto.module.SectionVo

getSubsectionList() - Method in class org.qedeq.kernel.xml.handler.module.SubsectionListHandler

Get list of subsections.

getSucceedingText() - Method in interface org.qedeq.kernel.base.module.Node

Get text after the formula.

getSucceedingText() - Method in class org.qedeq.kernel.dto.module.NodeVo

getSummary() - Method in interface org.qedeq.kernel.base.module.Header

Get module summary.

getSummary() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getTerm() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

Get term that defines the object.

getTerm() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getTerm() - Method in class org.qedeq.kernel.xml.handler.module.TermHandler

Get parsed result.

getText() - Method in class org.qedeq.kernel.bo.module.LoadingState

Get meaning of module state.

getText() - Method in class org.qedeq.kernel.bo.module.MathematicalState

Get meaning of module state.

getTitle() - Method in interface org.qedeq.kernel.base.module.Chapter

Get chapter title.

getTitle() - Method in interface org.qedeq.kernel.base.module.Header

Get module title.

getTitle() - Method in interface org.qedeq.kernel.base.module.Node

Get title of subsection.

getTitle() - Method in interface org.qedeq.kernel.base.module.Section

Get section title.

getTitle() - Method in interface org.qedeq.kernel.base.module.Subsection

Get title of subsection.

getTitle() - Method in class org.qedeq.kernel.dto.module.ChapterVo

getTitle() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getTitle() - Method in class org.qedeq.kernel.dto.module.NodeVo

getTitle() - Method in class org.qedeq.kernel.dto.module.SectionVo

getTitle() - Method in class org.qedeq.kernel.dto.module.SubsectionVo

getToken() - Method in class org.qedeq.kernel.latex.LatexTextParser

Read next token from input but don't move reading position.

getToken() - Method in class org.qedeq.kernel.parser.MathParser

Read next token from input but don't move reading position.

getType() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter type.

getURL() - Method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get fully qualified URL of module.

getURL() - Method in interface org.qedeq.kernel.bo.module.ModuleAddress

Get fully qualified URL of module.

getUrl() - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

getUrl() - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Get original URL of module.

getUsedByList() - Method in interface org.qedeq.kernel.base.module.Header

Get list of modules, that use this module.

getUsedByList() - Method in class org.qedeq.kernel.dto.module.HeaderVo

getUsedByList() - Method in class org.qedeq.kernel.xml.handler.module.UsedByListHandler

Get parsed result.

getUserHomeDirectory() - Static method in class org.qedeq.kernel.utility.IoUtility

Get home directory of user.

getValue() - Method in class org.qedeq.kernel.parser.TermAtom

Get atom value.

getValue() - Method in class org.qedeq.kernel.rel.test.gui.Parameter

Get parameter value.

getVariableList() - Method in interface org.qedeq.kernel.base.module.FunctionDefinition

Get variable list of definition arguments.

getVariableList() - Method in interface org.qedeq.kernel.base.module.PredicateDefinition

Get variable list of definition arguments.

getVariableList() - Method in class org.qedeq.kernel.dto.module.FunctionDefinitionVo

getVariableList() - Method in class org.qedeq.kernel.dto.module.PredicateDefinitionVo

getVariables() - Method in class org.qedeq.kernel.xml.handler.module.VariableListHandler

Get parsed result.

getXPath(ModuleContext, Qedeq) - Static method in class org.qedeq.kernel.xml.mapper.Context2SimpleXPath

This method finds a ModuleContext something like
getChapterList().get(4).getSectionList().get(0).getSubsectionList().get(4).getLatex().get(0)
within a Qedeq module and returns a kind of XPath location for an associated XML document:
QEDEQ/CHAPTER[5]/SECTION/SUBSECTIONS/SUBSECTION[2]/TEXT/LATEX At this example one can already see that getSubsectionList().get(4) is transformed into SUBSECTIONS/SUBSECTION[2].

getXPath(ModuleContext) - Static method in class org.qedeq.kernel.xml.mapper.Context2SimpleXPathOld

Deprecated.

getXPath(ModuleContext) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPathOld

Deprecated.

getXPathLocation(String, SimpleXPath) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder

Search simple XPath within an XML file.

getXPathLocation(String, String) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationFinder

Search simple XPath within an XML file.