Umple E221 Availability of Bound Type
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