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

User Manual    [Previous]   [Next]   

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