Examples of ptolemy.actor.util.ConstVariableModelAnalysis

ptolemy.actor.util.ConstVariableModelAnalysis
An analysis that traverses a model to determine all the constant variables in a hierarchical model. Basically, a constant variable in a particular model is any variable in the model that is defined by a expression of constants, or any variable that is defined by an expression of constants and identifiers that reference other constant variables.
This class computes the set of constant variables by computing the set of variables that are not constant and then performing the complement. This is somewhat easier to compute. The computation is performed in two passes, the first of which extracts the set of variables which must be not-constant either by not being evaluatable, by inclusion in an initial set, by virtue of being a PortParameter with an external connection, or by assignment from within a modal model. The second pass collects all the variables which are not constant because they depend on other variables which are not constant. This class also recognizes dependence declarations represented by the {@link DependencyDeclaration} class.
This class also determines the "least change context" of each dynamic variable. The least change context of a variable is typically an actor that contains that variable. During a firing of the least change context, the variable's value is guaraunteed to not change. This analysis is important for supporting parameter changes in the context of domains that perform scheduling based on parameter values, like SDF and PSDF. The least change context of a PortParameter with an external connection must be a container of the PortParameter. The least change context of a variable assigned by a finite state machine in a modal model must be a container of the finite state machine. The change context of asserted not constant variables and variables with no expression are assumed to be the toplevel of the model. Note that in some cases (typically when a variable is modified from multiple sources which are not hierarchically related), no least change context may exist. @author Stephen Neuendorffer @version $Id: ConstVariableModelAnalysis.java,v 1.52 2007/12/06 21:57:07 cxh Exp $ @since Ptolemy II 4.0 @Pt.ProposedRating Yellow (neuendor) @Pt.AcceptedRating Yellow (neuendor)

         *  @return An ArrayType.
         *  @exception IllegalActionException If the type of the
         *  associated typeable cannot be determined.
         */
        public Object getValue() throws IllegalActionException {
            ConstVariableModelAnalysis analysis = ConstVariableModelAnalysis
                    .getAnalysis(symmetricOutput);
            if (analysis.isConstant(symmetricOutput)
                    && analysis.isConstant(numberOfLags)) {
                Token symmetricOutputToken = analysis
                        .getConstantValue(symmetricOutput);
                Token numberOfLagsToken = analysis
                        .getConstantValue(numberOfLags);
                int lags = ((IntToken) numberOfLagsToken).intValue();
                if (((BooleanToken) symmetricOutputToken).booleanValue()) {
                    return _getArrayTypeRaw(2 * lags + 1);
                } else {

View Full Code Here


    /** Declare the rate dependency on any external ports of the model.
     *  SDF directors should invoke this method once during preinitialize.
     */
    public void declareRateDependency() throws IllegalActionException {
        ConstVariableModelAnalysis analysis = ConstVariableModelAnalysis
                .getAnalysis(this);
        SDFDirector director = (SDFDirector) getContainer();
        CompositeActor model = (CompositeActor) director.getContainer();


        for (Iterator ports = model.portList().iterator(); ports.hasNext();) {

View Full Code Here

     *  rate parameters.
     */
    protected void _checkDynamicRateVariables(CompositeActor model,
            List rateVariables) throws IllegalActionException {
        // Check for rate parameters which are dynamic.
        ConstVariableModelAnalysis analysis = ConstVariableModelAnalysis
                .getAnalysis(getContainer());


        // Save the rate variables that we already listen to.
        LinkedList oldList = new LinkedList();
        oldList.addAll(rateVariables);


        LinkedList newList = new LinkedList();
        for (Iterator entities = model.deepEntityList().iterator(); entities
                .hasNext();) {
            Entity entity = (Entity) entities.next();


            for (Iterator ports = entity.portList().iterator(); ports.hasNext();) {
                Port port = (Port) ports.next();
                Set set = analysis.getNotConstVariables(port);
                Variable variable;
                variable = DFUtilities.getRateVariable(port,
                        "tokenInitProduction");
                _listenToRateVariable(variable, rateVariables);
                newList.add(variable);

View Full Code Here

        // controller makes a state transition, unless the
        // corresponding refinement rate parameters are constant,
        // and have the same value.  (Note that the controller
        // itself makes transitions less often if its executive director
        // is an HDFFSMDirector, which is a subclass of MultirateFSMDirector.
        ConstVariableModelAnalysis analysis = ConstVariableModelAnalysis
                .getAnalysis(this);
        CompositeActor model = (CompositeActor) getContainer();


        for (Iterator ports = model.portList().iterator(); ports.hasNext();) {
            IOPort port = (IOPort) ports.next();

View Full Code Here


        Map attributeToValueFieldMap = new HashMap();


        boolean debug = PhaseOptions.getBoolean(options, "debug");
        // Determine which parameters have a constant value.
        ConstVariableModelAnalysis constantAnalysis;


        try {
            constantAnalysis = new ConstVariableModelAnalysis(_model);
        } catch (KernelException ex) {
            throw new RuntimeException(ex.getMessage());
        }


        // For every variable and settable attribute in the model, create a

View Full Code Here


        _entityLocalMap = new HashMap();
        _portLocalMap = new HashMap();


        try {
            _constAnalysis = new ConstVariableModelAnalysis(_model);
        } catch (Exception ex) {
            throw new RuntimeException("Failed to calculate constant vars: "
                    + ex.getMessage());
        }

View Full Code Here

         * @return An ArrayType.
         * @exception IllegalActionException If the type of the
         * associated typeable cannot be determined.
         */
        public Object getValue() throws IllegalActionException  {
            ConstVariableModelAnalysis analysis = ConstVariableModelAnalysis.getAnalysis(symmetricOutput);
            if (analysis.isConstant(symmetricOutput) && analysis.isConstant(numberOfLags)) {
                Token symmetricOutputToken = analysis.getConstantValue(symmetricOutput);
                Token numberOfLagsToken = analysis.getConstantValue(numberOfLags);
                int lags = ((IntToken)numberOfLagsToken).intValue();
                if (((BooleanToken)symmetricOutputToken).booleanValue()) {
                    return _getArrayTypeRaw(2 * lags + 1);
                } else {
                    return _getArrayTypeRaw(2 * lags);

View Full Code Here

TOP

Related Classes of ptolemy.actor.util.ConstVariableModelAnalysis

ptolemy.actor.CompositeActor

ptolemy.actor.Manager

ptolemy.actor.parameters.ParameterPort

ptolemy.actor.parameters.PortParameter

ptolemy.backtrack.automatic.ptolemy.domains.sdf.lib.Autocorrelation$OutputTypeTerm

ptolemy.copernicus.java.InlineParameterTransformer

ptolemy.copernicus.java.ModelTransformer

ptolemy.data.expr.Variable

ptolemy.domains.fsm.kernel.MultirateFSMDirector

ptolemy.domains.sdf.kernel.SDFScheduler

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.