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