list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / UniversitĂ© d'Ottawa

User Manual    [Previous]   [Next]   

E206 Satisfaction of Bound Type

Umple semantic error related to binding a type to a template parameter

If clients bind types to the template parameters of used traits and the types exist but they do not satisfy the constraints of the template parameters, this error is raised. The constraint is related to the implementation of interfaces.

Example

// In this example, there is an error
// because class C1 does not implement
// interface I. Any bound value to template
// parameter TP must implement interface I.
trait T1<TP isA I>{
  /*implementation*/
}
interface I{/*implementation*/}
class C1{/*implementation*/}
class C{
  isA T1< TP = C1 >;
  /*implementation*/
}
      

Load the above code into UmpleOnline