uOttawaUniversity of Ottawa - Canadas University
list of dots

Umple User Manual    [Previous]   [Next]   

Loading

E223 Availability of Types

Umple semantic error related to availability of types used to constraint template parameters

If traits define template parameters and put constraints on them, the classes and interfaces involved in the constraints must exist in the system under design, otherwise, this error is raised.

Example

// In this example, there is an error because type I used to constraint template parameters TP in trait T does not exist.
trait T<TP isA I>{
  /*implementation*/
}
class C1{
  /*implementation*/
}
class C1{
  isA T< TP = C1 >;
  /*implementation*/
}


      

Load the above code into UmpleOnline