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

Interface StateRef

  • All Superinterfaces:
    EObject, LogicTerm, Notifier
    All Known Implementing Classes:
    StateRefImpl
    public interface StateRef
extends LogicTerm
    A representation of the model object 'State Ref'.

    The following features are supported:

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

    • Method Detail

      • setStateVariable

        void setStateVariable​(Variable value)
        Sets the value of the 'State Variable' reference.
        Parameters:
        value - the new value of the 'State Variable' reference.
        See Also:
        getStateVariable()
        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.

      • 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='\n\t\t\t\tOperation.allInstances().stateVariables->asSet()'"

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