StringContains (lisa-sdk 0.1b6 API)

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

All Implemented Interfaces:

Operator, BinaryOperator, StringOperator
```
public class StringContains
extends StringOperation
```
Given two expressions that both evaluate to string values, a BinaryExpression using this operator checks if the string from the first argument contains 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 StringContains INSTANCE
The singleton instance of this class.

Constructor Summary

Constructors
Modifier Constructor Description

protected StringContains()
Builds the type.

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 StringContains INSTANCE
```
    The singleton instance of this class.
- Constructor Detail
  - StringContains
```
protected StringContains()
```
    Builds the type. 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