list of dots 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.


// 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