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

Interface ReturnValueRef

  • All Superinterfaces:
    EObject, LogicTerm, Notifier
    All Known Implementing Classes:
    ReturnValueRefImpl
    public interface ReturnValueRef
extends LogicTerm
    A representation of the model object 'Return Value Ref'.

    The following features are supported:

    See Also:
    PrologmodelPackage.getReturnValueRef()
    Generated class or method.
    EMF model class or method.
    annotation="http://www.eclipse.org/emf/2002/Ecore constraints='isCallValid isReturnValueValid isAttributeValid isValueValid'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot isCallValid='getPossibleCalls()->includes(call)' isReturnValueValid='getPossibleReturnValues()->includes(returnValue)' isAttributeValid='getPossibleAttributes()->includes(attribute)' isValueValid='getPossibleValues()->includes(value)'"

    • Method Detail

      • setReturnValue

        void setReturnValue​(Variable value)
        Sets the value of the 'Return Value' reference.
        Parameters:
        value - the new value of the 'Return Value' reference.
        See Also:
        getReturnValue()
        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.

      • setCall

        void setCall​(OperationCall value)
        Sets the value of the 'Call' reference.
        Parameters:
        value - the new value of the 'Call' reference.
        See Also:
        getCall()
        Generated class or method.

      • getPossibleCalls

        EList<OperationCall> getPossibleCalls()
        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(containingAssignment.oclIsUndefined() or containingAssignment.oclAsType(ecore::EObject).eContainer().oclIsUndefined()) then\n\tCaller.allInstances().calls->asSet()\nelse \n\tif(containingAssignment.oclAsType(ecore::EObject).eContainer().oclIsKindOf(OperationCall)) then\n\t\tlet call = containingAssignment.oclAsType(ecore::EObject).eContainer().oclAsType(OperationCall) in\n\t\tlet callIdx = call.caller.calls->indexOf(call) in\n\t\tif(callIdx = 1) then\n\t\t\tSet{}\n\t\telse \n\t\t\tcall.caller.calls->subOrderedSet(1, callIdx-1)->asSet()\n\t\tendif\n\telse\n\t\tif(containingAssignment.oclAsType(ecore::EObject).eContainer().oclIsKindOf(Caller)) then\n\t\t\tcontainingAssignment.oclAsType(ecore::EObject).eContainer().oclAsType(Caller).calls->asSet()\n\t\telse\n\t\t\tCaller.allInstances().calls->asSet()\n\t\tendif\n\tendif\nendif'"

      • getPossibleReturnValues

        EList<Variable> getPossibleReturnValues()
        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(call.oclIsUndefined()) then\n\t\t\t\t\tgetPossibleCalls().callee.returnValues->asSet()\n\t\t\t\telse\n\t\t\t\t\tcall.callee.returnValues->asSet()\n\t\t\t\tendif'"

      • 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 returnValue.oclIsUndefined() then\n\t\t\t\t\tgetPossibleReturnValues().datatype.attributes->asSet()->union(Set{null})\n\t\t\t\telse\n\t\t\t\t\treturnValue.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()'"