Package net.ssehub.easy.varModel.persistency

Class StringProvider

java.lang.Object

net.ssehub.easy.varModel.persistency.StringProvider

public class StringProvider
extends java.lang.Object

Turns model (parts) into strings.

Author:

Holger Eichelberger, Christian Kröher

Constructor Summary

Constructors

Constructor	Description
StringProvider()

Method Summary

Modifier and Type	Method	Description
static java.lang.String	toIvmlString(ConstraintSyntaxTree cst)	Turns a syntax tree into a string containing IVML (without context).
static java.lang.String	toIvmlString(ConstraintSyntaxTree cst, IModelElement context)	Turns a syntax tree into a string containing IVML.
static java.lang.String	toIvmlString(IDatatype type)	Turns a type into a string containing IVML.
static java.lang.String	toIvmlString(IPartialEvaluable element)	Turns an evaluable element into a string containing IVML.
static java.lang.String	toIvmlString(ModelElement element)	Turns a model element into a string containing IVML.
static java.lang.String	toIvmlString(Value value)	Turns a value into a string containing IVML.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StringProvider

public StringProvider()

Method Detail

toIvmlString

public static final java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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