uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   

Loading

E215 Template Parameter Not Available

Umple semantic error related to binding a template parameter of a trait which is not available

When using traits, we can bind types to template parameters. In the process of binding, we can just refer to parameters which are available. The Umple compiler detects cases in which there are template parameters not defined a trait.

Example

// In this example, there is an error because class A cannot bind type String to template parameter Y, which is not defined. for trait T.
class A{
  isA T< X= Integer, Y = String>;
}
trait T<X>{
	X variable;
}


      

Load the above code into UmpleOnline