A B 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.common.XmlSyntaxException

Error code for Exceptions thrown by the SAXParser.

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

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.

SIMPLE_PREFIX - Static variable in class org.qedeq.kernel.parser.Operator

Marks prefix operator.

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

Successfully completely checked.

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

Code for successfully completely checked state.

STATE_CODE_EXTERNAL_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Code for external checking phase.

STATE_CODE_EXTERNAL_CHECKING_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Code for external check failure.

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

Code for internal checking phase.

STATE_CODE_INTERNAL_CHECKING_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Code for check failure.

STATE_CODE_LOADED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Completely loaded code.

STATE_CODE_LOADED_REQUIRED_MODULES - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loaded required modules code.

STATE_CODE_LOADING_FROM_BUFFER - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from local file buffer code.

STATE_CODE_LOADING_FROM_BUFFER_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from local file buffer failed code.

STATE_CODE_LOADING_FROM_WEB - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from web address code.

STATE_CODE_LOADING_FROM_WEB_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from web address failure code.

STATE_CODE_LOADING_INTO_MEMORY - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading into memory code.

STATE_CODE_LOADING_INTO_MEMORY_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading into memory failed code.

STATE_CODE_LOADING_REQUIRED_MODULES - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules code.

STATE_CODE_LOADING_REQUIRED_MODULES_FAILED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules failed code.

STATE_CODE_LOADING_REQUIRED_REQUIREMENTS - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules of required modules code.

STATE_CODE_LOADING_REQUIRED_REQUIREMENTS_FAILED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules of required modules failed code.

STATE_CODE_LOCATING_WITHIN_WEB - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Trying to access web address code.

STATE_CODE_LOCATING_WITHIN_WEB_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Trying to access web address failure code.

STATE_CODE_UNCHECKED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Code for unchecked state.

STATE_CODE_UNDEFINED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Undefined state code.

STATE_CODE_UNDEFINED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Undefined state code.

STATE_EXTERNAL_CHECKING - Static variable in class org.qedeq.kernel.bo.module.LogicalState

External checking.

STATE_EXTERNAL_CHECKING_FAILED - Static variable in class org.qedeq.kernel.bo.module.LogicalState

Successfully created.

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

Internal checking phase.

STATE_INTERNAL_CHECKING_FAILED - Static variable in class org.qedeq.kernel.bo.module.LogicalState

Internal check failed.

STATE_LOADED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Completely loaded.

STATE_LOADED_REQUIRED_MODULES - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Completely loaded.

STATE_LOADING_FROM_BUFFER - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading from local file buffer.

STATE_LOADING_FROM_BUFFER_FAILED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading from local file buffer failed.

STATE_LOADING_FROM_WEB - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading from web address.

STATE_LOADING_FROM_WEB_FAILED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading from web address failed.

STATE_LOADING_INTO_MEMORY - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading into memory.

STATE_LOADING_INTO_MEMORY_FAILED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Loading into memory failed.

STATE_LOADING_REQUIRED_MODULES - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Loading required modules.

STATE_LOADING_REQUIRED_MODULES_FAILED - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Loading required modules failed.

STATE_LOADING_REQUIRED_REQUIREMENTS - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Loading required modules of required modules.

STATE_LOADING_REQUIRED_REQUIREMENTS_FAILED - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Loading required modules of required modules failed.

STATE_LOCATING_WITHIN_WEB - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Trying to access web address.

STATE_LOCATING_WITHIN_WEB_FAILED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Try to access web address failed.

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

Description for successfully completely checked state.

STATE_STRING_EXTERNAL_CHECKING - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Description for external internal checking phase.

STATE_STRING_EXTERNAL_CHECKING_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Description for external check failure.

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

Description for internal checking phase.

STATE_STRING_INTERNAL_CHECKING_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Description for check failure.

STATE_STRING_LOADED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Completely loaded description.

STATE_STRING_LOADED_REQUIRED_MODULES - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loaded required modules description.

STATE_STRING_LOADING_FROM_BUFFER - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from local file buffer description.

STATE_STRING_LOADING_FROM_BUFFER_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from local file buffer failed description.

STATE_STRING_LOADING_FROM_WEB - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from web address description.

STATE_STRING_LOADING_FROM_WEB_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading from web address failure description.

STATE_STRING_LOADING_INTO_MEMORY - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading into memory description.

STATE_STRING_LOADING_INTO_MEMORY_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Loading into memory failed description.

STATE_STRING_LOADING_REQUIRED_MODULES - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules description.

