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

Interface DefaultStateRef

  • All Superinterfaces:
    EObject, LogicTerm, Notifier
    All Known Implementing Classes:
    DefaultStateRefImpl
    public interface DefaultStateRef
extends LogicTerm
    A representation of the model object 'Default State Ref'. Main purpose is to allow the Translator to defined state assignments prior to performing the translation. This class should usually not be used when defining models.

    The following features are supported:

    See Also:
    PrologmodelPackage.getDefaultStateRef()
    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()'"