StringEquals (lisa-sdk 0.1b5 API)

java.lang.Object
- it.unive.lisa.symbolic.value.operator.binary.StringEquals

All Implemented Interfaces:

Operator, BinaryOperator, StringOperator
```
public class StringEquals
extends java.lang.Object
implements StringOperator, BinaryOperator
```
Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument is equal (in terms of contents, that is different from ComparisonEq) to the one of the second argument.

First argument expression type: StringType
Second argument expression type: StringType
Computed expression type: BooleanType

Field Summary

Fields
Modifier and Type Field Description

static StringEquals INSTANCE
The singleton instance of this class.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`toString()`
`ExternalSet<Type>`	`typeInference(ExternalSet<Type> left, ExternalSet<Type> right)`	Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.

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

- Field Detail
  - INSTANCE
```
public static final StringEquals INSTANCE
```
    The singleton instance of this class.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - typeInference
```
public ExternalSet<Type> typeInference(ExternalSet<Type> left,
                                       ExternalSet<Type> right)
```
    Description copied from interface: BinaryOperator
    
    Computes the runtime types of this expression (i.e., of the result of this expression) assuming that the arguments of this expression have the given types.
    
    Specified by:
    
    typeInference in interface BinaryOperator
    
    Parameters:
    
    left - the set of types of the left-most argument of this expression
    
    right - the set of types of the right-most argument of this expression
    
    Returns:
    
    the runtime types of this expression