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

User Manual    [Previous]   [Next]   

E225 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 inheritance.

Example

// In this example, there is an error
// because class C1 is not subclass
// of class C2.
// Any bound value to template parameter
// TP must be a subclass of class C2.
trait T<TP isA C2>{
  /*implementation*/
}
class C{
  isA T< TP = C1 >;
  /*implementation*/
}
class C1{/*implementation*/}
class C2{/*implementation*/}
      

Load the above code into UmpleOnline