net.ssehub.easy.reasoning.sseReasoner.functions

Class DefaultValueTranslator

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.DefaultValueTranslator

public class DefaultValueTranslator
extends java.lang.Object

Turns partial compound default values into complete values as EASy allows only one default assignment per variable.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Constructor and Description
DefaultValueTranslator()

Method Summary

Modifier and Type	Method and Description
private static net.ssehub.easy.varModel.cst.CompoundInitializer	createTranslatedCompoundInitializer(net.ssehub.easy.varModel.model.datatypes.Compound type, java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> values, java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.AbstractVariable> decls) Creates a translated compound initializer.
static net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	translateDefaultValue(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst) Translates a default value into its complete one-time default assignment value by including nested default values of the defining compound/container types.
private static void	translateDefaultValues(net.ssehub.easy.varModel.model.datatypes.Compound type, java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> values, java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.AbstractVariable> decls) Recursively translates the default values of type into values and decls, but only if the slots are not already allocated.
static net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	translateDefaultValueSafe(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst) Calls translateDefaultValue(ConstraintSyntaxTree) catching/logging exceptions.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultValueTranslator

public DefaultValueTranslator()

Method Detail

translateDefaultValueSafe

public static net.ssehub.easy.varModel.cst.ConstraintSyntaxTree translateDefaultValueSafe(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst)

Calls translateDefaultValue(ConstraintSyntaxTree) catching/logging exceptions.

Parameters:

cst - the constraint to be translated

Returns:

the translated constraint or cst

translateDefaultValue

public static net.ssehub.easy.varModel.cst.ConstraintSyntaxTree translateDefaultValue(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst)
                                                                               throws net.ssehub.easy.varModel.cst.CSTSemanticException

Translates a default value into its complete one-time default assignment value by including nested default values of the defining compound/container types.

Parameters:

cst - the constraint to be translated

Returns:

the translated constraint or cst

Throws:

net.ssehub.easy.varModel.cst.CSTSemanticException - if constraint expressions cannot correctly be built

translateDefaultValues

private static void translateDefaultValues(net.ssehub.easy.varModel.model.datatypes.Compound type,
                                           java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> values,
                                           java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.AbstractVariable> decls)
                                    throws net.ssehub.easy.varModel.cst.CSTSemanticException

Recursively translates the default values of type into values and decls, but only if the slots are not already allocated.

Parameters:

type - the type to be translated

values - the values, i.e., slot name to value expression mappings

decls - the declarations, i.e., slot name to declaration mappings

Throws:

net.ssehub.easy.varModel.cst.CSTSemanticException - if constraint expressions cannot correctly be built

createTranslatedCompoundInitializer

private static net.ssehub.easy.varModel.cst.CompoundInitializer createTranslatedCompoundInitializer(net.ssehub.easy.varModel.model.datatypes.Compound type,
                                                                                                    java.util.Map<java.lang.String,net.ssehub.easy.varModel.cst.ConstraintSyntaxTree> values,
                                                                                                    java.util.Map<java.lang.String,net.ssehub.easy.varModel.model.AbstractVariable> decls)
                                                                                             throws net.ssehub.easy.varModel.cst.CSTSemanticException

Creates a translated compound initializer.

Parameters:

type - the type initializer represents

values - the values, i.e., slot name to value expression mappings

decls - the declarations, i.e., slot name to declaration mappings

Returns:

the created initializer

Throws:

net.ssehub.easy.varModel.cst.CSTSemanticException - if constraint expressions cannot correctly be built