STATE_STRING_LOADING_REQUIRED_MODULES_FAILED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules failed description.

STATE_STRING_LOADING_REQUIRED_REQUIREMENTS - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules description.

STATE_STRING_LOADING_REQUIRED_REQUIREMENTS_FAILED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Loading required modules of required modules failed description.

STATE_STRING_LOCATING_WITHIN_WEB - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Trying to access web address description.

STATE_STRING_LOCATING_WITHIN_WEB_FAILED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Trying to access web address failure description.

STATE_STRING_UNCHECKED - Static variable in interface org.qedeq.kernel.bo.module.LogicalStateDescriptions

Description for unchecked state.

STATE_STRING_UNDEFINED - Static variable in interface org.qedeq.kernel.bo.module.DependencyStateDescriptions

Undefined state description.

STATE_STRING_UNDEFINED - Static variable in interface org.qedeq.kernel.bo.module.LoadingStateDescriptions

Undefined state description.

STATE_UNCHECKED - Static variable in class org.qedeq.kernel.bo.module.LogicalState

Unchecked.

STATE_UNDEFINED - Static variable in class org.qedeq.kernel.bo.module.DependencyState

Undefined loading state.

STATE_UNDEFINED - Static variable in class org.qedeq.kernel.bo.module.LoadingState

Undefined loading state.

SUBJECT_VARIABLE - Static variable in interface org.qedeq.kernel.bo.logic.Operators

Operator string for subject variables.

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

SUBJECT_VARIABLE_EXPECTED - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

SUBJECT_VARIABLE_EXPECTED_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error code.

SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT - Static variable in interface org.qedeq.kernel.bo.logic.FormulaBasicErrors

Error message.

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 module XML schema.

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

Constructor.

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

Error handler for XML parsing.

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

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.

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.

SeparatorNotFoundException - exception org.qedeq.kernel.parser.SeparatorNotFoundException.

Separator not found.

SeparatorNotFoundException(long, String) - Constructor for class org.qedeq.kernel.parser.SeparatorNotFoundException

Constructor.

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

SimpleMathParser - class org.qedeq.kernel.parser.SimpleMathParser.

Parse term or formula data into Terms.

SimpleMathParser(TextInput, List) - Constructor for class org.qedeq.kernel.parser.SimpleMathParser

Constructor.

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

Empty constructor.

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

Copy constructor.

SourceArea - class org.qedeq.kernel.common.SourceArea.

Describes an area of an URL contents.

SourceArea(URL, SourcePosition, SourcePosition) - Constructor for class org.qedeq.kernel.common.SourceArea

Constructs file position object.

SourceFileException - exception org.qedeq.kernel.common.SourceFileException.

Data validation error.

SourceFileException(int, String, Throwable, SourceArea, SourceArea) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(QedeqException, SourceArea, SourceArea) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(URL, Exception) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(File, Exception) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(Exception) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(Throwable) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(IOException) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileException(SAXException) - Constructor for class org.qedeq.kernel.common.SourceFileException

Constructor.

SourceFileExceptionList - exception org.qedeq.kernel.common.SourceFileExceptionList.

List of SourceFileExceptions.

SourceFileExceptionList() - Constructor for class org.qedeq.kernel.common.SourceFileExceptionList

SourcePosition - class org.qedeq.kernel.common.SourcePosition.

Describes a file position.

SourcePosition(URL, int, int) - Constructor for class org.qedeq.kernel.common.SourcePosition

Constructs source position object.

SourcePosition(URL, URL, int, int) - Constructor for class org.qedeq.kernel.common.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.

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

Parse specification informations.

SpecificationHandler(AbstractSimpleHandler) - 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.

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

Special subsection of a qedeq file.

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.

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.

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

Save contents of an URL into a 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.

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

Save history of modules, which were tried to load.

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

Set information about the argument number the defined object needs.

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

Set information about the argument number the defined object needs.

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

Set attribute.

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

Set list of authors of this module.

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

Set auto reload checked modules of last session mode.

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

Set basis handler for documents.

setBlocked(boolean) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

Set if further transversing is blocked.

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

Set local file directory for module buffering.

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

Set chapter list of this module.

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

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

Set logic checked state.

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

Set if the class operator is already defined.

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

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

setDependencyFailureState(DependencyState, SourceFileExceptionList) - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

setDependencyFailureState(DependencyState, SourceFileExceptionList) - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Set failure module state.

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

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

Set dependency progress module state.

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

Set description.

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

Set description.

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

Set description.

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

Set description.

setDescription(LatexListVo) - 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.dto.module.FormulaVo

