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

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.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.bo.module.AuthorListBo

get(int) - Method in class org.qedeq.kernel.bo.module.ChapterListBo

get(int) - Method in class org.qedeq.kernel.bo.module.ImportListBo

get(int) - Method in class org.qedeq.kernel.bo.module.LatexListBo

get(int) - Method in class org.qedeq.kernel.bo.module.LinkListBo

get(int) - Method in class org.qedeq.kernel.bo.module.LocationListBo

get(int) - Method in class org.qedeq.kernel.bo.module.ProofListBo

get(int) - Method in class org.qedeq.kernel.bo.module.SectionListBo

get(int) - Method in class org.qedeq.kernel.bo.module.SubsectionListBo

get(int) - Method in class org.qedeq.kernel.bo.module.UsedByListBo

get(int) - Method in class org.qedeq.kernel.bo.module.VariableListBo

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.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(int) - Method in class org.qedeq.kernel.xml.parser.ExceptionList

Get i-th exception.

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

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

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

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

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

Get number of arguments for the defined object.

getArgumentNumber() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

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

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

Return this element as an Atom.

getAtom() - Method in class org.qedeq.kernel.dto.elli.AtomImpl

getAtom() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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.bo.module.HeaderBo

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.bo.module.AxiomBo

getAxiom() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getAxiom() - Method in class org.qedeq.kernel.bo.module.PropositionBo

getAxiom() - Method in class org.qedeq.kernel.bo.module.RuleBo

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

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

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.

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.

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

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

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

Get module state code.

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

Returns the current column number.

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

Get column number, starting with 1.

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

Get parameter comment.

getContext() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException

Get context information about error location.

getContext() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException

Get context information about error location.

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

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 interface org.qedeq.kernel.base.module.NodeType

Get definition, if this is an instance of Definition.

getDefinition() - Method in class org.qedeq.kernel.bo.module.AxiomBo

getDefinition() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getDefinition() - Method in class org.qedeq.kernel.bo.module.PropositionBo

getDefinition() - Method in class org.qedeq.kernel.bo.module.RuleBo

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

getDefinition() - Method in class org.qedeq.kernel.dto.module.DefinitionVo

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

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

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

Get definition.

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

Get description.

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

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.bo.module.AxiomBo

getDescription() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getDescription() - Method in class org.qedeq.kernel.bo.module.PropositionBo

getDescription() - Method in class org.qedeq.kernel.bo.module.RuleBo

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

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

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

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

getDescription() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException

Get detailed error description.

getDescriptiveKernelVersion() - Static 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.elli.ElementList

Get the requested argument.

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

Get formula or term.

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

Get the element.

getElement() - Method in class org.qedeq.kernel.bo.module.FormulaOrTermBo

getElement(int) - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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

getElement() - Method in class org.qedeq.kernel.xml.handler.elli.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.elli.ElementList

Get all arguments as an list.

getElements() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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.bo.module.AuthorBo

getEmail() - Method in class org.qedeq.kernel.bo.module.HeaderBo

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.

getErrorCode() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException

Get error code.

getErrorCode() - Method in class org.qedeq.kernel.bo.module.IllegalDataException

Get error code.

getErrorCode() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException

Get error code.

getErrorCode() - Method in class org.qedeq.kernel.xml.parser.SyntaxException

Get error code.

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

Get error position.

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

Get errors that occurred during last parsing.

