StringConcat (lisa-sdk 0.1b9 API)

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

All Implemented Interfaces:

Operator, BinaryOperator, StringOperator
```
public class StringConcat
extends StringOperation
```
Given two expressions that both evaluate to string values, a BinaryExpression using this operator computes the concatenation of the string from the first argument with the one of the second argument.

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

Field Summary

Fields
Modifier and Type Field Description

static StringConcat INSTANCE
The singleton instance of this class.

Constructor Summary

Constructors
Modifier Constructor Description

protected StringConcat()
Builds the operator.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected Type`	`resultType(TypeSystem types)`	Yields the `Type` of this operation's result.
`java.lang.String`	`toString()`

Methods inherited from class it.unive.lisa.symbolic.value.operator.binary.StringOperation
typeInference

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

- Field Detail
  - INSTANCE
```
public static final StringConcat INSTANCE
```
    The singleton instance of this class.
- Constructor Detail
  - StringConcat
```
protected StringConcat()
```
    Builds the operator. This constructor is visible to allow subclassing: instances of this class should be unique, and the singleton can be retrieved through field INSTANCE.
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - resultType
```
protected Type resultType(TypeSystem types)
```
    Description copied from class: StringOperation
    
    Yields the Type of this operation's result.
    
    Specified by:
    
    resultType in class StringOperation
    
    Parameters:
    
    types - the type system knowing about the types of the currentprogram
    
    Returns:
    
    the type