Package org.palladiosimulator.pcm.dataprocessing.prolog.prologmodel

Interface VariableAssignment

  • All Superinterfaces:
    EObject, Notifier
    All Known Implementing Classes:
    VariableAssignmentImpl
    public interface VariableAssignment
extends EObject
    A representation of the model object 'Variable Assignment'.

    The following features are supported:

    See Also:
    PrologmodelPackage.getVariableAssignment()
    Generated class or method.
    EMF model class or method.
    annotation="http://www.eclipse.org/emf/2002/Ecore constraints='isVariableValid isAttributeValid isValueValid'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot isVariableValid='getPossibleVariables()->includes(variable)' isAttributeValid='getPossibleAttributes()->includes(attribute)' isValueValid='getPossibleValues()->includes(value)'"

    • Method Detail

      • setVariable

        void setVariable​(Variable value)
        Sets the value of the 'Variable' reference.
        Parameters:
        value - the new value of the 'Variable' reference.
        See Also:
        getVariable()
        Generated class or method.

      • setAttribute

        void setAttribute​(Attribute value)
        Sets the value of the 'Attribute' reference.
        Parameters:
        value - the new value of the 'Attribute' reference.
        See Also:
        getAttribute()
        Generated class or method.

      • setValue

        void setValue​(Value value)
        Sets the value of the 'Value' reference.
        Parameters:
        value - the new value of the 'Value' reference.
        See Also:
        getValue()
        Generated class or method.

      • setTerm

        void setTerm​(LogicTerm value)
        Sets the value of the 'Term' containment reference.
        Parameters:
        value - the new value of the 'Term' containment reference.
        See Also:
        getTerm()
        Generated class or method.

      • getPossibleVariables

        EList<Variable> getPossibleVariables()
        Generated class or method.
        EMF model class or method.
        kind="operation" ordered="false" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='if(self.oclAsType(ecore::EObject).eContainer().oclIsUndefined()) then\n\tVariable.allInstances()->asSet()\nelse \n\tif(self.oclAsType(ecore::EObject).eContainer().oclIsKindOf(OperationCall)) then\n\t\tif self.oclAsType(ecore::EObject).eContainer().oclAsType(OperationCall).parameterAssignments->includes(self) then\n\t\t\tself.oclAsType(ecore::EObject).eContainer().oclAsType(OperationCall).callee.parameters->asSet()\n\t\telse\n\t\t\tOperation.allInstances().stateVariables->asSet()\n\t\tendif\n\telse\n\t\tif(self.oclAsType(ecore::EObject).eContainer().oclIsKindOf(Operation)) then\n\t\t\tif self.oclAsType(ecore::EObject).eContainer().oclAsType(Operation).returnValueAssignments->includes(self) then\n\t\t\t\tself.oclAsType(ecore::EObject).eContainer().oclAsType(Operation).returnValues->asSet()\n\t\t\telse\n\t\t\t\tif self.oclAsType(ecore::EObject).eContainer().oclAsType(Operation).defaultStateDefinitions->includes(self) then\n\t\t\t\t\tself.oclAsType(ecore::EObject).eContainer().oclAsType(Operation).stateVariables->asSet()\n\t\t\t\telse\n\t\t\t\t\tOperation.allInstances().stateVariables->asSet()\n\t\t\t\tendif\n\t\t\tendif\n\t\telse\n\t\t\tVariable.allInstances()->asSet()\n\t\tendif\n\tendif\nendif'"

      • getPossibleAttributes

        EList<Attribute> getPossibleAttributes()
        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 variable.oclIsUndefined() then\n\t\t\t\t\tgetPossibleVariables().datatype.attributes->asSet()->union(Set{null})\n\t\t\t\telse\n\t\t\t\t\tvariable.datatype.attributes->asSet()->union(Set{null})\n\t\t\t\tendif'"

      • 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 attribute.oclIsUndefined() then\n\t\t\t\t\tgetPossibleAttributes()->reject(oclIsUndefined()).type.values->asSet()->union(Set{null})\n\t\t\t\telse\n\t\t\t\t\tattribute.type.values->asSet()->union(Set{null})\n\t\t\t\tendif'"

      • isAttributeWildcard

        boolean isAttributeWildcard()
        Generated class or method.
        EMF model class or method.
        kind="operation" required="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\t\t\t\tattribute.oclIsUndefined()'"

      • isValueWildcard

        boolean isValueWildcard()
        Generated class or method.
        EMF model class or method.
        kind="operation" required="true" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot body='\n\t\t\t\tvalue.oclIsUndefined()'"