uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   


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.


// 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>{
class C{
  isA T<TP=C1>;


Load the above code into UmpleOnline