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 values for 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" tries to remove method "show(String)" while it tries to change its name. This is a contradiction.
class A{
	isA T1<+show(Integer), -show(String) as t >;
}
trait T1{
	void show(String str){
	//Implementation
	}
	void show(Integer inData){
	//Implementation
	}
	void show(String str,Integer inData){
	//Implementation
	}
}

      

Load the above code into UmpleOnline