Umple E225 Satisfaction of Bound Type
User Manual [Previous] [Next]
E225 Satisfaction of Bound Type
Umple semantic error related to binding a type to a template parameter
If clients bind types to the template parameters of used traits and the types exist but they do not satisfy the constraints of the template parameters, this error is raised. The constraint is related to inheritance.
Example
// In this example, there is an error
// because class C1 is not subclass
// of class C2.
// Any bound value to template parameter
// TP must be a subclass of class C2.
trait T<TP isA C2>{
/*implementation*/
}
class C{
isA T< TP = C1 >;
/*implementation*/
}
class C1{/*implementation*/}
class C2{/*implementation*/}
Load the above code into UmpleOnline