Package net.ssehub.easy.varModel.cstEvaluation

Class ListWrapperValue

java.lang.Object
net.ssehub.easy.varModel.model.values.Value
net.ssehub.easy.varModel.cstEvaluation.ListWrapperValue
class ListWrapperValue extends Value
Special wrapper value for lists. To be used just for iteration evaluation.
Author:
Holger Eichelberger

  • Field Details

  • Constructor Details

    • ListWrapperValue

      ListWrapperValue(List<Value> values)
      Creates a list wrapper value.
      Parameters:
      values - the list values

  • Method Details

    • getValue

      public Object getValue()
      Description copied from class: Value
      Abstract getValue method. The result of this method must comply to the input conventions of ValueFactory and the constructor of the respective implementing class.
      Specified by:
      getValue in class Value
      Returns:
      the Value of the Datatype

    • getElementCount

      public int getElementCount()
      Returns the number of elements in the wrapped list.
      Returns:
      the number of elements

    • getElement

      public Value getElement(int index)
      Returns the specified element.
      Parameters:
      index - the 0-based index of the element
      Returns:
      the element
      Throws:
      IndexOutOfBoundsException - if index<0 || index>=getElementCount()

    • accept

      public void accept(IValueVisitor visitor)
      Description copied from class: Value
      Abstract accept method.
      Specified by:
      accept in class Value
      Parameters:
      visitor - The visitor

    • setValue

      public void setValue(Object value) throws ValueDoesNotMatchTypeException
      Description copied from class: Value
      Abstract setValue-method.
      Specified by:
      setValue in class Value
      Parameters:
      value - the value to set.
      Throws:
      ValueDoesNotMatchTypeException - if the given value does not match this type

    • isConfigured

      public boolean isConfigured()
      Description copied from class: Value
      Abstract Method to check whether a value is configured.
      Specified by:
      isConfigured in class Value
      Returns:
      true = it is configured / false = it is not

    • equalsPartially

      public boolean equalsPartially(Value value)
      Description copied from class: Value
      Returns whether the provided value is partially equal to this value, i.e., whether the nested elements of value (if they exist) have the same contents as in this value. Other values of this value are not considered. The check is transitive on nested elements. Please consider that this method is not symmetric as opposed to equals. This method is important to cope with default values.
      Specified by:
      equalsPartially in class Value
      Parameters:
      value - the value to be checked for partial equality.
      Returns:
      true if value is partially equal to this, false else