Uses of Interface
net.ssehub.easy.varModel.model.datatypes.IDatatype

Packages that use IDatatype

Package	Description
de.uni_hildesheim.sse.translation	The mechanisms needed to translate an IVML Ecore model into an IVML object model.
de.uni_hildesheim.sse.ui.contentassist
net.ssehub.easy.instantiation.core.model.vilTypes	Contains the basic VIL types used as foundation for the artifact model and for integrating the variability model, i.e., types which are not artifacts themselves.
net.ssehub.easy.instantiation.core.model.vilTypes.configuration	All classes related to the EASy integration of configuration and decisions.
net.ssehub.easy.instantiation.velocity	This package contains the VIL instantiator realization of Apache's Velocity. For more information please visit the Velocity project page.
net.ssehub.easy.integration.common.impl	Defines the a readable interface to IVML/EAsY.
net.ssehub.easy.producer.ui.confModel	This package holds a GUI representation of the configuration with methods and additional information as needed by the Eclipse UI.
net.ssehub.easy.producer.ui.internal	This package holds extension classes of eclipse which must not be called or extended from other plug-ins.
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.impl	Hidden implementation stuff.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.
net.ssehub.easy.varModel.cst	Package for elements of the constraint syntax tree.
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.
net.ssehub.easy.varModel.model	Base package for the variability model.
net.ssehub.easy.varModel.model.datatypes	Base directory for the main datatype classes.
net.ssehub.easy.varModel.model.filter	This package contains utility classes for filtering the model for specific model elements.
net.ssehub.easy.varModel.model.filter.mandatoryVars	Filter for finding mandatory declarations.
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.search	Specific classes for performing search operations on models.
net.ssehub.easy.varModel.model.values	Instances of the datatypes.
net.ssehub.easy.varModel.persistency	These package is for reading and saving the variability model and the configuration. Currently supported file formats: EASy-Producer 2.0 config files (xml) IVML
net.ssehub.easy.varModel.validation	Classes for validating e variability model, e.g.

Uses of IDatatype in de.uni_hildesheim.sse.translation

Methods in de.uni_hildesheim.sse.translation that return IDatatype

