package ptolemy.data.properties.configuredSolvers.lattice;
import ptolemy.actor.gui.ColorAttribute;
import ptolemy.data.properties.lattice.PropertyConstraintSolver;
import ptolemy.kernel.util.IllegalActionException;
import ptolemy.kernel.util.NameDuplicationException;
import ptolemy.kernel.util.NamedObj;
import ptolemy.kernel.util.Settable;
import ptolemy.kernel.util.StringAttribute;
public class SWconfig_Backward_CS extends PropertyConstraintSolver {
public SWconfig_Backward_CS(NamedObj container, String name) throws IllegalActionException, NameDuplicationException {
super(container, name);
propertyLattice.setExpression("softwareConfiguration");
propertyLattice.setVisibility(Settable.NOT_EDITABLE);
solvingFixedPoint.setExpression("least");
solvingFixedPoint.setVisibility(Settable.NOT_EDITABLE);
actorConstraintType.setExpression("in >= out");
actorConstraintType.setVisibility(Settable.NOT_EDITABLE);
connectionConstraintType.setExpression("src >= sink");
connectionConstraintType.setVisibility(Settable.NOT_EDITABLE);
compositeConnectionConstraintType.setExpression("src >= sink");
compositeConnectionConstraintType.setVisibility(Settable.NOT_EDITABLE);
expressionASTNodeConstraintType.setExpression("child >= parent");
expressionASTNodeConstraintType.setVisibility(Settable.NOT_EDITABLE);
fsmConstraintType.setExpression("src >= sink");
fsmConstraintType.setVisibility(Settable.NOT_EDITABLE);
// Add default highlight colors
StringAttribute highlightNotSpecifiedProperty = new StringAttribute(_momlHandler, "notSpecified");
highlightNotSpecifiedProperty.setExpression("NotSpecified");
ColorAttribute highlightNotSpecifiedColor = new ColorAttribute(_momlHandler, "notSpecifiedHighlightColor");
highlightNotSpecifiedColor.setExpression("{0.4,0.4,0.4,1.0}");
StringAttribute highlightConfiguredProperty = new StringAttribute(_momlHandler, "configured");
highlightConfiguredProperty.setExpression("Configured");
ColorAttribute highlightConfiguredColor = new ColorAttribute(_momlHandler, "configuredHighlightColor");
highlightConfiguredColor.setExpression("{0.0,0.8,0.2,1.0}");
StringAttribute highlightNotConfiguredProperty = new StringAttribute(_momlHandler, "notConfigured");
highlightNotConfiguredProperty.setExpression("NotConfigured");
ColorAttribute highlightNotConfiguredColor = new ColorAttribute(_momlHandler, "notConfiguredHighlightColor");
highlightNotConfiguredColor.setExpression("{0.0,0.2,1.0,1.0}");
StringAttribute highlightConflictProperty = new StringAttribute(_momlHandler, "conflict");
highlightConflictProperty.setExpression("Conflict");
ColorAttribute highlightConflictColor = new ColorAttribute(_momlHandler, "conflictHighlightColor");
highlightConflictColor.setExpression("{1.0,0.0,0.0,1.0}");
}
}