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

Packages that use IDatatype

Package	Description
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 net.ssehub.easy.varModel.confModel

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

Modifier and Type	Field	Description
private Map<IDatatype,Map<IDecisionVariable,ReferenceValue>>	Configuration.allInstances
private Map<IDatatype,List<IDecisionVariable>>	AssignmentResolver.instancesPerType	Temporary list of all instances per data type.
private Map<IDatatype,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, List<IDecisionVariable> variables)	Recursive part of ConfigQuery.collectVariablesByType(Configuration, IDatatype, boolean), which searches for (nested) variables.
private void	Configuration.collectAllInstances(IDecisionVariable var, IDatatype type, Map<IDatatype,Reference> referenceTypes, Map<IDecisionVariable,ReferenceValue> instances)	Collects all instances of type starting at var and stores results into referenceTypes and instances.
static 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 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, Map<IDatatype,Reference> referenceTypes, 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.createCollectionType(IDatatype immediateOperand, IDatatype containedType)	Creates a collection type.
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	DeferInitExpression.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 final String	UnknownOperationException.constructMessage(String name, IDatatype operand, IDatatype... parameter)	Constructs the message for the exception.
private IDatatype	OCLFeatureCall.createCollectionType(IDatatype immediateOperand, IDatatype containedType)	Creates a collection type.
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, HashSet<ICustomOperationAccessor> done, int opInc)	Searches for a custom operation on accessor and, if not found, on the imports of accessor.
private Operation	OCLFeatureCall.getCustomOperationOnImports(ICustomOperationAccessor accessor, IDatatype[] paramTypes, HashSet<ICustomOperationAccessor> done, int opInc)	Finds an operation via accessor imports.
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