getFileName(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPath

Get file path out of context information.

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

Get formula that is a proposition.

getFormula() - Method in class org.qedeq.kernel.bo.module.AxiomBo

getFormula() - Method in class org.qedeq.kernel.bo.module.PropositionBo

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

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

getFormulaOrTerm() - Method in interface org.qedeq.kernel.base.module.Definition

Get formula or term that defines the object.

getFormulaOrTerm() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getFormulaOrTerm() - Method in class org.qedeq.kernel.dto.module.DefinitionVo

getFormulaOrTerm() - Method in class org.qedeq.kernel.xml.handler.module.FormulaOrTermHandler

Get parsed result.

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

Return all free subject variables of an element.

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

Get module header.

getHeader() - Method in class org.qedeq.kernel.bo.module.QedeqBo

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 class org.qedeq.kernel.bo.module.NodeBo

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

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

Get list of needed modules.

getImportList() - Method in class org.qedeq.kernel.bo.module.HeaderBo

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

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

Get parsed result.

getIndex() - Method in class org.qedeq.kernel.bo.module.DuplicateLanguageEntryException

Get index of already existing language entry.

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.bo.module.ChapterBo

getIntroduction() - Method in class org.qedeq.kernel.bo.module.SectionBo

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

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

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

Get version of this kernel.

getKernelVersionDirectory() - Static 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.

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

Get label for the imported module.

getLabel() - Method in class org.qedeq.kernel.bo.module.ImportBo

getLabel() - Method in class org.qedeq.kernel.bo.module.SubsectionBo

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

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

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.bo.module.LatexBo

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.bo.module.LatexBo

getLatex() - Method in class org.qedeq.kernel.bo.module.SubsectionBo

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

Get LaTeX output for definition.

getLatexPattern() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

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

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

Get level of node.

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

Get level of subsection.

getLevel() - Method in class org.qedeq.kernel.bo.module.NodeBo

getLevel() - Method in class org.qedeq.kernel.bo.module.SubsectionBo

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

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.rel.test.text.XmlFilePositionException

Get line that is referenced by XmlFilePositionException.getContext().

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

Returns the current line.

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

Get line number, starting with 1.

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.bo.module.RuleBo

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

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

Return this element as a Atom.

getList() - Method in class org.qedeq.kernel.dto.elli.AtomImpl

getList() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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

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

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

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

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

Get location for a module.

getLocation() - Method in class org.qedeq.kernel.bo.module.LocationBo

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.bo.module.SpecificationBo

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

getLocationWithinModule() - Method in class org.qedeq.kernel.bo.control.Context

Get location information where are we within the module.

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

Returns the highest position number possible.

getMessage() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException

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

Get physical addresses of this module.

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

Get module label associations for this module.

getModuleLocation() - Method in class org.qedeq.kernel.bo.control.Context

Get location information about module.

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

Get name of author.

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

Set name of node.

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

getName() - Method in class org.qedeq.kernel.bo.module.NodeBo

getName() - Method in class org.qedeq.kernel.bo.module.RuleBo

getName() - Method in class org.qedeq.kernel.bo.module.SpecificationBo

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

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

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.

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.bo.module.ChapterBo

getNoNumber() - Method in class org.qedeq.kernel.bo.module.SectionBo

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

Get node for given label.

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.bo.module.NodeBo

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.bo.module.ProofBo

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

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

Gets current number.

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

Get the operator.

getOperator() - Method in class org.qedeq.kernel.dto.elli.ElementListImpl

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.bo.module.NodeBo

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

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.bo.module.PropositionBo

getProofList() - Method in class org.qedeq.kernel.bo.module.RuleBo

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.bo.module.AxiomBo

getProposition() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getProposition() - Method in class org.qedeq.kernel.bo.module.PropositionBo

getProposition() - Method in class org.qedeq.kernel.bo.module.RuleBo

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

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

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.xml.handler.module.QedeqHandler

Get qedeq value object.

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

Get currently created qedeq module.

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

Get original qedeq module.

getReferenceContext() - Method in class org.qedeq.kernel.bo.control.IllegalModuleDataException

Get additional context information about another associated location.

getReferenceContext() - Method in class org.qedeq.kernel.rel.test.text.XmlFilePositionException

Get additional context information about another associated location.

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.bo.module.AxiomBo

getRule() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getRule() - Method in class org.qedeq.kernel.bo.module.PropositionBo

getRule() - Method in class org.qedeq.kernel.bo.module.RuleBo

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

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

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

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.bo.module.ChapterBo

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

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.bo.module.HeaderBo

getSpecification() - Method in class org.qedeq.kernel.bo.module.ImportBo

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.

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

Get start location.

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

Get start tag for this handler.

getState() - Method in class org.qedeq.kernel.bo.module.QedeqBo

Get module state.

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

Get the text.

getString() - Method in class org.qedeq.kernel.dto.elli.AtomImpl

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

Returns the value for a key.

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.bo.module.SectionBo

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.bo.module.NodeBo

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.bo.module.HeaderBo

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

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

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.bo.module.ChapterBo

getTitle() - Method in class org.qedeq.kernel.bo.module.HeaderBo

getTitle() - Method in class org.qedeq.kernel.bo.module.NodeBo

getTitle() - Method in class org.qedeq.kernel.bo.module.SectionBo

getTitle() - Method in class org.qedeq.kernel.bo.module.SubsectionBo

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

getType() - Method in interface org.qedeq.kernel.base.module.Definition

Get definition type.

getType() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

getType() - Method in class org.qedeq.kernel.dto.module.DefinitionVo

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

Get parameter type.

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.bo.module.HeaderBo

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.rel.test.gui.Parameter

Get parameter value.

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

Get variable list of definition arguments.

getVariableList() - Method in class org.qedeq.kernel.bo.module.DefinitionBo

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

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

Get parsed result.

getXPath(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2SimpleXPath

Transform context information into XML specific location information.

getXPath(Context) - Static method in class org.qedeq.kernel.xml.mapper.Context2XPath

Get XPath out of context information.

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

Search simple XPath within an XML file.