uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   

Loading

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