list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / UniversitĂ© d'Ottawa

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