Package net.ssehub.easy.varModel.persistency

Class StringProvider

java.lang.Object
net.ssehub.easy.varModel.persistency.StringProvider
public class StringProvider extends Object
Turns model (parts) into strings.
Author:
Holger Eichelberger, Christian Kröher

  • Constructor Details

    • StringProvider

      public StringProvider()

  • Method Details

    • toIvmlString

      public static final String toIvmlString(ModelElement element)
      Turns a model element into a string containing IVML.
      Parameters:
      element - the element to be turned into a string
      Returns:
      The resulting string

    • toIvmlString

      public static final String toIvmlString(ConstraintSyntaxTree cst)
      Turns a syntax tree into a string containing IVML (without context).
      Parameters:
      cst - the constraint syntax tree to be turned into a string
      Returns:
      The resulting string

    • toIvmlString

      public static final String toIvmlString(ConstraintSyntaxTree cst, IModelElement context)
      Turns a syntax tree into a string containing IVML.
      Parameters:
      cst - the constraint syntax tree to be turned into a string
      context - the context within the cst shall be printed, e.g., to exploit implicitly qualified variable names
      Returns:
      The resulting string

    • toIvmlString

      public static final String toIvmlString(Value value)
      Turns a value into a string containing IVML.
      Parameters:
      value - the value to be turned into a string
      Returns:
      The resulting string

    • toIvmlString

      public static final String toIvmlString(IDatatype type)
      Turns a type into a string containing IVML.
      Parameters:
      type - the type to be turned into a string
      Returns:
      The resulting string as unique string using IvmlDatatypeVisitor

    • toIvmlString

      public static final String toIvmlString(IPartialEvaluable element)
      Turns an evaluable element into a string containing IVML.
      Parameters:
      element - the evaluable element to be turned into a string
      Returns:
      The resulting string