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(File, File) - Static method in class org.qedeq.kernel.bo.save.Xml2Xml

Generate XML file out of XML file.

generate(URL, File) - Static method in class org.qedeq.kernel.bo.save.Xml2Xml

Generate LaTeX file out of XML file.

generate(ModuleProperties, File, String, String) - Static method in class org.qedeq.kernel.latex.Xml2Latex

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(Predicate) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Get predicate constant definition.

get(Function) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Get function constant definition.

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

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.xml.parser.DefaultSourceFileExceptionList

Get i-th exception.

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

getArguments() - Method in class org.qedeq.kernel.bo.logic.Function

Get function argument number.

getArguments() - Method in class org.qedeq.kernel.bo.logic.Predicate

Get predicate argument number.

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.

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

Get basis directory of this application.

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.QedeqNotNullTraverser

Is further transversing blocked?

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

Returns the value for a key as an Boolean.

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.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.DependencyState

Get module state code.

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

Get module state code.

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

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.

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.

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.

getContextClassLoader() - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Dynamically accesses the current context class loader.

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.QedeqNotNullTraverser

Get current context within original.

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.

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

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

Get module dependency state.

getDependent(int) - Method in interface org.qedeq.kernel.bo.module.ModuleDependencies

Get certain dependent module URL.

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(File) - Method in class org.qedeq.kernel.common.SourceFileException

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.

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.

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.

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

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.

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

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

Get the predicate and function existence checker.

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(ModuleContext) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPathOld

Deprecated.

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.

getFunction(String, int) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Get function constant definition.

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

getFunctionDefinitions() - Method in class org.qedeq.kernel.latex.Element2Latex

Get mapping of function definitions.

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 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

getIdentityOperator() - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

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

Get equality operator.

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

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.

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

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.

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

Get value for given key.

getKeyValue(String, String) - Method in class org.qedeq.kernel.config.QedeqConfig

Get value for given key.

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(int) - Method in class org.qedeq.kernel.bo.module.ModuleReferenceList

Get label for certain module.

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

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

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(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.BinaryLogical

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Class

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Classlist

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Funcon

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Funvar

getLatex(ElementList, boolean) - Method in interface org.qedeq.kernel.latex.Element2Latex.ListType

Transform list into LaTeX.

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Not

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Predcon

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Predvar

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Quantifier

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.QuantorIntersection

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.QuantorUnion

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Unknown

getLatex(ElementList, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex.Var

getLatex(Element) - Method in class org.qedeq.kernel.latex.Element2Latex

Get LaTeX element presentation.

getLatex(Element, boolean) - Method in class org.qedeq.kernel.latex.Element2Latex

Get LaTeX element presentation.

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(File) - Method in class org.qedeq.kernel.common.SourceFileException

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

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

Get line number, starting with 1.

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.

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

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.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.

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

Transform an URL address into a relative local file path.

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

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

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

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

Get directory for newly created QEDEQ module files.

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.

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

Get local file location for log file.

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

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

Get module logical state.

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.SourceFileException

getMessage() - Method in class org.qedeq.kernel.xml.parser.DefaultSourceFileExceptionList

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(URL) - Method in class org.qedeq.kernel.bo.load.DefaultModuleFactory

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

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

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(URL) - Method in interface org.qedeq.kernel.bo.module.ModuleFactory

Get module address from URL.

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

Get module address from URL.

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

Get module address from URL.

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 address of this module.

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

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

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

getModuleContext(int) - Method in class org.qedeq.kernel.bo.module.ModuleReferenceList

Get import context of referenced 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(ModuleAddress, Specification) - Static method in class org.qedeq.kernel.bo.load.DefaultModuleAddress

Get all potential module addresses from a module specification.

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

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

Get module properties for an module address.

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

Get ModuleProperties for an address.

getModuleProperties(int) - Method in class org.qedeq.kernel.bo.module.ModuleReferenceList

Get properties of referenced module.

getModuleProperties(String) - Method in class org.qedeq.kernel.bo.module.ModuleReferenceList

Get ModuleProperties of referenced module via label.

getModuleProperties(ModuleAddress) - 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 class org.qedeq.kernel.bo.logic.Function

Get function name.

getName() - Method in class org.qedeq.kernel.bo.logic.Predicate

Get predicate name.

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.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(URL) - 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

getPredicate(String, int) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Get predicate constant definition.

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

getPredicateDefinitions() - Method in class org.qedeq.kernel.latex.Element2Latex

Get mapping of predicate definitions.

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.bo.load.DefaultQedeqBo

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

Get data transfer object of this BO.

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.SourceFileException

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.

getReferences() - Method in class org.qedeq.kernel.latex.Element2Latex

Get list of external QEDEQ module references.

getRequiredLabel(int) - Method in interface org.qedeq.kernel.bo.module.ModuleDependencies

Get certain required label.

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

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

Get labels and URLs of all referenced modules.

getRequiredUrl(int) - Method in interface org.qedeq.kernel.bo.module.ModuleDependencies

Get certain required module URL.

getResourceAsStream(String) - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Locates the stream resource with the specified name.

getResourceAsStream(String, ClassLoader) - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Locates the resource stream with the specified name.

getResourceUrl(String) - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Locates the resource with the specified name.

getResourceUrl(String, ClassLoader) - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Locates the resource with the specified name.

getResourceUrl(File, String, String) - Static method in class org.qedeq.kernel.utility.ResourceLoaderUtility

Get resource URL.

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.SourceFileException

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(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.

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.DependencyState

Get meaning of module state.

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

Get meaning of module state.

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

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.

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.ModuleDependencies

Get URL of this QEDEQ module.

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

Get original URL of module.

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

Get original file URL.

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.

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(File, String, URL) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Search simple XPath within an XML file.

getXPathLocation(File, SimpleXPath, URL) - Static method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

Search simple XPath within an XML file.