new Domain()
Represents all instances or subtypes of a type
Methods
(static) 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
Parameters:
| Name | Type | Description |
|---|---|---|
elements | Array.<$k.Domain> |
Returns:
- Type:
- $k.Domain
definedProperties() → {Array.<$k.PropertyType>}
Returns the properties defined for this domain. No inherited or mixed in properties are returned.
Returns:
- Type:
- Array.<$k.PropertyType>
isTypeDomain() → {boolean}
Returns true if this domain represents types, false if it represents instances / properties
Returns:
- Type:
- boolean
nameAttribute() → {Array.<$k.AttributeType>}
Returns the attribute type that is used as name for this domain
- Since
- 5.1.3
Returns:
- Type:
- Array.<$k.AttributeType>
possibleProperties(filteropt) → {Array.<$k.PropertyType>}
Returns the possible properties of this domain
Parameters:
| Name | Type | Attributes | Description |
|---|---|---|---|
filter | string | $k.PropertyFilter | <optional> | Filter that defines which properties are returned |
- See
- Topic#possibleProperties
Returns:
- Type:
- Array.<$k.PropertyType>
type() → {$k.Type}
Returns the type of the domain
Returns:
- Type:
- $k.Type