Umple E206 Satisfaction of Bound Type
User Manual [Previous] [Next]
E206 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 the implementation of interfaces.
Example
// In this example, there is an error
// because class C1 does not implement
// interface I. Any bound value to template
// parameter TP must implement interface I.
trait T1<TP isA I>{
/*implementation*/
}
interface I{/*implementation*/}
class C1{/*implementation*/}
class C{
isA T1< TP = C1 >;
/*implementation*/
}
Load the above code into UmpleOnline