Umple E216 Twice Binding of a Parameter
User Manual [Previous] [Next]
E216 Twice Binding of a Parameter
Umple semantic error related to binding a template parameter twice
When using traits, we can bind values for template parameters. In the process of binding, we can bind two values for a template parameter. This brings a case in which there is no clear binding. The Umple compiler detects this case and prevents the system from being compiled.
Example
// In this example, there is an error
// because there are two bindings for
// template parameter "X" in class "A".
class A{
isA T< X = B , X = C >;
}
Class B{
//elements
}
Class C{
//elements
}
trait T<X,Z>{
//elements
}
Load the above code into UmpleOnline