Modifier	Constructor	Description
	UnknownOperationException(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 Map<IDatatype,Map<String,VariableValueCopier.CopySpec>>	VariableValueCopier.specs

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

Modifier and Type	Method	Description
private static IDatatype[]	DispatchInformation.getArgTypes(EvaluationAccessor[] args)	Extracts the argument types.
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 Map<IDatatype,List<AbstractVariable>>	EvaluationUtils.groupQuantors(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 final 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, Map<IDatatype,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

Modifier	Constructor	Description
(package private)	CollectionElementVariable(AbstractVariable base, IDatatype type, IResolutionPathElement path, int index)	Creates a collection element variable.
	DispatchInformation(CustomOperation operation, IDatatype[] argTypes, boolean countAnnotations)	Creates a dispatch information object.

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, String typeName, Class<? extends IDatatype> type)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, String typeName, Class<? extends IDatatype> type, Set<IResolutionScope> done)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IDecisionVariableContainer container, String typeName)	Finds the specified data type definition in the given container.
private static IDatatype	ModelQuery.findType(IResolutionScope elements, String name, boolean considerVariableDeclarations, Class<? extends IDatatype> type, Set<IResolutionScope> done)	Finds the specified data type definition in the given project.
static IDatatype	ModelQuery.findType(IResolutionScope elements, String name, 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
Class<? extends IDatatype>	ProjectType.getTypeClass()

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

Modifier and Type	Method	Description
static final 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 final String	ModelQuery.getReferenceTypeSearchName(IDatatype type)	Returns the name to be used for searching for a reference with contained type type.
static final String	IvmlDatatypeVisitor.getType(IDatatype type, QualifiedNameMode mode)	Returns the textual representation of the given type using an instance of this class.
private static final String	ModelQuery.getType(IDatatype type, QualifiedNameMode mode)	Returns the textual representation of the given type.
static final 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 final 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, String typeName, Class<? extends IDatatype> type)	Finds the specified data type definition in the given elements.
static IDatatype	ModelQuery.findElementByTypeName(IResolutionScope elements, String typeName, Class<? extends IDatatype> type, Set<IResolutionScope> done)	Finds the specified data type definition in the given elements.
private static IDatatype	ModelQuery.findType(IResolutionScope elements, String name, boolean considerVariableDeclarations, Class<? extends IDatatype> type, Set<IResolutionScope> done)	Finds the specified data type definition in the given project.
static IDatatype	ModelQuery.findType(IResolutionScope elements, String name, 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

Modifier	Constructor	Description
	AbstractVariable(String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
	AbstractVariable(String name, IDatatype type, Value defaultValue, IModelElement parent)	Constructor for explicit variable creation.
	Attribute(String name, IDatatype type, IModelElement parent, IAttributableElement element)	Constructor for an attribute.
	Attribute(String name, IDatatype type, IModelElement parent, IAttributableElement element, Attribute origin)	Constructor for an attribute.
	ConstantDecisionVariableDeclaration(String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
	DecisionVariableDeclaration(String name, IDatatype type, IModelElement parent)	Constructor for decision variable declaration.
	DotAttribute(String name, IDatatype type, IModelElement parent, IAttributableElement element)	Constructor for an attribute specified by ".".
	ExplicitTypeVariableDeclaration(String name, IDatatype type, IModelElement parent)	Constructor for explicitly typed variable declarator.
	FirstDeclTypeSelector(IDatatype type)	Creates a selector for type.
	ProjectDecisionVariableDeclaration(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 final IDatatype	AnyType.TYPE
static final IDatatype	BooleanType.TYPE
static final IDatatype	Compound.TYPE	This constant represents the common type of all compounds.
static final IDatatype	ConstraintType.TYPE
static final IDatatype	Container.TYPE	This constant represents the common type of all sets.
static final IDatatype	DerivedDatatype.TYPE	This constant represents the common type of all derived datatypes.
static final IDatatype	Enum.TYPE	This constant represents the common type of all enums.
static final IDatatype	FreezeVariableType.TYPE	This constant represents the common type of all freeze variables.
static final IDatatype	IntegerType.TYPE
static final IDatatype	MetaType.TYPE
static final IDatatype	OrderedEnum.TYPE	This constant represents the common type of all enums.
static final IDatatype	RealType.TYPE
static final IDatatype	Reference.TYPE	This constant represents the common type of all references.
static final IDatatype	Sequence.TYPE	This constant represents the common type of all sets.
static final IDatatype	Set.TYPE	This constant represents the common type of all sets.
static final IDatatype	StringType.TYPE
static final IDatatype	VersionType.TYPE
static final IDatatype	VoidType.TYPE
private static final IDatatype[]	Types.TYPES

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

Modifier and Type	Field	Description
private static final Map<String,IDatatype>	Types.BASIC
private static final Map<String,IDatatype>	TypeMapper.STRING_TYPE	Stores the name-to-type-mappings.
private static final Map<IDatatype,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.
final IDatatype	Operation.getActualReturnType(IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type.
static final IDatatype	BaseTypeVisitor.getBaseType(IDatatype type)	Returns the base type of type.
static final IDatatype	Types.getBasicTypeByName(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 final IDatatype	TypeMapper.getType(String name)	Returns the mapped type for a name.
static final 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 final 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
Class<? extends IDatatype>	BasisDatatype.getTypeClass()
Class<? extends IDatatype>	CustomDatatype.getTypeClass()	Returns the java class realizing the type.
Class<? extends IDatatype>	DelegatingType.getTypeClass()
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(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, String name, IDatatype operand, IDatatype... parameters)	Creates an infix operator (descriptor).
static Operation	Operation.createPostfixOperator(IDatatype returns, String name, IDatatype operand, IDatatype... parameters)	Creates a postfix operator (descriptor).
static Operation	Operation.createPrefixOperator(IDatatype returns, 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.
final IDatatype	Operation.getActualReturnType(IDatatype immediateOperand, IDatatype... parameter)	Determines the actual return type.
static final IDatatype	BaseTypeVisitor.getBaseType(IDatatype type)	Returns the base type of type.
private static final BaseTypeVisitor	BaseTypeVisitor.getInstance(IDatatype type)	Obtains an instance from the pool.
static final String	TypeMapper.getName(IDatatype type)	Returns the mapping name for a type.
static Operation	TypeQueries.getOperation(IDatatype operand, String name, IDatatype... parameter)	Returns an operation defined on operand with given name and parameters.
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 final boolean	Container.isConstraintContainer(IDatatype type)	Returns whether type is a container with one generic of type Constraint.
static final 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 final 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 final 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 final 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 final boolean	CustomDatatype.isType(IDatatype requestedType, IDatatype type, IDatatype... generics)	Returns whether type of requestedTypeand the given generics match.
private static final void	TypeMapper.put(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 final 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

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

Modifier	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 Map<IDatatype,List<AbstractVariable>>	MandatoryDeclarationClassifier.declarationsByType

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

Modifier and Type	Method	Description
private 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 Map<IDatatype,Set<IDecisionVariable>>	VariableLookUpTable.instancesPerType	List of instances for a given IDatatype.
private 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.
Set<IDecisionVariable>	RewriteContext.getInstancesForType(Configuration config, IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) 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 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 Map<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 final IDatatype	CompoundValue.getActualType(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, Object... value)	Creates and returns a Value.
Value	ValueFactory.IValueCreator.createValue(IDatatype type, 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

Modifier	Constructor	Description
protected	BasisDatatypeValue(IDatatype type)	Constructor for a new BasisDatatypeValue.
protected	ReferenceValue(IDatatype origin, Object... ref)	Constructor for a new ReferenceValue.
protected	Value(IDatatype origin)	Constructor.
	ValueDoesNotMatchTypeException(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 final 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 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, Object cause)	Checks for a valid datatype.