Set formula.

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

Set term.

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

Set error position.

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

Set parse exception list.

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

Set axiom formula.

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

Set defining formula or term that defines the object.

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

Set proposition formula.

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

Set local file directory for generated files.

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

Set header for this module.

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

Set label for this node.

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

Set label for this subsection.

setIdentityOperatorDefined(boolean, String) - Method in class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

Set the identity operator.

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

Set list of imports needed for this module.

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

Set int property.

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

Set chapter introduction text.

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

Set LaTeX introduction text.

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

Set literature reference for this item.

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

Set value for given key.

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

Set kind of proof.

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

Set reference label for this literature reference.

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

Set text language.

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

Set LaTeX text.

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

Set LaTeX text for this subsection.

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

Set LaTeX pattern for definition visualisation.

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

Set LaTeX pattern for definition visualisation.

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

Set node level.

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

Set proof level.

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

Set level for this section.

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

Set list of necessary ids.

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

Set bibliography.

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

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

Set checked and loaded state and module.

setLoadedModules(ModuleAddress[]) - Method in class org.qedeq.kernel.config.QedeqConfig

Set successfully list of successfully loaded QEDEQ modules.

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

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

Set loaded required modules state.

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

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

Set completeness percentage.

setLoadingFailureState(LoadingState, SourceFileExceptionList) - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

setLoadingFailureState(LoadingState, SourceFileExceptionList) - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Set failure module state.

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

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

Set loading progress module state.

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

Set directory for newly created module files.

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

Set URL to "physical" directory location of module.

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

Set list of locations for the module.

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

Set location information where are we within the original module.

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

Set location information where are we within the original module.

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

Set location information where are we within the original module.

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

Set location information where are we within the original module.

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

Set location information where are we within the module.

setLocationWithinModule(String) - Method in class org.qedeq.kernel.bo.visitor.QedeqNotNullTraverser

Set location information where are we within the original module.

setLogicalFailureState(LogicalState, SourceFileExceptionList) - Method in class org.qedeq.kernel.bo.load.DefaultModuleProperties

setLogicalFailureState(LogicalState, SourceFileExceptionList) - Method in interface org.qedeq.kernel.bo.module.ModuleProperties

Set failure module state.

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

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

Set loading progress module state.

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

Get physical addresses of this module.

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

Get physical addresses of this module.

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

Set location information about module.

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

Set module name.

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

Set name of author.

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

Set function name.

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

Set node name.

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

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

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.dto.module.NodeVo

Set the concrete theorem or definition or else.

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

Set LaTeX text for non formal proof.

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

Set old HTML code generation flag.

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

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

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

Set preceding LaTeX text.

setPrintStream(PrintStream) - Method in class org.qedeq.kernel.log.DefaultModuleEventListener

Set output stream.

setPrintStream(PrintStream) - Method in class org.qedeq.kernel.log.LogListenerImpl

Set output stream.

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.

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

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

Set data transfer object of this BO.

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.dto.module.SpecificationVo

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

Set list of sections.

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

Set module specification.

setSpecification(SpecificationVo) - 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.

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

Set String property.

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

Set list of subsections of this section.

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

Set succeeding LaTeX text.

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

Set module summary text.

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

Set defining term that defines the object.

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

Set chapter title.

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

Set module title.

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

Set node title.

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

Set section title.

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

Set title of this subsection.

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

Set original file URL.

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

Set list of known modules that need this module.

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

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

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

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

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

Show reading position.

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

Closes the kernel.

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

size() - Method in interface org.qedeq.kernel.base.list.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.LiteratureItemList

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

Get number of module references.

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

Get number of collected exceptions.

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

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

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

Get number of arguments of this operator.

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

Get number of collected exceptions.

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

Get number of collected exceptions.

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

Get number of QEDEQ modules which use this one.

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

Get number of required QEDEQ modules.

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

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

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

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

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

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

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.handler.parser.ParserHandler

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

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

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

Start all kernel activity now.

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

Initialisation of ModuleFactory.

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

stateChanged(ModuleProperties) - Method in class org.qedeq.kernel.log.DefaultModuleEventListener

stateChanged(ModuleProperties) - Method in interface org.qedeq.kernel.log.ModuleEventListener

Module properties (i.e. the status) have changed.

stateChanged(ModuleProperties) - Method in class org.qedeq.kernel.log.ModuleEventListenerLog

stateChanged(ModuleProperties) - Method in class org.qedeq.kernel.log.ModuleEventLog

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

Store properties in config file.

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

Store properties in config file.

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

Convert String into a Reader.