de.uni_freiburg.informatik.ultimate.logic

Class QuotedObject

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.QuotedObject

public class QuotedObject
extends java.lang.Object

A quoted object is used as value for string literals in SMTLIB 2. The SMTLIB string literal

"..."

is represented by a ConstantTerm whose value is a quoted object. The underlying value is the string in parsed form, i.e., escape sequences using backslash are removed and the surrounding quotes are removed. A QuotedObject can also be used to quote arbitrary java objects. These can be used in annotations and will produce syntactically correct SMTLIB scripts if they are dumped.

Author:

hoenicke

Constructor Summary

Constructors

Constructor and Description
QuotedObject(java.lang.Object value) Create a quoted object.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getValue() Get the underlying object.
java.lang.String	toString() Returns the SMTLIB 2.5 representation of the string.
java.lang.String	toString(boolean version25)

Methods inherited from class java.lang.Object

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

Constructor Detail

QuotedObject

public QuotedObject(java.lang.Object value)

Create a quoted object.

Parameters:

value - the value that is quoted. Usually this is a string without the quotes.

Method Detail

getValue

public java.lang.Object getValue()

Get the underlying object.

Returns:

the underlying object.

toString

public java.lang.String toString()

Returns the SMTLIB 2.5 representation of the string. This adds the quotes and converts escape sequences appropriately.

Overrides:

toString in class java.lang.Object

Returns:

the SMTLIB 2.5 compatible string representation.

toString

public java.lang.String toString(boolean version25)