ArrayLength (lisa-imp 0.1 API)

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

All Implemented Interfaces:

it.unive.lisa.program.cfg.CodeMember
```
public class ArrayLength
extends it.unive.lisa.program.cfg.NativeCFG
```
The native construct representing the array length operation. This construct can be invoked on an array variable x with arraylen(x).

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  static class ArrayLength.IMPArrayLength
  An expression modeling the array length operation.
- Constructor Summary
  
  Constructors
  Constructor Description
  
  ArrayLength(it.unive.lisa.program.cfg.CodeLocation location, it.unive.lisa.program.Program program)
  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
  - ArrayLength
```
public ArrayLength(it.unive.lisa.program.cfg.CodeLocation location,
                   it.unive.lisa.program.Program program)
```
    Builds the construct.
    
    Parameters:
    
    location - the location where this construct is defined
    
    program - the program of the analysis