new $k.Domain()
Represents all instances or subtypes of a type
Methods
static$k.Domain.supremum(elements) : $k.Domain
Returns the supremum domain for the given domains (either Domain objects or internal names of types). Returns undefined if no common domain exists
Name | Type | Description |
---|---|---|
elements |
Array.<$k.Domain> |
Returns:
Type | Description |
---|---|
$k.Domain |
definedProperties() : Array.<$k.PropertyType>
Returns the properties defined for this domain. No inherited or mixed in properties are returned.
Returns:
Type | Description |
---|---|
Array.<$k.PropertyType> |
isTypeDomain() : boolean
Returns true if this domain represents types, false if it represents instances / properties
Returns:
Type | Description |
---|---|
boolean |
possibleProperties(filter) : Array.<$k.PropertyType>
Returns the possible properties of this domain
Name | Type | Description |
---|---|---|
filter |
$k.PropertyFilter |
optional
Filter that defines which properties are returned |
- See:
-
- Topic#possibleProperties
Returns:
Type | Description |
---|---|
Array.<$k.PropertyType> |