uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   

Loading

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 parameters. This bring a case in which there is no clear binding. The Umple compiler detects this case and prevents the system from being complied.

Example

// In this example, there is an error because there is 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{
	//elements
}

      

Load the above code into UmpleOnline