StringQuote (A VDM model checker for Model Definition 2.1.5 API)

java.lang.Object
- org.intocps.fmichecker.quotes.StringQuote

public final class StringQuote
extends java.lang.Object

Constructor Summary

Constructors
Constructor Description

StringQuote()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`static StringQuote`	`getInstance()`
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - StringQuote
```
public StringQuote()
```
- Method Detail
  - getInstance
```
public static StringQuote getInstance()
```
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object