net.ssehub.easy.reasoning.core.frontend

Class AbstractChainedReasoner.DerivedReasonerDescriptor

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor

net.ssehub.easy.reasoning.core.frontend.AbstractChainedReasoner.DerivedReasonerDescriptor

Enclosing class:

AbstractChainedReasoner

private static class AbstractChainedReasoner.DerivedReasonerDescriptor
extends ReasonerDescriptor

Implements a derived reasoner descriptor taking over capabilities.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Constructor and Description
DerivedReasonerDescriptor(java.lang.String name, java.lang.String version, java.lang.String license, java.lang.String licenseRestriction) Creates a new reasoner descriptor.

Method Summary

Modifier and Type	Method and Description
private void	addCapabilities(ReasonerDescriptor desc) Adds the capabilities of desc to the capabilities of this reasoner descriptor.

Methods inherited from class net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor

addCapabilities, addCapability, getCapabilities, getCapabilityCount, getDownloadSource, getLicense, getLicenseRestriction, getName, getVersion, hasCapability, isReadyForUse, providesAffectedVariables

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DerivedReasonerDescriptor

public DerivedReasonerDescriptor(java.lang.String name,
                                 java.lang.String version,
                                 java.lang.String license,
                                 java.lang.String licenseRestriction)

Creates a new reasoner descriptor.

Parameters:

name - the name of the reasoner

version - a version description of the integrated reasoner (may be null)

license - the license (may be null)

licenseRestriction - a restriction of the license to be displayed, e.g. "valid until March 2020" (may be null)

Method Detail

addCapabilities

private void addCapabilities(ReasonerDescriptor desc)

Adds the capabilities of desc to the capabilities of this reasoner descriptor.

Parameters:

desc - the descriptor to take the capabilities from