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

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.

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