Umple E223 Availability of Types
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