| Name | Description |
|---|---|
| AnnotationJavaGenerationAdapter | Adapter that enables to adda annotation when generating the Java code. |
| DefaultImmutableTypeValidator | Tool for validating the types against their immutability. |
| DefaultSARLTypeChecker | Default implementation of the SARL type checker that provides extended methods for checking types compared to the standard Xtext type checker. |
| FeatureCallAdapter | Adapter to memorize the type computing candidates for an abstract feature call. |
| IImmutableTypeValidator | Tool for validating the types against their immutability. |
| InheritanceHelper | Utilities for managing inheritance of JVM and SARL elements. |
| IOperationHelper | Helper on operations. |
| IPureOperationNameValidator | Test if names are for pure or not pure operations. |
| ISARLTypeChecker | SARL type checker that provides extended methods for checking types compared to the standard Xtext type checker. |
| ISideEffectContext | Context for side effect detection. |
| PureOperationNameValidator | Test if names are for pure or not pure operations. |
| SARLAnnotationUtil | Utilities for JVM annotations. |
| SARLExpressionHelper | Helper on expressions. |
| SARLOperationHelper | Helper on operations. |
| SARLReentrantTypeResolver | Type resolver for SARL. |
| SARLTypeComputer | Customized type computer for SARL specific expressions. |
| SideEffectContext | Context for the side effect. |