StringStartsWith (lisa-imp 0.1 API)

java.lang.Object
- it.unive.lisa.program.cfg.NativeCFG
- - it.unive.lisa.imp.constructs.StringStartsWith

All Implemented Interfaces:

it.unive.lisa.program.cfg.CodeMember
```
public class StringStartsWith
extends it.unive.lisa.program.cfg.NativeCFG
```
The native construct representing the startsWith operation. This construct can be invoked on a string variable x with x.startsWith(other), where other is the string that will be checked against prefixes of x.

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  static class StringStartsWith.IMPStringStartsWith
  An expression modeling the string startsWith operation.
- Constructor Summary
  
  Constructors
  Constructor Description
  
  StringStartsWith(it.unive.lisa.program.cfg.CodeLocation location, it.unive.lisa.program.ClassUnit stringUnit)
  Builds the construct.
- Method Summary
  - Methods inherited from class it.unive.lisa.program.cfg.NativeCFG
    getDescriptor, rewrite, toString
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
  - Methods inherited from interface it.unive.lisa.program.cfg.CodeMember
    validate

- Constructor Detail
  - StringStartsWith
```
public StringStartsWith(it.unive.lisa.program.cfg.CodeLocation location,
                        it.unive.lisa.program.ClassUnit stringUnit)
```
    Builds the construct.
    
    Parameters:
    
    location - the location where this construct is defined
    
    stringUnit - the unit where this construct is defined