uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   

Loading

E221 Availability of Bound Type

Umple semantic error related to binding types to template parameters

When using a trait with a template parameter, a type must be bound to that template parameter. If the bound type is not available in the system, the Umple compiler raises this error.

Example

// In this example, there is an error because class C binds type C1 to the template parameter of trait T, while type C is not available in the system.
trait T<TP>{
/*implementation*/
}
class C{
  isA T<TP=C1>;
  /*implementation*/
}


      

Load the above code into UmpleOnline