DomainRepresentation (lisa 0.1b1 API)

java.lang.Object
- it.unive.lisa.analysis.representation.DomainRepresentation

All Implemented Interfaces:

java.lang.Comparable<DomainRepresentation>

Direct Known Subclasses:

MapRepresentation, PairRepresentation, SetRepresentation, StringRepresentation
```
public abstract class DomainRepresentation
extends java.lang.Object
implements java.lang.Comparable<DomainRepresentation>
```
A structured representation of the abstract information present in a single instance of SemanticDomain, NonRelationalDomain, DataflowElement or other types of domains. Instances of this class can be used to depict the content of an abstract element in a domain-agnostic way, such as dumping the information to a file.

Constructor Summary

Constructors
Constructor Description

DomainRepresentation()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compareTo(DomainRepresentation o)`
`abstract boolean`	`equals(java.lang.Object obj)`
`abstract int`	`hashCode()`
`abstract java.lang.String`	`toString()`

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

- Constructor Detail
  - DomainRepresentation
```
public DomainRepresentation()
```
- Method Detail
  - compareTo
```
public final int compareTo(DomainRepresentation o)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<DomainRepresentation>
  - hashCode
```
public abstract int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public abstract boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - toString
```
public abstract java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object