PropertyDefinition

All Superinterfaces:

EObject, Notifier

All Known Implementing Classes:

PropertyDefinitionImpl
```
public interface PropertyDefinition
extends EObject
```
A representation of the model object 'Property Definition'.
The following features are supported:
- Property
- Present Values
See Also:

PrologmodelPackage.getPropertyDefinition()

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/emf/2002/Ecore constraints='valuesPartOfPropertyType'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot valuesPartOfPropertyType='getPossibleValues()->includesAll(presentValues)'"

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`EList<Value>`	`getPossibleValues()`
`EList<Value>`	`getPresentValues()`	Returns the value of the 'Present Values' reference list.
`Property`	`getProperty()`	Returns the value of the 'Property' reference.
`void`	`setProperty(Property value)`	Sets the value of the '`Property`' reference.

Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver

- Method Detail
  - getProperty
```
Property getProperty()
```
    Returns the value of the 'Property' reference.
    
    Returns:
    
    the value of the 'Property' reference.
    
    See Also:
    
    setProperty(Property), PrologmodelPackage.getPropertyDefinition_Property()
    
    Generated class or method.
    
    EMF model class or method.
    
    required="true"
  - setProperty
```
void setProperty(Property value)
```
    Sets the value of the 'Property' reference.
    
    Parameters:
    
    value - the new value of the 'Property' reference.
    
    See Also:
    
    getProperty()
    
    Generated class or method.
  - getPresentValues
```
EList<Value> getPresentValues()
```
    Returns the value of the 'Present Values' reference list. The list contents are of type Value.
    
    Returns:
    
    the value of the 'Present Values' reference list.
    
    See Also:
    
    PrologmodelPackage.getPropertyDefinition_PresentValues()
    
    Generated class or method.
    
    EMF model class or method.
  - getPossibleValues
```
EList<Value> getPossibleValues()
```
    Generated class or method.
    
    EMF model class or method.
    
    kind="operation" ordered="false" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\t\t\t\tif property.oclIsUndefined() then\n\t\t\t\t\tProperty.allInstances().type.values->asSet()\n\t\t\t\telse\n\t\t\t\t\tproperty.type.values->asSet()\n\t\t\t\tendif'"