arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

package-info model mit NonNull annotations

Browse Source
This commit is contained in:
Johanna Stuber 2021-01-28 18:03:54 +01:00
parent 5ed813133c
commit ce06a19b1e
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/java/edu/kit/typicalc/model/package-info.java Normal file
View File

@ -0,0 +1,16 @@
@NonNullFields
@NonNullApi
/**
* The model package contains all classes needed to model the typed lambda calculus and the type inference algorithm.
* To do so, it contains the sub-packages term, type, step and parser.
* The model package itself contains the ModelInterface, functioning as an interface for the presenter
* and the classes executing the type inference algorithm.
* The class TypeInferer combines the three separated parts of the algorithm:
* the building of the tree, execution of the unification and calculation of the most general unifier and final type.
* An instance of TypeInferer, fitting the lambda term from the user input, is passed to the view to obtain the data
* needed for the visualization of the computed steps of the algorithm.
*/
package edu.kit.typicalc.model;
import org.springframework.lang.NonNullApi;
import org.springframework.lang.NonNullFields;