Searched full:subtypes (Results 1 – 11 of 11) sorted by relevance
18 abstract sig Type { subtypes: set Type }19 one sig Top extends Type {} { no Top.~@subtypes }20 one sig Bot extends Type {} { no Bot.@subtypes }29 ProperType in Object.*subtypes30 no t: ProperType | t in t.^subtypes31 all c: Class | lone c.~subtypes & Class32 all t: ProperType + NullType | t in Bot.~subtypes and t in Top.subtypes33 all i: Interface | no i.~subtypes & Class34 all i: ProperType | NullType in i.subtypes35 NullType not in NullType.subtypes[all …]
20 let supertypes[t] = { t.^~subtypes }29 { some t : types | t in (r.type + r.type.^subtypes) & ProperType }33 { subst.type in (r.type + r.type.subtypes) }
69 args: field, field_type, acc_type, subtypes, field_subtypes72 …Compatible subtypes are: ${subtypes}. Types that can be stored without data loss are: ${field_subt…154 args: reg, reg_type, target_types, subtypes156 …wrong type: '${reg_type}'. Expected a subtype of one from ${target_types}. Compatible subtypes are:157 ${subtypes}.178 args: type, expected_type, subtypes180 …ent type '${type}'. Expected a subtype of '${expected_type}'. Compatible subtypes are: ${subtypes}.225 Compatible subtypes are ${field_obj_subtypes}.234 Compatible subtypes are ${expected_subtypes}.247 Compatible subtypes are: ${expected_types}.[all …]
1798 # T is such array that O array elements are subtypes of T array elements1885 # T is such array that O array elements are subtypes of T array elements
1762 # T is such array that O array elements are subtypes of T array elements1832 # T is such array that O array elements are subtypes of T array elements
1925 # T is such array that O array elements are subtypes of T array elements2023 # T is such array that O array elements are subtypes of T array elements
1869 # T is such array that O array elements are subtypes of T array elements1938 # T is such array that O array elements are subtypes of T array elements
1685 # T is such array that O array elements are subtypes of T array elements1795 # T is such array that O array elements are subtypes of T array elements
1752 # T is such array that O array elements are subtypes of T array elements1862 # T is such array that O array elements are subtypes of T array elements
1912 # T is such array that O array elements are subtypes of T array elements2022 # T is such array that O array elements are subtypes of T array elements
3237 // are subtypes of either panda.Object <: ObjectType or java.lang.Object <: ObjectType in HandleIsinstance()