Overview of Package io.sarl.lang.typesystem
Object Type List
Name Description
AnnotationJavaGenerationAdapter Adapter that enables to adda annotation when generating the Java code.
DefaultImmutableTypeValidator Tool for validating the types against their immutability.
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.
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.