net.ssehub.easy.reasoning.sseReasoner.functions

Class ConstraintFunctions

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions

public class ConstraintFunctions
extends java.lang.Object

Generic constraint functions based on the AbstractConstraintProcessor.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	ConstraintFunctions.TransitiveConstraintFinder A transitive constraint/variables finder.

Constructor Summary

Constructors

Constructor and Description
ConstraintFunctions()

Method Summary

Modifier and Type	Method and Description
static void	addConstraintsToProject(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.Project scope, net.ssehub.easy.varModel.model.Project target) Adds constraints related to var and transitively related constraints and variables in scope to target although the parent relationships of the added variables/constraints are then not correct.
static void	allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng, AbstractConstraintProcessor processor) Processes all assignment constraints.
static void	allCompoundConstraints(net.ssehub.easy.varModel.model.datatypes.Compound cmpType, AbstractConstraintProcessor processor, boolean includeConstraintVariables, boolean includeDefaults, net.ssehub.easy.varModel.model.IModelElement parent) Processes all constraints relevant to the given Compound.

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstraintFunctions

public ConstraintFunctions()

Method Detail

allCompoundConstraints

public static void allCompoundConstraints(net.ssehub.easy.varModel.model.datatypes.Compound cmpType,
                                          AbstractConstraintProcessor processor,
                                          boolean includeConstraintVariables,
                                          boolean includeDefaults,
                                          net.ssehub.easy.varModel.model.IModelElement parent)

Processes all constraints relevant to the given Compound.

Parameters:

cmpType - Compound to be processed.

processor - The constraint processor functor.

includeConstraintVariables - true whether constraint variables shall be included.

includeDefaults - true whether default value expressions shall be included.

parent - the intended parent for constraints, typically the containing project

allAssignmentConstraints

public static void allAssignmentConstraints(net.ssehub.easy.varModel.model.AttributeAssignment assng,
                                            AbstractConstraintProcessor processor)

Processes all assignment constraints.

Parameters:

assng - the assignment constraint

processor - the constraint processor for assignment constraints

addConstraintsToProject

public static void addConstraintsToProject(net.ssehub.easy.varModel.model.AbstractVariable var,
                                           net.ssehub.easy.varModel.model.Project scope,
                                           net.ssehub.easy.varModel.model.Project target)

Adds constraints related to var and transitively related constraints and variables in scope to target although the parent relationships of the added variables/constraints are then not correct. This method is intended for creating temporary projects/configurations.

Parameters:

var - the variable used as starting point for the transitive search

scope - the search scope including imports

target - the target project to add the elements to