Interface FunctionBehavior

    • Method Detail

      • validateOneOutputParameter

        boolean validateOneOutputParameter​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           Map context)
        A function behavior has at least one output parameter. self.ownedParameters-> select(p | p.direction=#out or p.direction=#inout or p.direction=#return)->size() >= 1
      • validateTypesOfParameters

        boolean validateTypesOfParameters​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                          Map context)
        The types of parameters are all data types, which may not nest anything but other datatypes. def: hasAllDataTypeAttributes(d : DataType) : Boolean = d.ownedAttribute->forAll(a | a.type.oclIsTypeOf(DataType) and hasAllDataTypeAttributes(a.type)) self.ownedParameters->forAll(p | p.type.notEmpty() and p.oclIsTypeOf(DataType) and hasAllDataTypeAttributes(p))