Package caltrop.interpreter.ast

Examples of caltrop.interpreter.ast.Action


    ///////////////////////////////////////////////////////////////////
    ////                         private methods                   ////
    // Return true if any action has a guard which depends on input values.
    protected boolean _hasInputDependentGuard() {
        for (int i = 0; i < _actions.length; i++) {
            Action action = _actions[i];

            Expression[] guards = action.getGuards();

            for (int j = 0; j < guards.length; j++) {
                List freeVars = (List) guards[j]
                        .getAttribute(AttributeKeys.KEYFREEVAR);
View Full Code Here


    }

    // Return true if at least one action does not have a guard.
    protected boolean _atLeastOneUnguardedAction() {
        for (int i = 0; i < _actions.length; i++) {
            Action action = _actions[i];

            if (action.getGuards().length == 0) {
                return true;
            }
        }

        return false;
View Full Code Here

    // Return true if initializer guards can be computed statically.
    protected boolean _checkInitializerGuards() {
        Action[] initializers = _actor.getInitializers();

        for (int i = 0; i < initializers.length; i++) {
            Action initializer = initializers[i];
            Expression[] guards = initializer.getGuards();

            for (int j = 0; j < guards.length; j++) {
                if (!_isStaticallyComputable(guards[j], initializer)) {
                    return false;
                }
View Full Code Here

TOP

Related Classes of caltrop.interpreter.ast.Action

Copyright © 2018 www.massapicom. All rights reserved.
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.