Modifier and Type	Method	Description
IDatatype	TypeContext.findRefType(IDatatype contained)	Finds a reference type (declaration or defines an implicit type) for a given contained type.
IDatatype	TypeContext.findType(java.lang.String name, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition.
private IDatatype	ExpressionTranslator.getSpecificType(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context)	Returns the specific type of a collection initializer.
private IDatatype	ExpressionTranslator.inferDatatypeQuietly(ConstraintSyntaxTree cst)	Infers the datatype of cst.
private static IDatatype	ExpressionTranslator.refType(IDatatype varType, TypeContext context)	Obtains the reference type.
IDatatype	TypeContext.resolveType(de.uni_hildesheim.sse.ivml.Type type)	Resolves a given type to a type representation in the IVML object model.

Methods in de.uni_hildesheim.sse.translation with parameters of type IDatatype

Modifier and Type	Method	Description
static boolean	TypeContext.allResolved(IDatatype[] types)	Returns whether all types in types are resolved.
private static ConstantValue	TypeContext.createConstantValue(org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature, IDatatype type, java.lang.Object... values)	Creates a constant value.
private ConstraintSyntaxTree	TypeContext.createValueTree(java.lang.String sValue, IDatatype type, org.eclipse.emf.ecore.EObject object, org.eclipse.emf.ecore.EStructuralFeature feature)	Creates a value tree for a given type.
private boolean	ModelTranslator.findOperation(IDatatype datatype, Operation operation, boolean considerOperand)	Finds an operation on a given datatype.
IDatatype	TypeContext.findRefType(IDatatype contained)	Finds a reference type (declaration or defines an implicit type) for a given contained type.
private IDatatype	ExpressionTranslator.getSpecificType(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context)	Returns the specific type of a collection initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processArgument(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ActualArgument arg, TypeContext context, IModelElement parent)	Process an argument and returns a (named) expression.
private ConstraintSyntaxTree	ExpressionTranslator.processCompoundInitializer(IDatatype lhsType, TypeContext context, IModelElement parent, IDatatype specificType, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a compound initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(IDatatype lhsType, TypeContext context, IModelElement parent, org.eclipse.emf.common.util.EList<de.uni_hildesheim.sse.ivml.ExpressionListEntry> entryList)	Processes a container initializer.
private ConstraintSyntaxTree	ExpressionTranslator.processContainerInitializer(IDatatype lhsType, org.eclipse.emf.ecore.EObject expr, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, IModelElement parent)	Processes a container initializer.
(package private) ConstraintSyntaxTree	ExpressionTranslator.processExpression(IDatatype lhsType, de.uni_hildesheim.sse.ivml.Expression expr, TypeContext context, IModelElement parent)	Processes an expression and returns the result as a syntax tree.
private ConstraintSyntaxTree	ExpressionTranslator.processExpression(IDatatype lhsType, de.uni_hildesheim.sse.ivml.OptBlockExpression expr, TypeContext context, IModelElement parent)	Processes an (optional block) expression.
private ConstraintSyntaxTree	ExpressionTranslator.processLiteralContainer(IDatatype lhsType, de.uni_hildesheim.sse.ivml.ContainerInitializer initializer, TypeContext context, IModelElement parent)	Processes a collection initializer and returns the related constraint syntax tree node.
private static IDatatype	ExpressionTranslator.refType(IDatatype varType, TypeContext context)	Obtains the reference type.
private static java.lang.String	ModelTranslator.unqualified(IDatatype type)	Returns the unqualified name of type.

Method parameters in de.uni_hildesheim.sse.translation with type arguments of type IDatatype

Modifier and Type	Method	Description
IDatatype	TypeContext.findType(java.lang.String name, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition.

Uses of IDatatype in de.uni_hildesheim.sse.ui.contentassist

Methods in de.uni_hildesheim.sse.ui.contentassist that return IDatatype

Modifier and Type	Method	Description
protected IDatatype	ExpressionProposalProvider.findType(org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound typeDef, java.lang.String name)	Finds the definition of a data type within the model represented by model.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.AdditiveExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
protected IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.AssignmentExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.Call call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a call.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.EqualityExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
protected IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.Expression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.FeatureCall call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a call.
protected IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.ImplicationExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
protected IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.LogicalExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.MultiplicativeExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.PostfixExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.PrimaryExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.RelationalExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.UnaryExpression expression, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for expression.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.Value value, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for vale.
private IDatatype	ExpressionProposalProvider.inferType(java.lang.String name, IDatatype operand, IDatatype[] pTypes, boolean containerOp)	Determines the type of the operation name on operand with given parameters.
private IDatatype	ExpressionProposalProvider.inferType(java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a chain of calls.

Methods in de.uni_hildesheim.sse.ui.contentassist with parameters of type IDatatype

Modifier and Type	Method	Description
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.Call call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a call.
private IDatatype	ExpressionProposalProvider.inferType(de.uni_hildesheim.sse.ivml.FeatureCall call, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a call.
private IDatatype	ExpressionProposalProvider.inferType(java.lang.String name, IDatatype operand, IDatatype[] pTypes, boolean containerOp)	Determines the type of the operation name on operand with given parameters.
private IDatatype	ExpressionProposalProvider.inferType(java.util.List<de.uni_hildesheim.sse.ivml.Call> calls, IDatatype operand, org.eclipse.emf.ecore.EObject model, de.uni_hildesheim.sse.ivml.TypedefCompound cmpDef)	Returns the IVML type for a chain of calls.
private void	ExpressionProposalProvider.proposeOperations(IDatatype type, org.eclipse.xtext.ui.editor.contentassist.ContentAssistContext context, org.eclipse.xtext.ui.editor.contentassist.ICompletionProposalAcceptor acceptor, boolean containerOp)	Propose operations based on an IVML type.

Uses of IDatatype in net.ssehub.easy.instantiation.core.model.vilTypes

Fields in net.ssehub.easy.instantiation.core.model.vilTypes with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,TypeDescriptor<?>>	TypeRegistry.fallbacks

Methods in net.ssehub.easy.instantiation.core.model.vilTypes that return IDatatype

Modifier and Type	Method	Description
IDatatype	IActualTypeProvider.determineActualTypeName()	The more actual type name of this object.

Methods in net.ssehub.easy.instantiation.core.model.vilTypes with parameters of type IDatatype

Modifier and Type	Method	Description
TypeDescriptor<?>	TypeRegistry.getType(IDatatype type)	Returns the registered type descriptor for the given type.
TypeDescriptor<?>	TypeRegistry.getTypeOrFallback(IDatatype type)	Returns the registered type descriptor for the given type or tries an explicitly registered fallback, e.g., for unknown types in models without advices.
void	TypeRegistry.registerFallbackType(IDatatype type, TypeDescriptor<?> descriptor)	Registers a fallback type.
TypeDescriptor<?>[]	TypeRegistry.resolveGenerics(IDatatype type)	Resolves IVML type generics.
TypeDescriptor<?>	ITypeResolver.resolveType(IDatatype type)	Resolves a type by its IVML type.

Uses of IDatatype in net.ssehub.easy.instantiation.core.model.vilTypes.configuration

Fields in net.ssehub.easy.instantiation.core.model.vilTypes.configuration declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	IvmlConstructorOperationDescriptor.ivmlType
private IDatatype	IvmlTypeDescriptor.type

Fields in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.Set<Attribute>>	IvmlTypeResolver.attributes
private java.util.Map<IDatatype,TypeDescriptor<?>>	IvmlTypeResolver.ivmlMap

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration that return IDatatype

Modifier and Type	Method	Description
IDatatype	AbstractIvmlVariable.determineActualTypeName()
IDatatype	AbstractIvmlVariable.getActualType()	Returns the actual IVML type of decVar.
IDatatype	EnumValue.getDatatype()	Returns the IVML data type.
private IDatatype	IvmlTypeDescriptor.getDatatype(java.lang.Object object)	Returns the datatype for object.
protected abstract IDatatype	AbstractIvmlTypeDescriptor.getIvmlType()	Returns the underlying IVML type.
IDatatype	AbstractIvmlVariable.getIvmlType()	Returns the declared IVML type of the (dereferenced) decision variable (VIL view).
protected IDatatype	IvmlProjectTypeDescriptor.getIvmlType()
protected IDatatype	IvmlTypeDescriptor.getIvmlType()

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type IDatatype

Modifier and Type	Method	Description
protected void	AbstractIvmlTypeDescriptor.addComparisonOperations(IDatatype type, java.util.Map<java.lang.String,OperationDescriptor> operations)	Adds the default comparison operations.
private void	IvmlTypeDescriptor.addCompoundOperations(IDatatype ivmlType, java.util.Map<java.lang.String,OperationDescriptor> operations, java.util.Map<java.lang.String,FieldDescriptor> fields)	Adds the operations for compound types if needed.
protected void	AbstractIvmlTypeDescriptor.addConversionOperations(IDatatype type, java.util.List<OperationDescriptor> operations)	Adds required conversion operations to operations.
private void	IvmlTypeDescriptor.addDerivedTypeConversions(IDatatype ivmlType, java.util.List<OperationDescriptor> conversions)	Adds the conversion operations for derived types if needed.
private void	IvmlTypeDescriptor.addEnumOperations(IDatatype ivmlType, java.util.Map<java.lang.String,OperationDescriptor> operations)	Adds the operations for enumeration types if needed.
private DecisionVariable	AbstractIvmlVariable.addValue(IDatatype type)	adds a value of a given type to a container.
private void	AbstractIvmlVariable.createValue(IDecisionVariable var, IDatatype type)	Creates a value for the given type via a safe reasoner adapter.
protected static TypeDescriptor<?>[]	Utils.determineGenerics(IDatatype type, TypeRegistry registry, boolean specific)	Determines the VIL types for the given generic types.
protected static TypeDescriptor<?>	Utils.determineReturnType(IDatatype type, TypeRegistry registry, boolean specific)	Determines the VIL/VTL return type for the given IVML type.
(package private) static TypeDescriptor<?>	IvmlElement.getTypeDescriptor(IDatatype type)	Returns the type descriptor for a given IVML datatype.
(package private) TypeDescriptor<?>	IvmlTypeResolver.obtainType(IDatatype type)	Obtains the VIL/VTL type for the given type.
(package private) void	IvmlTypeDescriptor.resolve(Project project, IDatatype ivmlType, java.util.Set<Attribute> declaredAttributes)	Resolves the type descriptor by filling it with operations and fields.
TypeDescriptor<?>	IvmlBaseTypeResolver.resolveType(IDatatype type)
TypeDescriptor<?>	IvmlTypeResolver.resolveType(IDatatype type)

Constructors in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type IDatatype

Constructor	Description
AbstractIvmlTypeDescriptor(IDatatype ivmlType, IvmlTypeResolver resolver)	Creates a new type descriptor.
IvmlConstructorOperationDescriptor(TypeDescriptor<?> declaringType, IDatatype ivmlType)	Creates a constructor descriptor without parameters.
IvmlTypeDescriptor(Project project, IDatatype ivmlType, IvmlTypeResolver resolver)	Creates a new type descriptor.

Uses of IDatatype in net.ssehub.easy.instantiation.velocity

Methods in net.ssehub.easy.instantiation.velocity with parameters of type IDatatype

Modifier and Type	Method	Description
void	VelocityContextInitializer.visitDatatype(IDatatype datatype)

Uses of IDatatype in net.ssehub.easy.integration.common.impl

Fields in net.ssehub.easy.integration.common.impl with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.List<IDatatype>	Model.types

Constructors in net.ssehub.easy.integration.common.impl with parameters of type IDatatype

Constructor	Description
DecisionVariable(java.lang.String name, IDatatype type, java.lang.String defaultValue, Project parent)	Creates a new decision variable.

Uses of IDatatype in net.ssehub.easy.producer.ui.confModel

Fields in net.ssehub.easy.producer.ui.confModel declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	ComboboxGUIVariable.type

Methods in net.ssehub.easy.producer.ui.confModel that return IDatatype

Modifier and Type	Method	Description
protected IDatatype	GUIVariable.getType()	Returns the type of the underlying IVML variable.

Methods in net.ssehub.easy.producer.ui.confModel with parameters of type IDatatype

Modifier and Type	Method	Description
void	ConfigEditorValueRetriever.visitDatatype(IDatatype datatype)
void	GUIValueFactory.VariableVisitor.visitDatatype(IDatatype datatype)
void	TooltipCreator.visitDatatype(IDatatype datatype)

Constructors in net.ssehub.easy.producer.ui.confModel with parameters of type IDatatype

Constructor	Description
ComboboxGUIVariable(IDecisionVariable variable, org.eclipse.swt.widgets.Composite parent, IDatatype type, ComboboxGUIVariable.ComboItem[] values, IGUIConfigurableElement confParent)	Sole constructor for this class.
MultipleSelectionEditor(org.eclipse.swt.widgets.Composite composite, IDatatype refType, IDecisionVariable refVariable)	Constructor for a MultipleSelectionEditor.

Uses of IDatatype in net.ssehub.easy.producer.ui.internal

Methods in net.ssehub.easy.producer.ui.internal with type parameters of type IDatatype

Modifier and Type	Method	Description
static <T extends IDatatype> T	TypeSelectionDialog.open(org.eclipse.swt.widgets.Shell shell, java.lang.String title, java.util.Collection<T> types)	Opens a type selection dialog based on the given title and types.
static <T extends IDatatype> T	TypeSelectionDialog.open(org.eclipse.swt.widgets.Shell shell, java.lang.String title, java.util.Collection<T> types, T selected)	Opens a type selection dialog based on the given title and types.

Methods in net.ssehub.easy.producer.ui.internal with parameters of type IDatatype

Modifier and Type	Method	Description
static java.lang.String	TypeSelectionDialog.getActualTypeString(IDatatype type, java.lang.String deflt)	Returns "(actual: )" if type is not null, deflt else.

Uses of IDatatype in net.ssehub.easy.reasoning.core.frontend

Methods in net.ssehub.easy.reasoning.core.frontend with parameters of type IDatatype

Modifier and Type	Method	Description
ValueCreationResult	IReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerAdapter.FrontendReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.InstanceReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.IReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerFrontend.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.

Uses of IDatatype in net.ssehub.easy.reasoning.core.impl

Methods in net.ssehub.easy.reasoning.core.impl with parameters of type IDatatype

Modifier and Type	Method	Description
static ValueCreationResult	ReasonerHelper.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.

Uses of IDatatype in net.ssehub.easy.reasoning.core.reasoner

Fields in net.ssehub.easy.reasoning.core.reasoner declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	AttachedConstraint.type

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type IDatatype

Modifier and Type	Method	Description
ValueCreationResult	DelegatingReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)
ValueCreationResult	IReasoner.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type IDatatype

Constructor	Description
AttachedConstraint(ConstraintSyntaxTree consSyntax, IDatatype type, IModelElement parent)	Creates a new constraint from an already parsed syntax tree.

Uses of IDatatype in net.ssehub.easy.reasoning.sseReasoner

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type IDatatype

Modifier and Type	Method	Description
private void	CheckInitializerVisitor.checkForConstraint(IDatatype type, ConstraintSyntaxTree cst)	Checks for a constraint expression.
private static ConstraintSyntaxTree	Resolver.checkTypeCast(IDatatype declType, IDatatype actType, AbstractVariable decl, ConstraintSyntaxTree cAcc)	Inserts a type cast if needed.
ValueCreationResult	Reasoner.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	Reasoner.ReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)
private void	Resolver.translateCompoundContainer(AbstractVariable decl, Compound type, IDatatype declaredContainedType, ConstraintSyntaxTree cAcc)	Translates an entire compound container decl including defaults and constraints for the specific type cmpType (iterate through all relevant types).
private void	Resolver.translateContainerDeclaration(AbstractVariable decl, IDecisionVariable var, IDatatype type, ConstraintSyntaxTree cAcc)	Translates the (transitive) defaults and type constraints for a container declaration.
private void	Resolver.translateDerivedDatatypeConstraints(AbstractVariable decl, IDatatype type, DecisionVariableDeclaration localDecl, IModelElement parent, int refCounter, ConstraintSyntaxTree cAcc)	Extracts, translates and collects the internal constraints of type (if derived or, transitively, a reference datatype) and stores the constraints in #derivedTypeConstraints.

Uses of IDatatype in net.ssehub.easy.reasoning.sseReasoner.functions

Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type IDatatype

Modifier and Type	Method	Description
private void	ConstraintFunctions.TransitiveConstraintFinder.visit(IDatatype type)	Internal method to start visiting a datatype.
void	ConstraintFunctions.TransitiveConstraintFinder.visitDatatype(IDatatype datatype)

Uses of IDatatype in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	ContextStack.Context.type	Stores the associated type.

Fields in net.ssehub.easy.reasoning.sseReasoner.model with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,TypeCache.Entry>	TypeCache.cache
private java.util.Set<? extends IDatatype>	ContextStack.globalExcludes
private java.util.Set<IDatatype>	ContextStack.Context.processedTypes	The processed types.
private java.util.Set<? extends IDatatype>	ContextStack.Context.typeExcludes	Stores type-excludes for constraint re-scheduling.

Methods in net.ssehub.easy.reasoning.sseReasoner.model that return IDatatype

Modifier and Type	Method	Description
IDatatype	ContextStack.getCurrentType()	Returns the type stored in the current context.
static IDatatype	ReasoningUtils.getDeepestContainedType(Container cnt)	Returns the deepest contained type, i.e., for a nested container the deeply nested (base) type.
static IDatatype	ReasoningUtils.inferTypeSafe(ConstraintSyntaxTree cst, IDatatype dflt)	Infers the type of cst using dflt as fallback.

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type IDatatype

Modifier and Type	Method	Description
void	ContextStack.addAsParentCache(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Adds the type cache of type as parent to the type cache that is currently in construction.
boolean	ContextStack.alreadyProcessed(IDatatype type)	Returns whether type was already processed.
private static void	ReasoningUtils.collectRefines(Compound cmp, IDatatype exclude, boolean add, java.util.Set<Compound> result)	Collects all refines from cmp excluding all originating at exclude, adding or removing following compounds based on add storing the results in result.
static java.util.Set<Compound>	ReasoningUtils.collectRefines(IDatatype start, IDatatype exclude)	Collects all refines from start excluding all originating at exclude.
boolean	TypeCache.contains(IDatatype type)	Returns whether this type cache contains an entry for type.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from the type of exp to targetType applied to exp.
static ConstraintSyntaxTree	ReasoningUtils.createAsTypeCast(ConstraintSyntaxTree exp, IDatatype sourceType, IDatatype targetType)	Creates a type cast ("asType" operation, if needed) from sourceType to targetType applied to exp.
TypeCache.Entry	TypeCache.createEntryFor(IDatatype type, AbstractVariable var)	Creates a type cache entry.
static Value	ReasoningUtils.createTypeValue(IDatatype type)	Creates a type value.
static ConstraintSyntaxTree	ReasoningUtils.createTypeValueConstant(IDatatype type)	Creates a type value constraint tree node.
static ConstraintSyntaxTree	ReasoningUtils.createTypeValueConstantSafe(IDatatype type)	Creates a type value constraint tree node and logs occurring exceptions.
TypeCache.Entry	TypeCache.get(IDatatype type)	Returns a type cache entry for the given type.
ContextStack.TranslateMode	ContextStack.getMappingMode(IDatatype type)	Returns the type cache mapping mode when trying to register a new type.
static IDatatype	ReasoningUtils.inferTypeSafe(ConstraintSyntaxTree cst, IDatatype dflt)	Infers the type of cst using dflt as fallback.
static boolean	ReasoningUtils.isNestedContainer(IDatatype type)	Returns whether type is a type-nested container.
boolean	ContextStack.isTypeExcluded(IDatatype type)	Returns whether the given type is excluded in the current context.
void	ContextStack.popContext(IDatatype type)	Pops a context and transfers the cache information.
void	ContextStack.recordProcessed(IDatatype type)	Records a processed type (in case of compounds also all refined types) in the closest actual context that allows recording (see ContextStack.Context.recordProcessedTypes and ContextStack.pushContext(AbstractVariable, ConstraintSyntaxTree, DecisionVariableDeclaration, boolean)).
void	ContextStack.registerForTypeCache(IDatatype type, AbstractVariable var)	Registers the given type and the prototypical template variable var as type in the type cache.
boolean	ContextStack.transferConstraints(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Transfers all constraints from the associated type cache entry into their respective target constraint sets.
boolean	TypeCache.transferConstraints(IDatatype type, TypeCache.IConstraintTarget target, IDecisionVariable register, AbstractVariable var)	Transfers collected constraints for type.
void	TypeCache.transferContext(IDatatype type, java.util.Map<AbstractVariable,ConstraintSyntaxTree> varMap, java.util.Map<java.lang.String,ConstraintSyntaxTree> nameMap)	Transfers the mappings of the given context into the cache entry of type.
void	ContextStack.transferToContext(IDatatype type, AbstractVariable var)	Indicates that mapping information from the type cache shall be transferred into the current context.
void	TypeCache.transferToContext(IDatatype type, ContextStack contexts, AbstractVariable var)	Transfers all accessors stored in TypeCache.Entry.varMap into the actual context in contexts by instantiating them.
void	ContextStack.transferTypeExcludes(IDatatype type)	Transfers the type excludes from the next enclosing context defining type excludes to the current context.

Method parameters in net.ssehub.easy.reasoning.sseReasoner.model with type arguments of type IDatatype

Modifier and Type	Method	Description
private void	ContextStack.recordProcessed(java.util.Set<IDatatype> processed, Compound type)	Records a processed compound.
void	ContextStack.setTypeExcludes(java.util.Set<? extends IDatatype> excludes)	Sets type excludes on the current context.

Uses of IDatatype in net.ssehub.easy.varModel.confModel

Fields in net.ssehub.easy.varModel.confModel with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.Map<IDecisionVariable,ReferenceValue>>	Configuration.allInstances
private java.util.Map<IDatatype,java.util.List<IDecisionVariable>>	AssignmentResolver.instancesPerType	Temporary list of all instances per data type.
private java.util.Map<IDatatype,java.util.List<ConstraintSyntaxTree>>	QueryCache.refValues	Tuple of (Reference.getType(), possible values for the reference).

Methods in net.ssehub.easy.varModel.confModel that return IDatatype

Modifier and Type	Method	Description
IDatatype	ContainerVariable.getContainedType()	Returns the contained type of this container.
IDatatype	CompoundVariable.getInstantiatableType()
IDatatype	DecisionVariable.getInstantiatableType()	Returns one of the actual types required to instantiate this variable.

Methods in net.ssehub.easy.varModel.confModel with parameters of type IDatatype

Modifier and Type	Method	Description
IDecisionVariable	ContainerVariable.addNestedElement(IDatatype type)	Adds a new nested element to this variable.
private static void	ConfigQuery.addVariableByType(IDecisionVariable variable, IDatatype type, boolean onlyToplevel, java.util.List<IDecisionVariable> variables)	Recursive part of ConfigQuery.collectVariablesByType(Configuration, IDatatype, boolean), which searches for (nested) variables.
private void	Configuration.collectAllInstances(IDecisionVariable var, IDatatype type, java.util.Map<IDatatype,Reference> referenceTypes, java.util.Map<IDecisionVariable,ReferenceValue> instances)	Collects all instances of type starting at var and stores results into referenceTypes and instances.
static java.util.List<IDecisionVariable>	ConfigQuery.collectVariablesByType(Configuration config, IDatatype type, boolean onlyToplevel)	Gathers all IDecisionVariables of the given Configuration, which match the specified type.
Value	Configuration.getAllInstances(IDatatype type)	Returns all instances of the given type and sub-types.
Value	IConfiguration.getAllInstances(IDatatype type)	Returns all instances of type.
protected java.util.List<IDecisionVariable>	AssignmentResolver.getInstancesForType(IDatatype type)	Returns a list of all (nested) IDecisionVariables for the given type.
void	VariableCreator.visitDatatype(IDatatype datatype)

Method parameters in net.ssehub.easy.varModel.confModel with type arguments of type IDatatype

Modifier and Type	Method	Description
private void	Configuration.collectAllInstances(IDecisionVariable var, IDatatype type, java.util.Map<IDatatype,Reference> referenceTypes, java.util.Map<IDecisionVariable,ReferenceValue> instances)	Collects all instances of type starting at var and stores results into referenceTypes and instances.

Uses of IDatatype in net.ssehub.easy.varModel.cst

Fields in net.ssehub.easy.varModel.cst declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	ContainerOperationCall.iteratorBase
private IDatatype	ContainerOperationCall.result
private IDatatype	IfThen.result
private IDatatype	OCLFeatureCall.result
private IDatatype	BlockExpression.type

Methods in net.ssehub.easy.varModel.cst that return IDatatype

Modifier and Type	Method	Description
private IDatatype	OCLFeatureCall.getActualReturnType(Operation op, IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type and considers the actual type of meta type parameters.
IDatatype	ConstantValue.getContainedType()
IDatatype	ConstraintSyntaxTree.getContainedType()	Returns the data type explicitly contained in this syntax tree.
IDatatype	ContainerOperationCall.getContainerType()	Returns the actual container type taking into account that the left side must not be a container but can dynamically be mapped into one.
IDatatype	ContainerOperationCall.getIteratorBaseType()	Returns the iterator base type (the type contained in the container we are iterating over).
private IDatatype	OCLFeatureCall.getParameterType(Operation tmp, int index, int requiredParamCount, int opInc)	Returns the parameter type of tmp at position index considering named and positional parameters.
IDatatype	CompoundAccess.getStaticType()	Returns the static type in case that this compound access is a static access.
IDatatype	Self.getType()	Returns the type (without exception throwing).
IDatatype	AttributeVariable.inferDatatype()
IDatatype	BlockExpression.inferDatatype()
IDatatype	Comment.inferDatatype()
IDatatype	CompoundAccess.inferDatatype()
IDatatype	CompoundInitializer.inferDatatype()
IDatatype	ConstantValue.inferDatatype()
abstract IDatatype	ConstraintSyntaxTree.inferDatatype()	Infers the datatype of the subtree represented by this object.
IDatatype	ContainerInitializer.inferDatatype()
IDatatype	ContainerOperationCall.inferDatatype()
IDatatype	EmptyInitializer.inferDatatype()
IDatatype	IfThen.inferDatatype()
IDatatype	Let.inferDatatype()
IDatatype	MultiAndExpression.inferDatatype()
IDatatype	NamedArgument.inferDatatype()
IDatatype	OCLFeatureCall.inferDatatype()
IDatatype	Parenthesis.inferDatatype()
IDatatype	Self.inferDatatype()
IDatatype	UnresolvedExpression.inferDatatype()
IDatatype	Variable.inferDatatype()

Methods in net.ssehub.easy.varModel.cst with parameters of type IDatatype

Modifier and Type	Method	Description
private Operation	OCLFeatureCall.checkOperand(Operation op, IDatatype operandType, IDatatype[] paramTypes)	If required, checks the operand against the operation result type.
private void	OCLFeatureCall.checkRequiredAssignableParameter(Operation op, IDatatype operandType, IDatatype[] paramTypes)	Checks the operation for required assignable parameter if required.
static void	OCLFeatureCall.checkTypeCompliance(Operation op, IDatatype operandType, IDatatype[] parameterTypes)	Performs specific type compliance checks for found operations, e.g., in case of equality or assignments.
static java.lang.String	UnknownOperationException.constructMessage(java.lang.String name, IDatatype operand, IDatatype... parameter)	Constructs the message for the exception.
private IDatatype	OCLFeatureCall.getActualReturnType(Operation op, IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type and considers the actual type of meta type parameters.
private Operation	OCLFeatureCall.getCustomOperation(ICustomOperationAccessor accessor, IDatatype[] paramTypes, int opInc)	Searches for a custom operation on accessor.
private Operation	OCLFeatureCall.getCustomOperation(ICustomOperationAccessor accessor, IDatatype[] paramTypes, java.util.HashSet<ICustomOperationAccessor> done, int opInc)	Searches for a custom operation on accessor and, if not found, on the imports of accessor.
private static boolean	OCLFeatureCall.isParameterAssignable(IDatatype declared, IDatatype argument)	Returns whether the argument type is assignable to the declared type.
private static void	OCLFeatureCall.resolveFully(ConstraintSyntaxTree[] parameter, IDatatype[] types)	Dereferences types if parameter does not indicate a refBy.

Constructors in net.ssehub.easy.varModel.cst with parameters of type IDatatype

Constructor	Description
UnknownOperationException(java.lang.String name, int code, IDatatype operand, IDatatype... parameter)	Constructs the message for the exception.

Uses of IDatatype in net.ssehub.easy.varModel.cstEvaluation

Fields in net.ssehub.easy.varModel.cstEvaluation declared as IDatatype

Modifier and Type	Field	Description
private IDatatype[]	DispatchInformation.argTypes
private IDatatype	DispatchInformation.returnType

Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.Map<java.lang.String,VariableValueCopier.CopySpec>>	VariableValueCopier.specs

Methods in net.ssehub.easy.varModel.cstEvaluation that return IDatatype

Modifier and Type	Method	Description
private static IDatatype	GenericOperations.toType(Value value)	Returns the type of value.

Methods in net.ssehub.easy.varModel.cstEvaluation that return types with arguments of type IDatatype

Modifier and Type	Method	Description
(package private) static java.util.Map<IDatatype,java.util.List<AbstractVariable>>	EvaluationUtils.groupQuantors(java.util.Iterator<AbstractVariable> staticIter)	Turns the statically accessed variables into groups of variables belonging to the same compound.

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type IDatatype

Modifier and Type	Method	Description
(package private) Value	EvaluationVisitor.EvaluationContextImpl.bind(IDatatype type)	Binds the type to the first/closest definition of type.
(package private) Value	LocalConfiguration.bind(IDatatype type, EvaluationContext context)	Binds the given type to the first matching decision variable.
(package private) static int	EvaluationUtils.calculateDiff(CustomOperation operation, IDatatype returns, IDatatype[] argTypes)	Returns the difference of the operations in terms of different (assignable) types.
private static EvaluationAccessor	ContainerOperations.convert(EvaluationAccessor operand, IDatatype targetType)	Performs the conversion of the operand to the given (container) datatype.
private static int	EvaluationUtils.diff(Compound type, IDatatype opType)	Calculates the difference between the compound type and its refinement hierarcy and opType.
private static int	EvaluationUtils.diff(IDatatype opType, IDatatype paramType)	Returns the difference indicator between two types.
Value	EvaluationVisitor.EvaluationContextImpl.getAllInstances(IDatatype type)
Value	LocalConfiguration.getAllInstances(IDatatype type)
Value	ContainerIterators.CollectingIteratorEvaluator.getStartResult(IDatatype type, IDatatype iterType)
Value	ContainerIterators.NumberIteratorEvaluator.getStartResult(IDatatype type, IDatatype iterType)
Value	IIteratorEvaluator.getStartResult(IDatatype type, IDatatype iterType)	Returns the start result.

Method parameters in net.ssehub.easy.varModel.cstEvaluation with type arguments of type IDatatype

Modifier and Type	Method	Description
private ConstraintSyntaxTree	EvaluationVisitor.bindFreeVarsByQuantors(ConstraintSyntaxTree cst, java.util.Map<IDatatype,java.util.List<AbstractVariable>> quantorGroups)	Binds the free variables by one quantor per quantor group.

Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type IDatatype

Constructor	Description
CollectionElementVariable(AbstractVariable base, IDatatype type, IResolutionPathElement path, int index)	Creates a collection element variable.

Uses of IDatatype in net.ssehub.easy.varModel.model

Classes in net.ssehub.easy.varModel.model that implement IDatatype

Modifier and Type	Class	Description
class	ProjectType	Implements a private datatype class which represents the (pseudo) type of a project.

Fields in net.ssehub.easy.varModel.model declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	AbstractVariable.type
private IDatatype	ModelQuery.FirstDeclTypeSelector.type

Methods in net.ssehub.easy.varModel.model that return IDatatype

Modifier and Type	Method	Description
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, java.lang.String typeName, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, java.lang.String typeName, java.lang.Class<? extends IDatatype> type, java.util.Set<IResolutionScope> done)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IDecisionVariableContainer container, java.lang.String typeName)	Finds the specified data type definition in the given container.
private static IDatatype	ModelQuery.findType(IResolutionScope elements, java.lang.String name, boolean considerVariableDeclarations, java.lang.Class<? extends IDatatype> type, java.util.Set<IResolutionScope> done)	Finds the specified data type definition in the given project.
static IDatatype	ModelQuery.findType(IResolutionScope elements, java.lang.String name, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition in the given project.
IDatatype	ProjectType.getGenericType(int index)
IDatatype	AbstractVariable.getType()	Returns the type of this variable.
IDatatype	CompoundAccessStatement.getType()
IDatatype	FreezeBlock.getType()	Returns the internal type of this block.
IDatatype	IFreezable.getType()	Returns the type of this freezable.
IDatatype	Project.getType()	Returns the (pseudo) datatype of this project.
IDatatype	ProjectType.getType()

Methods in net.ssehub.easy.varModel.model that return types with arguments of type IDatatype

Modifier and Type	Method	Description
java.lang.Class<? extends IDatatype>	ProjectType.getTypeClass()

Methods in net.ssehub.easy.varModel.model with parameters of type IDatatype

Modifier and Type	Method	Description
static java.lang.String	IvmlDatatypeVisitor.getQualifiedType(IDatatype type)	Returns the textual representation of the given type based on the qualified name using an instance of this class.
static java.lang.String	ModelQuery.getReferenceTypeSearchName(IDatatype type)	Returns the name to be used for searching for a reference with contained type type.
static java.lang.String	IvmlDatatypeVisitor.getType(IDatatype type, QualifiedNameMode mode)	Returns the textual representation of the given type using an instance of this class.
private static java.lang.String	ModelQuery.getType(IDatatype type, QualifiedNameMode mode)	Returns the textual representation of the given type.
static java.lang.String	IvmlDatatypeVisitor.getUniqueType(IDatatype type)	Returns the textual representation of the given type based on the unique name using an instance of this class.
static java.lang.String	IvmlDatatypeVisitor.getUnqualifiedType(IDatatype type)	Returns the textual representation of the given type based on the unqualified name using an instance of this class.
boolean	ProjectType.isAssignableFrom(IDatatype type)

Method parameters in net.ssehub.easy.varModel.model with type arguments of type IDatatype

Modifier and Type	Method	Description
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, java.lang.String typeName, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, java.lang.String typeName, java.lang.Class<? extends IDatatype> type, java.util.Set<IResolutionScope> done)	Finds the specified data type definition in the given elements.
private static IDatatype	ModelQuery.findType(IResolutionScope elements, java.lang.String name, boolean considerVariableDeclarations, java.lang.Class<? extends IDatatype> type, java.util.Set<IResolutionScope> done)	Finds the specified data type definition in the given project.
static IDatatype	ModelQuery.findType(IResolutionScope elements, java.lang.String name, java.lang.Class<? extends IDatatype> type)	Finds the specified data type definition in the given project.

Constructors in net.ssehub.easy.varModel.model with parameters of type IDatatype

Constructor	Description
AbstractVariable(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
AbstractVariable(java.lang.String name, IDatatype type, Value defaultValue, IModelElement parent)	Constructor for explicit variable creation.
Attribute(java.lang.String name, IDatatype type, IModelElement parent, IAttributableElement element)	Constructor for an attribute.
Attribute(java.lang.String name, IDatatype type, IModelElement parent, IAttributableElement element, Attribute origin)	Constructor for an attribute.
ConstantDecisionVariableDeclaration(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
DecisionVariableDeclaration(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
DotAttribute(java.lang.String name, IDatatype type, IModelElement parent, IAttributableElement element)	Constructor for an attribute specified by ".".
ExplicitTypeVariableDeclaration(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for explicitly typed variable declarator.
FirstDeclTypeSelector(IDatatype type)	Creates a selector for type.
ProjectDecisionVariableDeclaration(java.lang.String name, IDatatype type, ModelElement parent)	Constructor for decision variable declaration.

Uses of IDatatype in net.ssehub.easy.varModel.model.datatypes

Classes in net.ssehub.easy.varModel.model.datatypes that implement IDatatype

Modifier and Type	Class	Description
class	AnyType	The AnyType is the "Object" of OCL, a type to which all types are compatible.
class	BasisDatatype	Represents the basic data types of the IVML.
class	BooleanType	Creates the BasisDatatype Boolean.
class	Compound	A compound type groups multiple types into a single named unit.
class	ConstraintType	Defines the basis datatype for holding constraints.
class	Container	Realizes an abstract container.
class	CustomDatatype	Abstract class, implements the setName method for the custom data types.
(package private) class	DelegatingType	An internal delegating type to resolve cyclic class dependencies.
class	DerivedDatatype	DerivedDatatype allows the user to create new data types based on existing types.
class	Enum	Enumerations allow the definition of sets of named values.
class	FreezeVariableType	An internal type for freezes to iterate / specify expressions on freezables.
class	IntegerType	Creates the BasisDatatype Integer.
class	MetaType	Implements a data type which represents types (as result of type operations).
class	OrderedEnum	Enumerations allow the definition of sets of named values.
class	RealType	Creates the BasisDatatype Real.
class	Reference	A reference allows the definition of individual configurations of an (external) element for the referencing element.
class	Sequence	Realizes a sequence container.
class	Set	Realizes a set container.
class	StringType	Defines the basis datatype String.
class	StructuredDatatype	Class to specify the container and compound.
class	VersionType	Defines the basis (internal) datatype "Version".
class	VoidType	The AnyType is the "Object" of OCL, a type to which all types are compatible.

Fields in net.ssehub.easy.varModel.model.datatypes declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	DerivedDatatype.basisType
private IDatatype	DelegatingType.delegate	Stores the type to delegate to.
private IDatatype	Operation.operand	Stores the data type this operation is defined for.
private IDatatype[]	Operation.parameters
private IDatatype	Operation.returns
private IDatatype	BaseTypeVisitor.type
private IDatatype	Container.type
private IDatatype	Reference.type
static IDatatype	AnyType.TYPE
static IDatatype	BooleanType.TYPE
static IDatatype	Compound.TYPE	This constant represents the common type of all compounds.
static IDatatype	ConstraintType.TYPE
static IDatatype	Container.TYPE	This constant represents the common type of all sets.
static IDatatype	DerivedDatatype.TYPE	This constant represents the common type of all derived datatypes.
static IDatatype	Enum.TYPE	This constant represents the common type of all enums.
static IDatatype	FreezeVariableType.TYPE	This constant represents the common type of all freeze variables.
static IDatatype	IntegerType.TYPE
static IDatatype	MetaType.TYPE
static IDatatype	OrderedEnum.TYPE	This constant represents the common type of all enums.
static IDatatype	RealType.TYPE
static IDatatype	Reference.TYPE	This constant represents the common type of all references.
static IDatatype	Sequence.TYPE	This constant represents the common type of all sets.
static IDatatype	Set.TYPE	This constant represents the common type of all sets.
static IDatatype	StringType.TYPE
static IDatatype	VersionType.TYPE
static IDatatype	VoidType.TYPE
private static IDatatype[]	Types.TYPES

Fields in net.ssehub.easy.varModel.model.datatypes with type parameters of type IDatatype

Modifier and Type	Field	Description
private static java.util.Map<java.lang.String,IDatatype>	Types.BASIC
private static java.util.Map<java.lang.String,IDatatype>	TypeMapper.STRING_TYPE	Stores the name-to-type-mappings.
private static java.util.Map<IDatatype,java.lang.String>	TypeMapper.TYPE_STRING	Stores the type-to-name-mappings.

Methods in net.ssehub.easy.varModel.model.datatypes that return IDatatype

Modifier and Type	Method	Description
protected IDatatype	Operation.createCollectionReturnType(IDatatype aim, IDatatype elementType, IModelElement parent)	Creates a collection return type based on aim.
protected IDatatype	SetReturningOperation.createCollectionReturnType(IDatatype aim, IDatatype elementType, IModelElement parent)
static IDatatype	Reference.dereference(IDatatype type)	Aims at dereference type in case that it is a reference.
static IDatatype	TypeQueries.findDeepestGeneric(IDatatype type, int pos)	Finds the deepest generic type in type always trying pos as position for the generic type.
IDatatype	Operation.getActualReturnType(IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type.
static IDatatype	BaseTypeVisitor.getBaseType(IDatatype type)	Returns the base type of type.
static IDatatype	Types.getBasicTypeByName(java.lang.String name)	Returns a basic type by name.
IDatatype	DerivedDatatype.getBasisType()	Returns the basis type.
IDatatype	Container.getContainedType()	Returns the type of the contained elements.
IDatatype	DelegatingType.getDelegate()	Returns the delegate type.
IDatatype	BasisDatatype.getGenericType(int index)
IDatatype	Container.getGenericType(int index)
IDatatype	CustomDatatype.getGenericType(int index)
IDatatype	DelegatingType.getGenericType(int index)
IDatatype	IDatatype.getGenericType(int index)	Returns the specified generic type.
IDatatype	Operation.getOperand()	The operand this operation is defined on.
IDatatype	Operation.getParameterType(int index)	Returns the parameter type at position index.
private static IDatatype[]	CustomOperation.getParameterTypes(DecisionVariableDeclaration[] decl)	Returns the datatypes of the parameter declarations.
IDatatype	Operation.getReturns()	Getter for the return type of this operation.
private IDatatype	BaseTypeVisitor.getType()	Returns the inferred base type.
IDatatype	BasisDatatype.getType()	Returns the object realizing the type.
IDatatype	CustomDatatype.getType()	Returns the object realizing the type.
IDatatype	DelegatingType.getType()	Returns the object realizing the type.
IDatatype	ICustomOperationAccessor.getType()	Returns the (pseudo) datatype of this accessor, the operand type for all accessible custom operations.
IDatatype	IDatatype.getType()	Returns the object realizing the type.
IDatatype	Reference.getType()	Returns the type this reference is referring to.
static IDatatype	TypeMapper.getType(java.lang.String name)	Returns the mapped type for a name.
static IDatatype[]	Types.getTypes()	Returns the currently known types.
private IDatatype	Operation.immediateOperandCollection(IDatatype immediateOperand)	Returns a collection type using the immediate operand as generic based on the original return type of this operation.
private IDatatype	Operation.immediateOperandCollection(Operation.ReturnTypeMode mode, IDatatype immediateOperand, IDatatype[] parameter)	Determines the immediate operand for a collection.
static IDatatype	TypeQueries.resolveFully(IDatatype type)	Resolves to the most basic type, i.e., even across nested references/derived types.
static IDatatype	DerivedDatatype.resolveToBasis(IDatatype type)	Resolves the given type to its innermost basis datatype.
static IDatatype[]	TypeQueries.toGenerics(IDatatype type)	Turns the generics of type into an array of types.

Methods in net.ssehub.easy.varModel.model.datatypes that return types with arguments of type IDatatype

Modifier and Type	Method	Description
java.lang.Class<? extends IDatatype>	BasisDatatype.getTypeClass()
java.lang.Class<? extends IDatatype>	CustomDatatype.getTypeClass()	Returns the java class realizing the type.
java.lang.Class<? extends IDatatype>	DelegatingType.getTypeClass()
java.lang.Class<? extends IDatatype>	IDatatype.getTypeClass()	Returns the java class realizing the type.

Methods in net.ssehub.easy.varModel.model.datatypes with parameters of type IDatatype

Modifier and Type	Method	Description
private static void	Types.addBasicType(IDatatype type)	Registers a basic type for retrieval by name.
void	DatatypeVisitor.constructReferenceName(IDatatype type)	Constructs a reference name from the given contained type.
protected void	DatatypeVisitor.constructSurrounded(java.lang.String prefix, IDatatype type)	Constructs a surrounded datatype, i.e.
protected IDatatype	Operation.createCollectionReturnType(IDatatype aim, IDatatype elementType, IModelElement parent)	Creates a collection return type based on aim.
protected IDatatype	SetReturningOperation.createCollectionReturnType(IDatatype aim, IDatatype elementType, IModelElement parent)
static Operation	Operation.createInfixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates an infix operator (descriptor).
static Operation	Operation.createPostfixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates a postfix operator (descriptor).
static Operation	Operation.createPrefixOperator(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates a prefix operator (descriptor).
static IDatatype	Reference.dereference(IDatatype type)	Aims at dereference type in case that it is a reference.
static void	Reference.dereference(IDatatype[] types)	Dereferences all datatypes in type.
static IDatatype	TypeQueries.findDeepestGeneric(IDatatype type, int pos)	Finds the deepest generic type in type always trying pos as position for the generic type.
IDatatype	Operation.getActualReturnType(IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type.
static IDatatype	BaseTypeVisitor.getBaseType(IDatatype type)	Returns the base type of type.
private static BaseTypeVisitor	BaseTypeVisitor.getInstance(IDatatype type)	Obtains an instance from the pool.
static java.lang.String	TypeMapper.getName(IDatatype type)	Returns the mapping name for a type.
static Operation	TypeQueries.getOperation(IDatatype operand, java.lang.String name, IDatatype... parameter)	Returns an operation defined on operand with given name and parameters.
java.lang.String	DatatypeVisitor.getType(IDatatype type)	Returns the textual representation of this type.
private IDatatype	Operation.immediateOperandCollection(IDatatype immediateOperand)	Returns a collection type using the immediate operand as generic based on the original return type of this operation.
private IDatatype	Operation.immediateOperandCollection(Operation.ReturnTypeMode mode, IDatatype immediateOperand, IDatatype[] parameter)	Determines the immediate operand for a collection.
static boolean	TypeQueries.isAnyType(IDatatype type)	Returns whether type is AnyType.
boolean	AnyType.isAssignableFrom(IDatatype type)
boolean	BasisDatatype.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	BooleanType.isAssignableFrom(IDatatype type)
boolean	Compound.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	ConstraintType.isAssignableFrom(IDatatype type)
boolean	Container.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	CustomDatatype.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	DelegatingType.isAssignableFrom(IDatatype type)
boolean	DerivedDatatype.isAssignableFrom(IDatatype type)
boolean	FreezeVariableType.isAssignableFrom(IDatatype type)
boolean	IDatatype.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	RealType.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	Reference.isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
boolean	VoidType.isAssignableFrom(IDatatype type)
static boolean	TypeQueries.isCompound(IDatatype type)	Returns whether type is a compound type.
static boolean	ConstraintType.isConstraint(IDatatype type)	Returns whether type is a constraint.
static boolean	TypeQueries.isConstraint(IDatatype type)	Returns whether type is a constraint (in the sense of a constraint variable).
static boolean	Container.isConstraintContainer(IDatatype type)	Returns whether type is a container with one generic of type Constraint.
static boolean	Container.isContainer(IDatatype type, IDatatype... generics)	Returns whether type is a container and the given generics match.
static boolean	TypeQueries.isContainer(IDatatype type)	Returns whether type is a container.
static boolean	TypeQueries.isEnum(IDatatype type)	Returns whether type is an enum.
static boolean	TypeQueries.isFreezeVariableType(IDatatype type)	Returns whether type is a freeze variable.
static boolean	TypeQueries.isReference(IDatatype type)	Returns whether type is a reference.
static boolean	Container.isReferencesContainer(IDatatype type)	Returns if type is a container of references.
static boolean	Container.isReferencesContainer(IDatatype type, IDatatype elementType)	Returns if type is a container of references of the given elementType.
static boolean	Reference.isReferenceTo(IDatatype type, IDatatype parameter)	Returns whether the given type is a reference with given generic.
static boolean	Sequence.isSequence(IDatatype type, IDatatype... generics)	Returns whether type is a squence and the given generics match.
static boolean	TypeQueries.isSequence(IDatatype type)	Returns whether type is a sequence.
static boolean	Set.isSet(IDatatype type, IDatatype... generics)	Returns whether type is a squence and the given generics match.
static boolean	TypeQueries.isSet(IDatatype type)	Returns whether type is a set.
protected static boolean	CustomDatatype.isType(IDatatype requestedType, IDatatype type, IDatatype... generics)	Returns whether type of requestedTypeand the given generics match.
private static void	TypeMapper.put(java.lang.String name, IDatatype type)	Adds a name-type-mapping.
static IDatatype	TypeQueries.resolveFully(IDatatype type)	Resolves to the most basic type, i.e., even across nested references/derived types.
static IDatatype	DerivedDatatype.resolveToBasis(IDatatype type)	Resolves the given type to its innermost basis datatype.
static boolean	TypeQueries.sameTypes(IDatatype type1, IDatatype type2)	Returns whether the two types given are the same.
void	DelegatingType.setDelegate(IDatatype delegate)	Changes the delegate.
private void	BaseTypeVisitor.setType(IDatatype type)	Defines the initial value of the base type (also used for resetting and reuse).
static IDatatype[]	TypeQueries.toGenerics(IDatatype type)	Turns the generics of type into an array of types.
void	BaseTypeVisitor.visitDatatype(IDatatype datatype)
void	DatatypeVisitor.visitDatatype(IDatatype datatype)
void	IDatatypeVisitor.visitDatatype(IDatatype datatype)	Is called by an arbitrary data type.

Constructors in net.ssehub.easy.varModel.model.datatypes with parameters of type IDatatype

Constructor	Description
Container(java.lang.String name, DelegatingType singleton, IDatatype type, IModelElement parent)	Constructor for the container.
CustomDynamicOperation(IDatatype returns, java.lang.String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.
CustomOperation(IDatatype returns, java.lang.String methodname, IDatatype operand, ConstraintSyntaxTree function, DecisionVariableDeclaration[] parameters)	Operation Constructor.
DelegatingType(IDatatype delegate)	Creates a delegating type.
DelegatingType(IDatatype delegate, DelegatingType parent)	Creates a delegating type.
DerivedDatatype(java.lang.String name, IDatatype basisType, ModelElement parent)	Constructor for the derived data type.
DerivedDatatype(java.lang.String name, IDatatype basisType, ModelElement parent, Constraint... constraints)	Constructor for the derived data type.
Operation(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates a non-container operation (descriptor).
Operation(IDatatype returns, Operation.ReturnTypeMode returnTypeMode, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates an operation (descriptor).
Reference(java.lang.String name, IDatatype type, ModelElement parent)	Constructor for the reference.
Sequence(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for the container.
Set(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for the container.
SetReturningOperation(IDatatype returns, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates a non-container operation (descriptor).
SetReturningOperation(IDatatype returns, Operation.ReturnTypeMode returnTypeMode, java.lang.String name, IDatatype operand, IDatatype... parameters)	Creates an operation (descriptor).

Uses of IDatatype in net.ssehub.easy.varModel.model.filter

Fields in net.ssehub.easy.varModel.model.filter declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	DatatypeFinder.type
private IDatatype	DeclarationFinder.type

Methods in net.ssehub.easy.varModel.model.filter with parameters of type IDatatype

Modifier and Type	Method	Description
static java.util.List<AbstractVariable>	ReferenceValuesFinder.findPossibleValues(Project project, IDatatype type)	Searches inside the whole Project for AbstractVariables, which are of the specified type.

Constructors in net.ssehub.easy.varModel.model.filter with parameters of type IDatatype

Constructor	Description
DatatypeFinder(Project originProject, FilterType filterType, IDatatype type)	Sole constructor for creating a new DatatypeFinder.
DeclarationFinder(Project project, FilterType filterType, IDatatype type)	Constructor for specifying whether search results should be filtered regarding the specified IDatatype.
DeclarationFinder(Project project, FilterType filterType, IDatatype type, boolean onlyToplevel)	Constructor for specifying whether search results should be filtered regarding the specified IDatatype and whether only toplevel variables should be retrieved.

Uses of IDatatype in net.ssehub.easy.varModel.model.filter.mandatoryVars

Fields in net.ssehub.easy.varModel.model.filter.mandatoryVars with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.List<AbstractVariable>>	MandatoryDeclarationClassifier.declarationsByType

Methods in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type IDatatype

Modifier and Type	Method	Description
private java.util.List<AbstractVariable>	MandatoryDeclarationClassifier.getDeclarationsByType(IDatatype type)	Find all declarations for the given IDatatype, also not top level declarations.

Uses of IDatatype in net.ssehub.easy.varModel.model.rewrite

Fields in net.ssehub.easy.varModel.model.rewrite with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Map<IDatatype,java.util.Set<IDecisionVariable>>	VariableLookUpTable.instancesPerType	List of instances for a given IDatatype.
private java.util.Map<IDatatype,Project>	ProjectCopyVisitor.projectTypes	Dirty but needed for ProjectCopyVisitor.getTranslatedType(IDatatype): Tuple of (original project type, copied project).

Methods in net.ssehub.easy.varModel.model.rewrite that return IDatatype

Modifier and Type	Method	Description
private IDatatype	ProjectCopyVisitor.getTranslatedContainer(Container originalType)	Part of ProjectCopyVisitor.getTranslatedType(IDatatype): Returns the translated type for containers.
(package private) IDatatype	ProjectCopyVisitor.getTranslatedType(IDatatype originalType)	Returns the copied IDatatype for the given one.

Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type IDatatype

Modifier and Type	Method	Description
private void	VariableLookUpTable.addVariable(IDecisionVariable variable, IDatatype type)	Adds an IDecisionVariable to the VariableLookUpTable.instancesPerType.
java.util.Set<IDecisionVariable>	RewriteContext.getInstancesForType(Configuration config, IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) java.util.Set<IDecisionVariable>	VariableLookUpTable.getInstancesForType(IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) IDatatype	ProjectCopyVisitor.getTranslatedType(IDatatype originalType)	Returns the copied IDatatype for the given one.

Uses of IDatatype in net.ssehub.easy.varModel.model.search

Methods in net.ssehub.easy.varModel.model.search with parameters of type IDatatype

Modifier and Type	Method	Description
private java.lang.String	PrefixSearchVisitor.checkType(IDatatype type, ModelElement element)	Checks a type for inclusion.

Uses of IDatatype in net.ssehub.easy.varModel.model.values

Fields in net.ssehub.easy.varModel.model.values declared as IDatatype

Modifier and Type	Field	Description
private IDatatype	Value.origin
private IDatatype	MetaTypeValue.value

Fields in net.ssehub.easy.varModel.model.values with type parameters of type IDatatype

Modifier and Type	Field	Description
private static java.util.Map<java.lang.Class<? extends IDatatype>,ValueFactory.IValueCreator>	ValueFactory.map	This map values associated to the origin datatype.

Methods in net.ssehub.easy.varModel.model.values that return IDatatype

Modifier and Type	Method	Description
static IDatatype	CompoundValue.getActualType(java.lang.Object[] slotValues)	Returns the actual type if stored as CompoundValue.SPECIAL_SLOT_NAME_TYPE parameter in the given array.
IDatatype	ContainerValue.getContainedType()
IDatatype	MetaTypeValue.getContainedType()	Returns the data type explicitly contained in this value.
IDatatype	Value.getContainedType()	Returns the data type explicitly contained in this value.
IDatatype	Value.getType()	Returns the Datatype of this Value.
IDatatype	MetaTypeValue.getValue()	Getter for the value.

Methods in net.ssehub.easy.varModel.model.values with parameters of type IDatatype

Modifier and Type	Method	Description
static Value	ValueFactory.createValue(IDatatype type, java.lang.Object... value)	Creates and returns a Value.
Value	ValueFactory.IValueCreator.createValue(IDatatype type, java.lang.Object... value)	Part of this Factory, should call the constructor of a value.

Constructors in net.ssehub.easy.varModel.model.values with parameters of type IDatatype

Constructor	Description
BasisDatatypeValue(IDatatype type)	Constructor for a new BasisDatatypeValue.
ReferenceValue(IDatatype origin, java.lang.Object... ref)	Constructor for a new ReferenceValue.
Value(IDatatype origin)	Constructor.
ValueDoesNotMatchTypeException(java.lang.String value, IDatatype type, int code)	Creates a new mismatch exception.

Uses of IDatatype in net.ssehub.easy.varModel.persistency

Methods in net.ssehub.easy.varModel.persistency with parameters of type IDatatype

Modifier and Type	Method	Description
private void	IVMLWriter.emitType(IDatatype type, boolean considerValues)	Emits the type of an initializer if required.
static java.lang.String	StringProvider.toIvmlString(IDatatype type)	Turns a type into a string containing IVML.

Uses of IDatatype in net.ssehub.easy.varModel.validation

Fields in net.ssehub.easy.varModel.validation with type parameters of type IDatatype

Modifier and Type	Field	Description
private java.util.Set<IDatatype>	IvmlValidationVisitor.customTypes

Methods in net.ssehub.easy.varModel.validation with parameters of type IDatatype

Modifier and Type	Method	Description
private void	IvmlValidationVisitor.checkType(IDatatype type, java.lang.Object cause)	Checks for a valid datatype.