/*
* Below is the copyright agreement for the Ptolemy II system.
*
* Copyright (c) 2008-2009 The Regents of the University of California. All
* rights reserved.
*
* Permission is hereby granted, without written agreement and without license
* or royalty fees, to use, copy, modify, and distribute this software and its
* documentation for any purpose, provided that the above copyright notice and
* the following two paragraphs appear in all copies of this software.
*
* IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
* DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
* OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
* CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
* INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
* FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN
* "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE
* MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
*/
package ptolemy.data.properties.configuredSolvers.lattice;
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;
/**
*
* @author Man-Kit Leung
* @version $Id$
* @since Ptolemy II 7.1
* @Pt.ProposedRating Red (mankit)
* @Pt.AcceptedRating Red (mankit)
*/
public class ExampleSet_CS extends PropertyConstraintSolver {
public ExampleSet_CS(NamedObj container, String name)
throws IllegalActionException, NameDuplicationException {
super(container, name);
propertyLattice.setExpression("exampleSetLattice");
propertyLattice.setVisibility(Settable.NOT_EDITABLE);
solvingFixedPoint.setExpression("least");
solvingFixedPoint.setVisibility(Settable.NOT_EDITABLE);
actorConstraintType.setExpression("out >= in");
actorConstraintType.setVisibility(Settable.NOT_EDITABLE);
connectionConstraintType.setExpression("sink >= src");
connectionConstraintType.setVisibility(Settable.NOT_EDITABLE);
compositeConnectionConstraintType.setExpression("sink >= src");
compositeConnectionConstraintType.setVisibility(Settable.NOT_EDITABLE);
expressionASTNodeConstraintType.setExpression("parent >= child");
expressionASTNodeConstraintType.setVisibility(Settable.NOT_EDITABLE);
fsmConstraintType.setExpression("sink >= src");
fsmConstraintType.setVisibility(Settable.NOT_EDITABLE);
// Add default highlight colors
// StringAttribute highlightUnknownProperty = new StringAttribute(_highlighter, "unknown");
// highlightUnknownProperty.setExpression("Unknown");
// ColorAttribute highlightUnknownColor = new ColorAttribute(_highlighter, "unknownHighlightColor");
// highlightUnknownColor.setExpression("{0.0,0.0,0.0,1.0}");
//
// StringAttribute highlightTrueProperty = new StringAttribute(_highlighter, "true");
// highlightTrueProperty.setExpression("True");
// ColorAttribute highlightTrueColor = new ColorAttribute(_highlighter, "trueHighlightColor");
// highlightTrueColor.setExpression("{0.0,0.8,0.2,1.0}");
//
// StringAttribute highlightFalseProperty = new StringAttribute(_highlighter, "false");
// highlightFalseProperty.setExpression("False");
// ColorAttribute highlightFalseColor = new ColorAttribute(_highlighter, "falseHighlightColor");
// highlightFalseColor.setExpression("{0.0,0.2,1.0,1.0}");
}
}