diff --git a/monticore-grammar/src/main/java/de/monticore/types3/TypeSystem3.md b/monticore-grammar/src/main/java/de/monticore/types3/TypeSystem3.md index 4d30c373f..8be33add9 100644 --- a/monticore-grammar/src/main/java/de/monticore/types3/TypeSystem3.md +++ b/monticore-grammar/src/main/java/de/monticore/types3/TypeSystem3.md @@ -62,10 +62,14 @@ and combining their information to the SymTypeExpression currently calculated. (factory for creating instances of the subclasses of SymTypeExpression) * [MCCollectionSymTypeFactory](../types/mccollectiontypes/types3/util/MCCollectionSymTypeFactory.java) (factory for CollectionTypes, convenience methods) + * [StreamSymTypeFactory](streams/StreamSymTypeFactory.java) + (factory for Stream types, convenience methods) * [SymTypeRelations](SymTypeRelations.java) (relations over SymTypeExpressions, e.g., isSubTypeOf) * [MCCollectionSymTypeRelations](../types/mccollectiontypes/types3/MCCollectionSymTypeRelations.java) (relations over MCCollection SymTypeExpressions, e.g., isList) + * [StreamSymTypeRelations](streams/StreamSymTypeRelations.java) + (relations over Stream SymTypeExpressions, e.g., isEventStream) * [WithinTypeBasicSymbolsResolver](util/WithinTypeBasicSymbolsResolver.java) (resolves contained fields, methods, etc. within a given type) * TypeVisitors traverse the AST and @@ -95,6 +99,9 @@ and combining their information to the SymTypeExpression currently calculated. * [SetExpressionsTypeVisitor](../ocl/setexpressions/types3/SetExpressionsTypeVisitor.java) (calculates the SymTypeExpressions for the expressions in the grammar SetExpressions) + * [StreamExpressionsTypeVisitor](../expressions/streamexpressions/types3/StreamExpressionsTypeVisitor.java) + (calculates the SymTypeExpressions for the expressions + in the grammar StreamExpressions) * [TupleExpressionsTypeVisitor](../expressions/tupleexpressions/types3/TupleExpressionsTypeVisitor.java) (calculates the SymTypeExpressions for the expressions in the grammar TupleExpressions) diff --git a/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md b/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md index 851b522f5..25a77286b 100644 --- a/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md +++ b/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md @@ -111,6 +111,9 @@ To this end, MontiCore provides a type inference algorithm. * [SetExpressionsCTTIVisitor](../../ocl/setexpressions/types3/SetExpressionsCTTIVisitor.java) (calculates the SymTypeExpressions for the expressions in the grammar SetExpressions) + * [StreamExpressionsCTTIVisitor](../../expressions/streamexpressions/types3/StreamExpressionsCTTIVisitor.java) + (calculates the SymTypeExpressions for the expressions + in the grammar StreamExpressions) * [UglyExpressionsCTTIVisitor](../../expressions/uglyexpressions/types3/UglyExpressionsCTTIVisitor.java) (calculates the SymTypeExpressions for the expressions in the grammar UglyExpressions)