ENTITY b_spline_function SUBTYPE OF (maths_function, unary_generic_expression); SELF\unary_generic_expression.operand : maths_function; basis : LIST [1:?] OF b_spline_basis; DERIVE coef : maths_function := SELF\unary_generic_expression.operand; WHERE wr1: function_is_table(coef); wr2: (space_dimension(coef.range) = 1) AND (number_superspace_of(factor1(coef.range)) = the_reals); wr3: SIZEOF (basis) <= SIZEOF (shape_of_array(coef)); wr4: compare_basis_and_coef(basis, coef); END_ENTITY; -- b_spline_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; unary_generic_expression operand: generic_expression; b_spline_function (RT) operand: maths_function; basis: LIST [1:?] OF b_spline_basis; (DER) coef: maths_function; |
Global rules for this entity data type- |
public interface EB_spline_function extends EMaths_function, EUnary_generic_expressionbasis (explicit attribute)boolean testBasis(EB_spline_function type)AB_spline_basis getBasis(EB_spline_function type) AB_spline_basis createBasis(EB_spline_function type) void unsetBasis(EB_spline_function type) coef (derived attribute)EMaths_function getCoef(EB_spline_function type)boolean testCoef(EB_spline_function type) |
public class CB_spline_function implements EB_spline_functionstatic EAttribute attributeBasis(EB_spline_function type)static int usedinBasis(EB_spline_function type, EB_spline_basis instance, ASdaiModel domain, AB_spline_function result) static EAttribute attributeCoef(EB_spline_function type) static int usedinCoef(EB_spline_function type, EMaths_function instance, ASdaiModel domain, AB_spline_function result) |
public class AB_spline_function extends AEntitypublic EB_spline_function getByIndex(int index)public EB_spline_function getCurrentMember(SdaiIterator it) |