public class QuotedObject
extends java.lang.Object
"..."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.
Constructor and Description |
---|
QuotedObject(java.lang.Object value)
Create a quoted object.
|
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) |
public QuotedObject(java.lang.Object value)
value
- the value that is quoted. Usually this is a string
without the quotes.public java.lang.Object getValue()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(boolean version25)