StringStartsWith (lisa-sdk 0.1b6 API)

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

All Implemented Interfaces:

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

Constructor Summary

Constructors
Modifier Constructor Description

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