Ignore:
Timestamp:
Oct 29, 2019 1:28:58 PM (6 weeks ago)
Author:
molsson
Message:

#5843 Moved type checking of conditional attributes so that it is always done.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/dev-mo-2617/Compiler/ModelicaFrontEnd/src/jastadd/errorcheck/TypeCheck.jrag

    r13396 r13898  
    200200                    "The guard expression of a conditional component should have parameter or constant variability");
    201201
     202    @Override
    202203    public void InstAssignable.typeCheck(ErrorCheckType checkType) {
    203204        FExp bexp = myBindingInstExp();
     
    262263                        typeCheckCell(expected, actual, bexp, unknownAllowed);
    263264                    }
    264                 }
    265             }
    266         }
    267        
    268         if (hasConditionalAttribute()) {
    269             FExp cond = getConditionalAttribute();
    270             if (!cond.type().isUnknown()) {
    271                 if (!cond.type().isScalar())
    272                     NON_SCALAR_CONDITIONAL_GUARD.invoke(this);
    273                 if (!cond.type().isBoolean())
    274                     NON_BOOLEAN_CONDITIONAL_GUARD.invoke(this);
    275                 if (!cond.variability().parameterOrLess()) {
    276                     NON_FIXED_CONDITIONAL_GUARD.invoke(this);
    277                 } else {
    278                     cond.markAsStructuralParameter(checkType);
    279265                }
    280266            }
Note: See TracChangeset for help on using the changeset viewer.