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 |
nameAttribute() : Array.<$k.AttributeType>
Returns the attribute type that is used as name for this domain
- Since:
- 5.1.3
Returns:
| Type | Description |
|---|---|
| Array.<$k.AttributeType> |
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> |