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

S

SAX_PARSER_EXCEPTION - Static variable in class org.qedeq.kernel.xml.parser.SyntaxException

Error code for Exceptions thrown by the SAXParser.

SCHEMA_FULL_CHECKING_FEATURE_ID - Static variable in class org.qedeq.kernel.xml.parser.SaxParser

Schema full checking feature id (http://apache.org/xml/features/validation/schema-full-checking).

SECTION_TAG - Static variable in class org.qedeq.kernel.xml.handler.module.SectionHandler

Tag for section part.

STATE_CHECKED - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Successfully completely checked.

STATE_CHECK_FAILED - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Complete check failed.

STATE_CODE_COMPLETELY_CHECKED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for successfully completely checked business object.

STATE_CODE_COMPLETE_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object complete checking phase.

STATE_CODE_COMPLETE_CHECK_FAILED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object that had a check failure.

STATE_CODE_CREATED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object that was created without errors.

STATE_CODE_CREATED_WITH_ERRORS - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object state that showed errors during creation.

STATE_CODE_CREATING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object creating phase.

STATE_CODE_INTERNALLY_CHECKED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for successfully internally checked business object.

STATE_CODE_INTERNAL_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object internal checking phase.

STATE_CODE_INTERNAL_CHECK_FAILED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Code for business object that had an internal check failure.

STATE_COMPLETE_CHECKING - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Complete checking phase.

STATE_CREATED - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Successfully created.

STATE_CREATED_WITH_ERRORS - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Creation with errors.

STATE_CREATING - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Creation phase.

STATE_INTERNALLY_CHECKED - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Successfully internally checked.

STATE_INTERNAL_CHECKING - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Internal checking phase.

STATE_INTERNAL_CHECK_FAILED - Static variable in class org.qedeq.kernel.bo.module.QedeqBoState

Internal check failed.

STATE_STRING_COMPLETELY_CHECKED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for successfully checked business object.

STATE_STRING_COMPLETE_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object complete checking phase.

STATE_STRING_COMPLETE_CHECK_FAILED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object that had a check failure.

STATE_STRING_CREATED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object that was created without errors.

STATE_STRING_CREATED_WITH_ERRORS - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object state that showed errors during creation.

STATE_STRING_CREATING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object creating phase.

STATE_STRING_INTERNALLY_CHECKED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for successfully internally checked business object.

STATE_STRING_INTERNAL_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object internal checking phase.

STATE_STRING_INTERNAL_CHECK_FAILED - Static variable in interface org.qedeq.kernel.bo.module.ModuleConstants

Description for business object that had an internal check failure.

SUBJECT_VARIABLE_OPERATOR - Static variable in class org.qedeq.kernel.bo.logic.FormulaChecker

Operator string for subject variables.

SaxDefaultHandler - class org.qedeq.kernel.xml.parser.SaxDefaultHandler.

Default SAX handler.

SaxDefaultHandler() - Constructor for class org.qedeq.kernel.xml.parser.SaxDefaultHandler

Constructor.

SaxEntityResolver - class org.qedeq.kernel.xml.parser.SaxEntityResolver.

Resolve qedeq schema.

SaxEntityResolver() - Constructor for class org.qedeq.kernel.xml.parser.SaxEntityResolver

SaxErrorHandler - class org.qedeq.kernel.xml.parser.SaxErrorHandler.

Error handler for XML parsing.

SaxErrorHandler(File, ExceptionList) - Constructor for class org.qedeq.kernel.xml.parser.SaxErrorHandler

Constructor.

SaxParser - class org.qedeq.kernel.xml.parser.SaxParser.

Parser for XML files.

SaxParser(SaxDefaultHandler) - Constructor for class org.qedeq.kernel.xml.parser.SaxParser

Constructor.

Section - interface org.qedeq.kernel.base.module.Section.

Section of a qedeq file.

SectionBo - class org.qedeq.kernel.bo.module.SectionBo.

Section of a qedeq file.

SectionBo() - Constructor for class org.qedeq.kernel.bo.module.SectionBo

Constructs a new section.

SectionHandler - class org.qedeq.kernel.xml.handler.module.SectionHandler.

Handle sections.

SectionHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.SectionHandler

Constructor.

SectionList - interface org.qedeq.kernel.base.module.SectionList.

List of sections.

SectionListBo - class org.qedeq.kernel.bo.module.SectionListBo.

List of sections.

SectionListBo() - Constructor for class org.qedeq.kernel.bo.module.SectionListBo

Constructs an empty section list.

SectionListVo - class org.qedeq.kernel.dto.module.SectionListVo.

List of sections.

SectionListVo() - Constructor for class org.qedeq.kernel.dto.module.SectionListVo

Constructs an empty section list.

SectionVo - class org.qedeq.kernel.dto.module.SectionVo.

Section of a qedeq file.

SectionVo() - Constructor for class org.qedeq.kernel.dto.module.SectionVo

Constructs a new section.

SimpleAttributes - class org.qedeq.kernel.xml.parser.SimpleAttributes.

Value object that contains unsorted key value pairs.

SimpleAttributes() - Constructor for class org.qedeq.kernel.xml.parser.SimpleAttributes

SimpleXPath - class org.qedeq.kernel.xml.tracker.SimpleXPath.

Simple XPath like description of a location in an XML file.

SimpleXPath(String) - Constructor for class org.qedeq.kernel.xml.tracker.SimpleXPath

Constructor with simple XPath string as parameter.

SimpleXPath() - Constructor for class org.qedeq.kernel.xml.tracker.SimpleXPath

SourcePosition - class org.qedeq.kernel.xml.tracker.SourcePosition.

Describes a file position.

SourcePosition(String, int, int) - Constructor for class org.qedeq.kernel.xml.tracker.SourcePosition

Constructs source position object.

SourcePosition(String, String, int, int) - Constructor for class org.qedeq.kernel.xml.tracker.SourcePosition

Constructs file position object.

Specification - interface org.qedeq.kernel.base.module.Specification.

Describes a specification of a module, that means its name, versions and possible "physical" locations.

SpecificationBo - class org.qedeq.kernel.bo.module.SpecificationBo.

Describes a specification of a module, that means its name, versions and possible "physical" locations.

SpecificationBo(String, String, LocationList) - Constructor for class org.qedeq.kernel.bo.module.SpecificationBo

Constructs a module specification.

SpecificationBo() - Constructor for class org.qedeq.kernel.bo.module.SpecificationBo

Constructs an empty module specification.

SpecificationHandler - class org.qedeq.kernel.xml.handler.module.SpecificationHandler.

Parse specification informations.

SpecificationHandler(AbstractSimpleHandler, String) - Constructor for class org.qedeq.kernel.xml.handler.module.SpecificationHandler

Constructor.

SpecificationVo - class org.qedeq.kernel.dto.module.SpecificationVo.

Describes a specification of a module, that means its name, versions and possible "physical" locations.

SpecificationVo(String, String, LocationList) - Constructor for class org.qedeq.kernel.dto.module.SpecificationVo

Constructs a module specification.

SpecificationVo() - Constructor for class org.qedeq.kernel.dto.module.SpecificationVo

Constructs an empty module specification.

StarterDialog - class org.qedeq.kernel.rel.test.gui.StarterDialog.

Show and edit preferences of this application.

StarterDialog(String, String) - Constructor for class org.qedeq.kernel.rel.test.gui.StarterDialog

Constructor.

Subsection - interface org.qedeq.kernel.base.module.Subsection.

Special subsection of a qedeq file.

SubsectionBo - class org.qedeq.kernel.bo.module.SubsectionBo.

Subsection of a qedeq file.

SubsectionBo() - Constructor for class org.qedeq.kernel.bo.module.SubsectionBo

Constructs a new empty subsection.

SubsectionHandler - class org.qedeq.kernel.xml.handler.module.SubsectionHandler.

Parses subsection data.

SubsectionHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.SubsectionHandler

Constructor.

SubsectionList - interface org.qedeq.kernel.base.module.SubsectionList.

List of nodes.

SubsectionListBo - class org.qedeq.kernel.bo.module.SubsectionListBo.

List of nodes.

SubsectionListBo() - Constructor for class org.qedeq.kernel.bo.module.SubsectionListBo

Constructs an empty node list.

SubsectionListHandler - class org.qedeq.kernel.xml.handler.module.SubsectionListHandler.

Parse subsection list.

SubsectionListHandler(AbstractSimpleHandler) - Constructor for class org.qedeq.kernel.xml.handler.module.SubsectionListHandler

Handles list of subsections.

SubsectionListVo - class org.qedeq.kernel.dto.module.SubsectionListVo.

List of nodes.

SubsectionListVo() - Constructor for class org.qedeq.kernel.dto.module.SubsectionListVo

Constructs an empty node list.

SubsectionType - interface org.qedeq.kernel.base.module.SubsectionType.

Marker interface for different subsection types.

SubsectionVo - class org.qedeq.kernel.dto.module.SubsectionVo.

Subsection of a qedeq file.

SubsectionVo() - Constructor for class org.qedeq.kernel.dto.module.SubsectionVo

Constructs a new empty subsection.

SyntaxException - exception org.qedeq.kernel.xml.parser.SyntaxException.

Exception that occurs during XML parsing.

SyntaxException(SAXParseException, File) - Constructor for class org.qedeq.kernel.xml.parser.SyntaxException

Constructor.

SyntaxException(int, String) - Constructor for class org.qedeq.kernel.xml.parser.SyntaxException

Constructor.

save(File) - Method in class org.qedeq.kernel.rel.test.gui.ParameterList

Save parameter values in property file.

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

Saves a String into a file.

saveFile(String, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility

Saves a StringBuffer in a file.

saveFile(File, StringBuffer) - Static method in class org.qedeq.kernel.utility.IoUtility

Saves a StringBuffer in a file.

saveFile(File, String) - Static method in class org.qedeq.kernel.utility.IoUtility

Saves a String in a file.

saveFileBinary(File, byte[]) - Static method in class org.qedeq.kernel.utility.IoUtility

Saves a String in a file.

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

Save panel contents in file.

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

Set information about the argument number the defined object needs.

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

Set information about the argument number the defined object needs.

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

Set attribute.

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

Set list of authors of this module.

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

Set list of authors of this module.

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

Set basis handler for documents.

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

Set chapter list of this module.

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

Set chapter list of this module.

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

Sets the current column position (and indirectly the position).

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

Set parameter comment.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

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

Receive a Locator object for document events.

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

Receive a Locator object for document events.

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

Set formula or term.

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

Set formula or term.

setEmail(String) - Method in class org.qedeq.kernel.bo.module.AuthorBo

Set authors email address.

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

Set email address of module administrator.

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

Set author's email address.

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

Set email address of module administrator.

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

Set ending location of XPath.

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

Set error position.

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

Set parse exception list.

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

Set file that is parsed.

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

Set axiom formula.

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

Set proposition formula.

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

Set axiom formula.

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

Set proposition formula.

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

Set formula or term that defines the object.

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

Set defining formula or term that defines the object.

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

Set header of module.

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

Set header for this module.

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

Set label for referencing.

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

Set label for this node.

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

Set list of imported other modules.

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

Set list of imports needed for this module.

setIntroduction(LatexList) - Method in class org.qedeq.kernel.bo.module.ChapterBo

Set introduction text for this chapter.

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

Set introduction text for this section.

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

Set chapter introduction text.

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

Set LaTeX introduction text.

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

Set label for this import.

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

Set referencing label for this subsection.

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

Set label for this import module.

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

Set label for this subsection.

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

Set parameter label.

setLanguage(String) - Method in class org.qedeq.kernel.bo.module.LatexBo

Set language of this text.

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

Set text language.

setLatex(String) - Method in class org.qedeq.kernel.bo.module.LatexBo

Set LaTeX content.

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

Set text of this subsection.

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

Set LaTeX text.

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

Set LaTeX text for this subsection.

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

Set LaTeX pattern for definition visualisation.

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

Set LaTeX pattern for definition visualisation.

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

Set level of node.

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

Set level of this section.

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

Set node level.

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

Set level for this section.

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

Set line wrap.

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

Set id list.

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

Set list of necessary ids.

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

Set location description for a module.

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

Set URL to "physical" directory location of module.

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

Set list of locations for the module.

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

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

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

Set location information where are we within the module.

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

Set location information where are we within the orginal module.

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

Set location information about module.

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

Set module name.

setName(Latex) - Method in class org.qedeq.kernel.bo.module.AuthorBo

Set authors name.

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

Set node name.

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

Set rule name.

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

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

Set name of author.

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

Set node name.

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

Set rule name.

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

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

Set parameter name.

setNoNumber(Boolean) - Method in class org.qedeq.kernel.bo.module.ChapterBo

Set if this chapter has no number.

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

Set automatic numbering for this section off.

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

Set automatic chapter number off or on.

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

Set no auto numbering for this section.

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

Set node type.

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

Set the concrete theorem or definition or else.

setNonFormalProof(LatexList) - Method in class org.qedeq.kernel.bo.module.ProofBo

Set LaTexText of non formal proof.

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

Set LaTeX text for non formal proof.

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

Sets the current position (and indirectly the line number).

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

Set receding LaTeX text.

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

Set preceding LaTeX text.

setPrintStream(PrintStream) - Static method in class org.qedeq.kernel.log.Trace

Set trace output stream.

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

Set proof list of this proposition.

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

Set rule proof list.

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

Set proof list.

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

Set rule proof list.

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

Sets the current line number (and indirectly the position).

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

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

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

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

setSectionList(SectionListBo) - Method in class org.qedeq.kernel.bo.module.ChapterBo

Set section list of this chapter.

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

Set list of sections.

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

Set module specification.

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

Set import module specification.

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

Set module specification.

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

Set specification of this imported module.

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

Set starting location of XPath.

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

Set module state.

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

Set value according to type.

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

Set list of subsections.

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

Set list of subsections of this section.

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

Set succeeding LaTeX text.

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

Set succeeding LaTeX text.

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

Set module summary.

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

Set module summary text.

setTitle(LatexList) - Method in class org.qedeq.kernel.bo.module.ChapterBo

Set chapter title.

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

Set module title.

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

Set node title.

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

Set title of this section.

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

Set title of this subsection.

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

Set chapter title.

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

Set module title.

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

Set node title.

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

Set section title.

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

Set title of this subsection.

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

Set definition type.

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

Set definition type.

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

Set list of known modules, that depend on this one.

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

Set list of known modules that need this module.

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

Set Boolean parameter value.

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

Set Integer parameter value.

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

Set Double parameter value.

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

Set String parameter value.

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

Set File parameter value.

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

Set list of formula or subject variables to be replaced in the LaTeX pattern.

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

Set list of formula or subject variables to be replaced in the LaTeX pattern.

setupView() - Method in class org.qedeq.kernel.rel.test.gui.StarterDialog

Assembles the GUI components of the panel.

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

Show reading position.

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

Get the number of arguments.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

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

Get size of list.

size() - Method in class org.qedeq.kernel.bo.module.AuthorListBo

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Get number of parameters.

size() - Method in class org.qedeq.kernel.xml.parser.ExceptionList

Get number of collected exceptions.

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

Get number of collected exceptions.

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

Skip current position back to beginning of an XML tag.

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

Skip current position forward to end of an XML tag.

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

Skips white space, beginning from reading position.

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

Skips white space, beginning from reading position.

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

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

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

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.elli.ElementHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.AuthorHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.AuthorListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.AxiomHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.ChapterHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.DefinitionHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.FormulaOrTermHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.HeaderHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.ImportListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.LatexHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.LatexListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.NodeHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.ProofHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.PropositionHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.QedeqHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.RuleHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.SectionHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.SpecificationHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.SubsectionHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.SubsectionListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.UsedByListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.handler.module.VariableListHandler

startElement(String, SimpleAttributes) - Method in class org.qedeq.kernel.xml.parser.AbstractSimpleHandler

Called at begin of element elementName.

startElement(String, String, String, Attributes) - Method in class org.qedeq.kernel.xml.parser.SaxDefaultHandler

startElement(String, String, String, Attributes) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser

startPrefixMapping(String, String) - Method in class org.qedeq.kernel.xml.tracker.XPathLocationParser