Table 4.1 Type operations
|
|
|
returns true if types are fully identical, i.e. the type names and type structures are the same
|
|
returns false only if types are fully identical, otherwise returns true
|
|
returns true if types have the same structure, type names are not compared
|
|
returns true if t2 represents a type, which inherits from t1 or is the t1 itself
|
|
returns true if t1 represents a type, which inherits from t2 or is the t2 itself
|
|
returns the new ISType object, which is compatible with any type but the t1
|
|
returns the new ISType object, which is compatible with t1 as well as with any type, which is subtype of the t1
|