Origin/develop/field immutability

[roterEmil]

Reference Immutability Analysis

• New Lattice
• Old L2 Field Mutability Analysis adapted to the new reference immutability lattice an renamed
• Demo for Reference Immutability Analysis

[WP] Field Immutability Analysis

• New Lattice
• New Analysis uses Reference Immutability Analysis and Type immutability analysis
• Demo for Field Immutability Analysis

[WP] Class Immutability Analysis

• New Lattice
• Takes the existing one and adapts it to the new field immutability analysis as well as the new lattice
• Demo for the new Class Immutability Analysis

[WP] Tests

• for Reference, Field, Class -Immutability
• Work in Progress, still errors

Lazy initialization of Arrays

The Lazy Initialization of Arrays corresponds to the assignment of the New-element. Writes on specific indexes afterwards array[i]= only leads to the field being not deep immutable but does not affect the reference immutability of the field with the type array