Examples with RangeType org.osate.aadl2.RangeType used on opensource projects

Example 6 with RangeType

use of org.osate.aadl2.RangeType in project osate2 by osate.

the class PropertyUtils method checkUnitsAndGetSimplePropertyValue.

/**
 * Check that UnitLiteral unit is part of Property pd's UnitsType and
 * returns the property value by calling ph.getSimplePropertyValue(pd)
 *
 * @param ph The property holder from which to retrieve the property value.
 * @param pd The property to retrieve.
 * @param unit The literal to test against pd's units type.
 * @return The retrieved property value.
 * @throws InvalidModelException Thrown if the property value cannot be
 *             retrieved because the model is incomplete or otherwise
 *             invalid.
 * @throws PropertyNotPresentException Thrown if the property is undefined
 *             for ph.
 * @throws PropertyIsModalException Thrown if ph is modal and declarative.
 * @throws IllegalStateException Thrown if the lookup encounters a cycle of
 *             property reference dependencies.
 * @throws IllegalArgumentException Thrown if the given unit literal is not
 *             from the property's unit type or if ph, pd, or unit is null.
 * @throws PropertyDoesNotApplyToHolderException Thrown if pd does not apply
 *             to ph.
 * @throws PropertyIsListException Thrown if the property is not scalar.
 * @throws ClassCastException Thrown if the property's type is not a
 *             RangeType or a NumberType.
 */
private static PropertyExpression checkUnitsAndGetSimplePropertyValue(final NamedElement ph, final Property pd, final UnitLiteral unit) throws InvalidModelException, PropertyNotPresentException, PropertyIsModalException, IllegalStateException, IllegalArgumentException, PropertyDoesNotApplyToHolderException, PropertyIsListException, ClassCastException {
    if (unit == null) {
        throw new IllegalArgumentException("UnitLiteral unit cannot be null.");
    }
    final PropertyExpression pv = getSimplePropertyValue(ph, pd);
    PropertyType pt = (PropertyType) pd.getType();
    if (pt instanceof RangeType) {
        pt = ((RangeType) pt).getNumberType();
    }
    final UnitsType theUnitsType = ((NumberType) pt).getUnitsType();
    if (unit.eContainer() != theUnitsType) {
        throw new IllegalArgumentException("Unit literal " + unit.getName() + " is not from the property's type " + theUnitsType.getName());
    }
    return pv;
}