From 5a842de54c8c66c3ee34b0019363544318be0bf4 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 14:17:14 +0200 Subject: [PATCH 01/12] Originale symtabdefinitionsym --- .../EventStream.symtabdefinitionsym | 884 ++++++++++++++++++ .../Stream.symtabdefinitionsym | 665 +++++++++++++ .../SyncStream.symtabdefinitionsym | 758 +++++++++++++++ .../ToptStream.symtabdefinitionsym | 782 ++++++++++++++++ .../UntimedStream.symtabdefinitionsym | 672 +++++++++++++ 5 files changed, 3761 insertions(+) create mode 100644 language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym create mode 100644 language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym create mode 100644 language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym create mode 100644 language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym create mode 100644 language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym diff --git a/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym new file mode 100644 index 00000000..011a5dce --- /dev/null +++ b/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym @@ -0,0 +1,884 @@ +{ + "generated-using": "www.MontiCore.de technology", + "name": "EventStream", + "symbols": [ + { + "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", + "name": "EventStream", + "fullName": "EventStream.EventStream", + "packageName": "EventStream", + "superTypes": [ + { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + } + ], + "isClass": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "first", + "fullName": "EventStream.EventStream.first", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "nth", + "fullName": "EventStream.EventStream.nth", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.nth.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "eRepeat", + "fullName": "EventStream.EventStream.eRepeat", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eRepeat.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "EventStream.EventStream.eRepeat.elem", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eRepeat.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.eRepeat.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "EventStream.EventStream.eRepeat.S", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "eIterate", + "fullName": "EventStream.EventStream.eIterate", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eIterate.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "EventStream.EventStream.eIterate.elem", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eIterate.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "EventStream.EventStream.eIterate.elem", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eIterate.S" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "EventStream.EventStream.eIterate.S", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "eProjFst", + "fullName": "EventStream.EventStream.eProjFst", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjFst.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "EventStream.EventStream.eProjFst.list", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjFst.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "EventStream.EventStream.eProjFst.S", + "packageName": "EventStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.eProjFst.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "eProjSnd", + "fullName": "EventStream.EventStream.eProjSnd", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjSnd.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "EventStream.EventStream.eProjSnd.list", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjSnd.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "EventStream.EventStream.eProjSnd.S", + "packageName": "EventStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.eProjSnd.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropFirst", + "fullName": "EventStream.EventStream.dropFirst", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "take", + "fullName": "EventStream.EventStream.take", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.take.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropMultiple", + "fullName": "EventStream.EventStream.dropMultiple", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.dropMultiple.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "times", + "fullName": "EventStream.EventStream.times", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.times.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "infTimes", + "fullName": "EventStream.EventStream.infTimes", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "map", + "fullName": "EventStream.EventStream.map", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.map.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "EventStream.EventStream.map.f", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.map.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.map.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "filter", + "fullName": "EventStream.EventStream.filter", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "EventStream.EventStream.filter.predicate", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "takeWhile", + "fullName": "EventStream.EventStream.takeWhile", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "EventStream.EventStream.takeWhile.predicate", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropWhile", + "fullName": "EventStream.EventStream.dropWhile", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "EventStream.EventStream.dropWhile.predicate", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rcDups", + "fullName": "EventStream.EventStream.rcDups", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "zip", + "fullName": "EventStream.EventStream.zip", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.zip.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "second", + "fullName": "EventStream.EventStream.zip.second", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.zip.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.zip.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "scanl", + "fullName": "EventStream.EventStream.scanl", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.scanl.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "EventStream.EventStream.scanl.f", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "acc", + "fullName": "EventStream.EventStream.scanl.acc", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.scanl.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "delay", + "fullName": "EventStream.EventStream.delay", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "EventStream.EventStream.delay.n", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "mapSlice", + "fullName": "EventStream.EventStream.mapSlice", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.mapSlice.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "EventStream.EventStream.mapSlice.f", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.mapSlice.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "EventStream.EventStream.mapSlice.U", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rougherTime", + "fullName": "EventStream.EventStream.rougherTime", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "slices", + "fullName": "EventStream.EventStream.rougherTime.slices", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "finerTime", + "fullName": "EventStream.EventStream.finerTime", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Set", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "slices", + "fullName": "EventStream.EventStream.finerTime.slices", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "untimed", + "fullName": "EventStream.EventStream.untimed", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "sync", + "fullName": "EventStream.EventStream.sync", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "topt", + "fullName": "EventStream.EventStream.topt", + "packageName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "EventStream", + "fullName": "EventStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] + }, + "isConstructor": true, + "isPublic": true, + "isStatic": true + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "T", + "fullName": "EventStream.EventStream.T", + "packageName": "EventStream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", + "name": "EventStream", + "fullName": "EventStream" + } + ] +} diff --git a/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym new file mode 100644 index 00000000..59c8b55a --- /dev/null +++ b/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym @@ -0,0 +1,665 @@ +{ + "generated-using": "www.MontiCore.de technology", + "name": "Stream", + "symbols": [ + { + "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", + "name": "Stream", + "fullName": "Stream.Stream", + "packageName": "Stream", + "isInterface": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "len", + "fullName": "Stream.Stream.len", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "hasInfiniteLen", + "fullName": "Stream.Stream.hasInfiniteLen", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "repeat", + "fullName": "Stream.Stream.repeat", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.repeat.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "Stream.Stream.repeat.elem", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.repeat.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "Stream.Stream.repeat.n", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "Stream.Stream.repeat.S", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "iterate", + "fullName": "Stream.Stream.iterate", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.iterate.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "Stream.Stream.iterate.elem", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.iterate.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "Stream.Stream.iterate.elem", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.iterate.S" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "Stream.Stream.iterate.S", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "projFst", + "fullName": "Stream.Stream.projFst", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projFst.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "Stream.Stream.projFst.list", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projFst.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "Stream.Stream.projFst.S", + "packageName": "Stream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "Stream.Stream.projFst.U", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "projSnd", + "fullName": "Stream.Stream.projSnd", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projSnd.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "Stream.Stream.projSnd.list", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projSnd.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "Stream.Stream.projSnd.S", + "packageName": "Stream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "Stream.Stream.projSnd.U", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropFirst", + "fullName": "Stream.Stream.dropFirst", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "take", + "fullName": "Stream.Stream.take", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "Stream.Stream.take.n", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropMultiple", + "fullName": "Stream.Stream.dropMultiple", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "Stream.Stream.dropMultiple.n", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "times", + "fullName": "Stream.Stream.times", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "Stream.Stream.times.n", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "infTimes", + "fullName": "Stream.Stream.infTimes", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "map", + "fullName": "Stream.Stream.map", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.map.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "Stream.Stream.map.f", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.map.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "Stream.Stream.map.U", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "filter", + "fullName": "Stream.Stream.filter", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "Stream.Stream.filter.predicate", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "takeWhile", + "fullName": "Stream.Stream.takeWhile", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "Stream.Stream.takeWhile.predicate", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropWhile", + "fullName": "Stream.Stream.dropWhile", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "Stream.Stream.dropWhile.predicate", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rcDups", + "fullName": "Stream.Stream.rcDups", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "zip", + "fullName": "Stream.Stream.zip", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.zip.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "second", + "fullName": "Stream.Stream.zip.second", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.zip.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "Stream.Stream.zip.U", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "values", + "fullName": "Stream.Stream.values", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Set", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "scanl", + "fullName": "Stream.Stream.scanl", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.scanl.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "Stream.Stream.scanl.f", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "acc", + "fullName": "Stream.Stream.scanl.acc", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "Stream.Stream.scanl.U", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "T", + "fullName": "Stream.Stream.T", + "packageName": "Stream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", + "name": "Stream", + "fullName": "Stream" + } + ] +} diff --git a/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym new file mode 100644 index 00000000..94882fae --- /dev/null +++ b/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym @@ -0,0 +1,758 @@ +{ + "generated-using": "www.MontiCore.de technology", + "name": "SyncStream", + "symbols": [ + { + "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", + "name": "SyncStream", + "fullName": "SyncStream.SyncStream", + "packageName": "SyncStream", + "superTypes": [ + { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + } + ], + "isClass": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "first", + "fullName": "SyncStream.SyncStream.first", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "nth", + "fullName": "SyncStream.SyncStream.nth", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.nth.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "syncRepeat", + "fullName": "SyncStream.SyncStream.syncRepeat", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncRepeat.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "SyncStream.SyncStream.syncRepeat.elem", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncRepeat.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.syncRepeat.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "SyncStream.SyncStream.syncRepeat.S", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "syncIterate", + "fullName": "SyncStream.SyncStream.syncIterate", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncIterate.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "SyncStream.SyncStream.syncIterate.elem", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncIterate.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "SyncStream.SyncStream.syncIterate.elem", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncIterate.S" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "SyncStream.SyncStream.syncIterate.S", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "syncProjFst", + "fullName": "SyncStream.SyncStream.syncProjFst", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjFst.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "SyncStream.SyncStream.syncProjFst.list", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjFst.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "SyncStream.SyncStream.syncProjFst.S", + "packageName": "SyncStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "SyncStream.SyncStream.syncProjFst.U", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "syncProjSnd", + "fullName": "SyncStream.SyncStream.syncProjSnd", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjSnd.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "SyncStream.SyncStream.syncProjSnd.list", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjSnd.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "SyncStream.SyncStream.syncProjSnd.S", + "packageName": "SyncStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "SyncStream.SyncStream.syncProjSnd.U", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropFirst", + "fullName": "SyncStream.SyncStream.dropFirst", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "take", + "fullName": "SyncStream.SyncStream.take", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.take.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropMultiple", + "fullName": "SyncStream.SyncStream.dropMultiple", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.dropMultiple.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "times", + "fullName": "SyncStream.SyncStream.times", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.times.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "infTimes", + "fullName": "SyncStream.SyncStream.infTimes", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "map", + "fullName": "SyncStream.SyncStream.map", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.map.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "SyncStream.SyncStream.map.f", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.map.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "SyncStream.SyncStream.map.U", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "filter", + "fullName": "SyncStream.SyncStream.filter", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "SyncStream.SyncStream.filter.predicate", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "takeWhile", + "fullName": "SyncStream.SyncStream.takeWhile", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "SyncStream.SyncStream.takeWhile.predicate", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropWhile", + "fullName": "SyncStream.SyncStream.dropWhile", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "SyncStream.SyncStream.dropWhile.predicate", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rcDups", + "fullName": "SyncStream.SyncStream.rcDups", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "zip", + "fullName": "SyncStream.SyncStream.zip", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.zip.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "second", + "fullName": "SyncStream.SyncStream.zip.second", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.zip.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "SyncStream.SyncStream.zip.U", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "scanl", + "fullName": "SyncStream.SyncStream.scanl", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.scanl.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "SyncStream.SyncStream.scanl.f", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "acc", + "fullName": "SyncStream.SyncStream.scanl.acc", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "SyncStream.SyncStream.scanl.U", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "delay", + "fullName": "SyncStream.SyncStream.delay", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "SyncStream.SyncStream.delay.n", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "untimed", + "fullName": "SyncStream.SyncStream.untimed", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "topt", + "fullName": "SyncStream.SyncStream.topt", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "event", + "fullName": "SyncStream.SyncStream.event", + "packageName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "SyncStream", + "fullName": "SyncStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ] + }, + "isConstructor": true, + "isPublic": true, + "isStatic": true + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "T", + "fullName": "SyncStream.SyncStream.T", + "packageName": "SyncStream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", + "name": "SyncStream", + "fullName": "SyncStream" + } + ] +} diff --git a/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym new file mode 100644 index 00000000..f136f899 --- /dev/null +++ b/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym @@ -0,0 +1,782 @@ +{ + "generated-using": "www.MontiCore.de technology", + "name": "ToptStream", + "symbols": [ + { + "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", + "name": "ToptStream", + "fullName": "ToptStream.ToptStream", + "packageName": "ToptStream", + "superTypes": [ + { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + } + ], + "isClass": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "first", + "fullName": "ToptStream.ToptStream.first", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Optional", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "nth", + "fullName": "ToptStream.ToptStream.nth", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Optional", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.nth.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "toptRepeat", + "fullName": "ToptStream.ToptStream.toptRepeat", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptRepeat.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "ToptStream.ToptStream.toptRepeat.elem", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptRepeat.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.toptRepeat.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "ToptStream.ToptStream.toptRepeat.S", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "toptIterate", + "fullName": "ToptStream.ToptStream.toptIterate", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptIterate.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "ToptStream.ToptStream.toptIterate.elem", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptIterate.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "ToptStream.ToptStream.toptIterate.elem", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptIterate.S" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "ToptStream.ToptStream.toptIterate.S", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "toptProjFst", + "fullName": "ToptStream.ToptStream.toptProjFst", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjFst.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "ToptStream.ToptStream.toptProjFst.list", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjFst.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "ToptStream.ToptStream.toptProjFst.S", + "packageName": "ToptStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "ToptStream.ToptStream.toptProjFst.U", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "toptProjSnd", + "fullName": "ToptStream.ToptStream.toptProjSnd", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjSnd.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "ToptStream.ToptStream.toptProjSnd.list", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjSnd.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "ToptStream.ToptStream.toptProjSnd.S", + "packageName": "ToptStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "ToptStream.ToptStream.toptProjSnd.U", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropFirst", + "fullName": "ToptStream.ToptStream.dropFirst", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "take", + "fullName": "ToptStream.ToptStream.take", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.take.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropMultiple", + "fullName": "ToptStream.ToptStream.dropMultiple", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.dropMultiple.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "times", + "fullName": "ToptStream.ToptStream.times", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.times.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "infTimes", + "fullName": "ToptStream.ToptStream.infTimes", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "map", + "fullName": "ToptStream.ToptStream.map", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.map.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "ToptStream.ToptStream.map.f", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.map.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "ToptStream.ToptStream.map.U", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "filter", + "fullName": "ToptStream.ToptStream.filter", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "ToptStream.ToptStream.filter.predicate", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "takeWhile", + "fullName": "ToptStream.ToptStream.takeWhile", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "ToptStream.ToptStream.takeWhile.predicate", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropWhile", + "fullName": "ToptStream.ToptStream.dropWhile", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "ToptStream.ToptStream.dropWhile.predicate", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rcDups", + "fullName": "ToptStream.ToptStream.rcDups", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "zip", + "fullName": "ToptStream.ToptStream.zip", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.zip.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "second", + "fullName": "ToptStream.ToptStream.zip.second", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.zip.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "ToptStream.ToptStream.zip.U", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "scanl", + "fullName": "ToptStream.ToptStream.scanl", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.scanl.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "ToptStream.ToptStream.scanl.f", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "acc", + "fullName": "ToptStream.ToptStream.scanl.acc", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "ToptStream.ToptStream.scanl.U", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "delay", + "fullName": "ToptStream.ToptStream.delay", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "ToptStream.ToptStream.delay.n", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "sizeEmptyTimeslices", + "fullName": "ToptStream.ToptStream.sizeEmptyTimeslices", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "untimed", + "fullName": "ToptStream.ToptStream.untimed", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "sync", + "fullName": "ToptStream.ToptStream.sync", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "SyncStream.SyncStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "event", + "fullName": "ToptStream.ToptStream.event", + "packageName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "EventStream.EventStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "ToptStream", + "fullName": "ToptStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "ToptStream.ToptStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ] + }, + "isConstructor": true, + "isPublic": true, + "isStatic": true + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "T", + "fullName": "ToptStream.ToptStream.T", + "packageName": "ToptStream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", + "name": "ToptStream", + "fullName": "ToptStream" + } + ] +} diff --git a/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym new file mode 100644 index 00000000..4fe8b4f9 --- /dev/null +++ b/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym @@ -0,0 +1,672 @@ +{ + "generated-using": "www.MontiCore.de technology", + "name": "UntimedStream", + "symbols": [ + { + "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", + "name": "UntimedStream", + "fullName": "UntimedStream.UntimedStream", + "packageName": "UntimedStream", + "superTypes": [ + { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "Stream.Stream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + } + ], + "isClass": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "first", + "fullName": "UntimedStream.UntimedStream.first", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "nth", + "fullName": "UntimedStream.UntimedStream.nth", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "UntimedStream.UntimedStream.nth.n", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "uRepeat", + "fullName": "UntimedStream.UntimedStream.uRepeat", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uRepeat.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "UntimedStream.UntimedStream.uRepeat.elem", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uRepeat.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "UntimedStream.UntimedStream.uRepeat.n", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "UntimedStream.UntimedStream.uRepeat.S", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "uIterate", + "fullName": "UntimedStream.UntimedStream.uIterate", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uIterate.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "UntimedStream.UntimedStream.uIterate.elem", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uIterate.S" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "elem", + "fullName": "UntimedStream.UntimedStream.uIterate.elem", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uIterate.S" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "UntimedStream.UntimedStream.uIterate.S", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "uProjFst", + "fullName": "UntimedStream.UntimedStream.uProjFst", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjFst.S" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "UntimedStream.UntimedStream.uProjFst.list", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjFst.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "UntimedStream.UntimedStream.uProjFst.S", + "packageName": "UntimedStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "UntimedStream.UntimedStream.uProjFst.U", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "uProjSnd", + "fullName": "UntimedStream.UntimedStream.uProjSnd", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjSnd.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "isStatic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "list", + "fullName": "UntimedStream.UntimedStream.uProjSnd.list", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjSnd.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "S", + "fullName": "UntimedStream.UntimedStream.uProjSnd.S", + "packageName": "UntimedStream" + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "UntimedStream.UntimedStream.uProjSnd.U", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropFirst", + "fullName": "UntimedStream.UntimedStream.dropFirst", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "take", + "fullName": "UntimedStream.UntimedStream.take", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "UntimedStream.UntimedStream.take.n", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropMultiple", + "fullName": "UntimedStream.UntimedStream.dropMultiple", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "UntimedStream.UntimedStream.dropMultiple.n", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "times", + "fullName": "UntimedStream.UntimedStream.times", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "n", + "fullName": "UntimedStream.UntimedStream.times.n", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "long" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "infTimes", + "fullName": "UntimedStream.UntimedStream.infTimes", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "map", + "fullName": "UntimedStream.UntimedStream.map", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.map.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "UntimedStream.UntimedStream.map.f", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.map.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "UntimedStream.UntimedStream.map.U", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "filter", + "fullName": "UntimedStream.UntimedStream.filter", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "UntimedStream.UntimedStream.filter.predicate", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "takeWhile", + "fullName": "UntimedStream.UntimedStream.takeWhile", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "UntimedStream.UntimedStream.takeWhile.predicate", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "dropWhile", + "fullName": "UntimedStream.UntimedStream.dropWhile", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "predicate", + "fullName": "UntimedStream.UntimedStream.dropWhile.predicate", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + } + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "rcDups", + "fullName": "UntimedStream.UntimedStream.rcDups", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isMethod": true, + "isPublic": true + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "zip", + "fullName": "UntimedStream.UntimedStream.zip", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.zip.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "second", + "fullName": "UntimedStream.UntimedStream.zip.second", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.zip.U" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "UntimedStream.UntimedStream.zip.U", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "scanl", + "fullName": "UntimedStream.UntimedStream.scanl", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.scanl.U" + } + ] + }, + "isMethod": true, + "isPublic": true, + "spannedScope": { + "symbols": [ + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "f", + "fullName": "UntimedStream.UntimedStream.scanl.f", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", + "name": "acc", + "fullName": "UntimedStream.UntimedStream.scanl.acc", + "packageName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.scanl.U" + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "U", + "fullName": "UntimedStream.UntimedStream.scanl.U", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "UntimedStream", + "fullName": "UntimedStream", + "type": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ] + }, + "isConstructor": true, + "isPublic": true, + "isStatic": true + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", + "name": "T", + "fullName": "UntimedStream.UntimedStream.T", + "packageName": "UntimedStream" + } + ] + } + }, + { + "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", + "name": "UntimedStream", + "fullName": "UntimedStream" + } + ] +} From 8412493b07bcb85add95436c36bdbbcc24cf408f Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 15:29:16 +0200 Subject: [PATCH 02/12] fix stream --- .../Stream.symtabdefinitionsym | 146 +++++++++++++++--- 1 file changed, 128 insertions(+), 18 deletions(-) diff --git a/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym index 59c8b55a..17fc5ac3 100644 --- a/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym +++ b/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym @@ -23,6 +23,19 @@ "isPublic": true, "isAbstract": true }, + { + "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", + "name": "isEmpty", + "fullName": "Stream.Stream.isEmpty", + "packageName": "Stream", + "type": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "isMethod": true, + "isPublic": true, + "isAbstract": true + }, { "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", "name": "hasInfiniteLen", @@ -113,8 +126,18 @@ "fullName": "Stream.Stream.iterate.elem", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.iterate.S" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.iterate.S" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.iterate.S" + } + ], + "elliptic": false } }, { @@ -167,8 +190,17 @@ "typeConstructorFullName": "Stream.Stream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projFst.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projFst.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projFst.U" + } + ] } ] } @@ -219,8 +251,17 @@ "typeConstructorFullName": "Stream.Stream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projSnd.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projSnd.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.projSnd.U" + } + ] } ] } @@ -403,8 +444,18 @@ "fullName": "Stream.Stream.map.f", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.map.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.map.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ], + "elliptic": false } }, { @@ -442,8 +493,18 @@ "fullName": "Stream.Stream.filter.predicate", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ], + "elliptic": false } } ] @@ -475,8 +536,18 @@ "fullName": "Stream.Stream.takeWhile.predicate", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ], + "elliptic": false } } ] @@ -508,8 +579,18 @@ "fullName": "Stream.Stream.dropWhile.predicate", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ], + "elliptic": false } } ] @@ -544,8 +625,17 @@ "typeConstructorFullName": "Stream.Stream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.zip.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.zip.U" + } + ] } ] }, @@ -624,8 +714,28 @@ "fullName": "Stream.Stream.scanl.f", "packageName": "Stream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.scanl.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.scanl.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.T" + } + ], + "elliptic": false + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "Stream.Stream.scanl.U" + } + ], + "elliptic": false } }, { From ddd7232d6b14e5ed749b2d8db6f3e5e5ab895089 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 15:55:16 +0200 Subject: [PATCH 03/12] fix EventStream --- .../EventStream.symtabdefinitionsym | 161 +++++++++++++++--- 1 file changed, 137 insertions(+), 24 deletions(-) diff --git a/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym index 011a5dce..15119bf2 100644 --- a/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym +++ b/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym @@ -147,8 +147,18 @@ "fullName": "EventStream.EventStream.eIterate.elem", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eIterate.S" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eIterate.S" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eIterate.S" + } + ], + "elliptic": false } }, { @@ -200,8 +210,17 @@ "typeConstructorFullName": "UntimedStream.UntimedStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjFst.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjFst.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjFst.U" + } + ] } ] } @@ -251,8 +270,17 @@ "typeConstructorFullName": "UntimedStream.UntimedStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjSnd.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjSnd.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.eProjSnd.U" + } + ] } ] } @@ -429,8 +457,18 @@ "fullName": "EventStream.EventStream.map.f", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.map.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.map.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ], + "elliptic": false } }, { @@ -467,8 +505,18 @@ "fullName": "EventStream.EventStream.filter.predicate", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ], + "elliptic": false } } ] @@ -499,8 +547,18 @@ "fullName": "EventStream.EventStream.takeWhile.predicate", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ], + "elliptic": false } } ] @@ -531,8 +589,18 @@ "fullName": "EventStream.EventStream.dropWhile.predicate", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ], + "elliptic": false } } ] @@ -566,8 +634,17 @@ "typeConstructorFullName": "EventStream.EventStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.zip.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.zip.U" + } + ] } ] }, @@ -625,8 +702,28 @@ "fullName": "EventStream.EventStream.scanl.f", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.scanl.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.scanl.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ], + "elliptic": false + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.scanl.U" + } + ], + "elliptic": false } }, { @@ -705,14 +802,30 @@ "fullName": "EventStream.EventStream.mapSlice.f", "packageName": "EventStream", "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.mapSlice.U" + } + ] + }, + "argumentTypes": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.mapSlice.U" + "kind": "de.monticore.types.check.SymTypeOfGenerics", + "typeConstructorFullName": "UntimedStream.UntimedStream", + "arguments": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "EventStream.EventStream.T" + } + ] } - ] + ], + "elliptic": false } }, { From c33270b36421ae6e2165ca2d581d43b2e656dc2d Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 16:10:11 +0200 Subject: [PATCH 04/12] fix SyncStream --- .../SyncStream.symtabdefinitionsym | 133 +++++++++++++++--- 1 file changed, 115 insertions(+), 18 deletions(-) diff --git a/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym index 94882fae..773673bf 100644 --- a/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym +++ b/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym @@ -135,8 +135,18 @@ "fullName": "SyncStream.SyncStream.syncIterate.elem", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncIterate.S" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncIterate.S" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncIterate.S" + } + ], + "elliptic": false } }, { @@ -188,8 +198,17 @@ "typeConstructorFullName": "SyncStream.SyncStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjFst.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjFst.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjFst.U" + } + ] } ] } @@ -239,8 +258,17 @@ "typeConstructorFullName": "SyncStream.SyncStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjSnd.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjSnd.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.syncProjSnd.U" + } + ] } ] } @@ -417,8 +445,18 @@ "fullName": "SyncStream.SyncStream.map.f", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.map.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.map.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ], + "elliptic": false } }, { @@ -455,8 +493,18 @@ "fullName": "SyncStream.SyncStream.filter.predicate", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ], + "elliptic": false } } ] @@ -487,8 +535,18 @@ "fullName": "SyncStream.SyncStream.takeWhile.predicate", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ], + "elliptic": false } } ] @@ -519,8 +577,18 @@ "fullName": "SyncStream.SyncStream.dropWhile.predicate", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ], + "elliptic": false } } ] @@ -554,8 +622,17 @@ "typeConstructorFullName": "SyncStream.SyncStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.zip.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.zip.U" + } + ] } ] }, @@ -613,8 +690,28 @@ "fullName": "SyncStream.SyncStream.scanl.f", "packageName": "SyncStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.scanl.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.scanl.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.T" + } + ], + "elliptic": false + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "SyncStream.SyncStream.scanl.U" + } + ], + "elliptic": false } }, { From 90b9a879047df2b32b57d75e0e493c3cec45f7b9 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 16:16:04 +0200 Subject: [PATCH 05/12] fix ToptStream --- .../ToptStream.symtabdefinitionsym | 133 +++++++++++++++--- 1 file changed, 115 insertions(+), 18 deletions(-) diff --git a/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym index f136f899..c4fd39b8 100644 --- a/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym +++ b/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym @@ -147,8 +147,18 @@ "fullName": "ToptStream.ToptStream.toptIterate.elem", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptIterate.S" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptIterate.S" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptIterate.S" + } + ], + "elliptic": false } }, { @@ -200,8 +210,17 @@ "typeConstructorFullName": "ToptStream.ToptStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjFst.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjFst.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjFst.U" + } + ] } ] } @@ -251,8 +270,17 @@ "typeConstructorFullName": "ToptStream.ToptStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjSnd.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjSnd.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.toptProjSnd.U" + } + ] } ] } @@ -429,8 +457,18 @@ "fullName": "ToptStream.ToptStream.map.f", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.map.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.map.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ], + "elliptic": false } }, { @@ -467,8 +505,18 @@ "fullName": "ToptStream.ToptStream.filter.predicate", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ], + "elliptic": false } } ] @@ -499,8 +547,18 @@ "fullName": "ToptStream.ToptStream.takeWhile.predicate", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ], + "elliptic": false } } ] @@ -531,8 +589,18 @@ "fullName": "ToptStream.ToptStream.dropWhile.predicate", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ], + "elliptic": false } } ] @@ -566,8 +634,17 @@ "typeConstructorFullName": "ToptStream.ToptStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.zip.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.zip.U" + } + ] } ] }, @@ -625,8 +702,28 @@ "fullName": "ToptStream.ToptStream.scanl.f", "packageName": "ToptStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.scanl.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.scanl.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.T" + } + ], + "elliptic": false + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "ToptStream.ToptStream.scanl.U" + } + ], + "elliptic": false } }, { From 291934e322a0bbc06fee7ca95f15adf5d0ef7e14 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Mon, 28 Sep 2026 16:20:15 +0200 Subject: [PATCH 06/12] fix UntimedStream --- .../UntimedStream.symtabdefinitionsym | 133 +++++++++++++++--- 1 file changed, 115 insertions(+), 18 deletions(-) diff --git a/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym index 4fe8b4f9..8bd2a5e7 100644 --- a/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym +++ b/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym @@ -135,8 +135,18 @@ "fullName": "UntimedStream.UntimedStream.uIterate.elem", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uIterate.S" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uIterate.S" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uIterate.S" + } + ], + "elliptic": false } }, { @@ -188,8 +198,17 @@ "typeConstructorFullName": "UntimedStream.UntimedStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjFst.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjFst.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjFst.U" + } + ] } ] } @@ -239,8 +258,17 @@ "typeConstructorFullName": "UntimedStream.UntimedStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjSnd.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjSnd.S" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.uProjSnd.U" + } + ] } ] } @@ -417,8 +445,18 @@ "fullName": "UntimedStream.UntimedStream.map.f", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.map.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.map.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ], + "elliptic": false } }, { @@ -455,8 +493,18 @@ "fullName": "UntimedStream.UntimedStream.filter.predicate", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ], + "elliptic": false } } ] @@ -487,8 +535,18 @@ "fullName": "UntimedStream.UntimedStream.takeWhile.predicate", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ], + "elliptic": false } } ] @@ -519,8 +577,18 @@ "fullName": "UntimedStream.UntimedStream.dropWhile.predicate", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypePrimitive", + "primitiveName": "boolean" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ], + "elliptic": false } } ] @@ -554,8 +622,17 @@ "typeConstructorFullName": "UntimedStream.UntimedStream", "arguments": [ { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.zip.U" + "kind": "de.monticore.types.check.SymTypeOfTuple", + "listedTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + }, + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.zip.U" + } + ] } ] }, @@ -613,8 +690,28 @@ "fullName": "UntimedStream.UntimedStream.scanl.f", "packageName": "UntimedStream", "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.scanl.U" + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeOfFunction", + "returnType": { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.scanl.U" + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.T" + } + ], + "elliptic": false + }, + "argumentTypes": [ + { + "kind": "de.monticore.types.check.SymTypeVariable", + "varName": "UntimedStream.UntimedStream.scanl.U" + } + ], + "elliptic": false } }, { From c00528ad18351a4f6ac27bd913d0317656a4a748 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Wed, 30 Sep 2026 14:40:41 +0200 Subject: [PATCH 07/12] add jar New-Item -ItemType Directory -Force build\stream-symbols\extracted | Out-Null Push-Location build\stream-symbols\extracted jar xf ..\stream-symbols-7.8.1.jar Pop-Location --- build/stream-symbols/stream-symbols-7.8.1.jar | Bin 0 -> 8735 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 build/stream-symbols/stream-symbols-7.8.1.jar diff --git a/build/stream-symbols/stream-symbols-7.8.1.jar b/build/stream-symbols/stream-symbols-7.8.1.jar new file mode 100644 index 0000000000000000000000000000000000000000..6a6bc17a1b1e8778d0f9a594143008e5a0e31a48 GIT binary patch literal 8735 zcmai)1yCK!w)Zzqa0qU}o#5^g++pMHPGIA1K>`FP*hUjz<1WD^xI4i;IKiEd-0!`6 za!=JecTG*zOi%Z!o|>ut^;-X>A`b(L4M0Rh1Ry2~836vUR{&Um;yVp7W?3aEmZw1g z00y8UkAV2Q2lW4RQ~5s!W54wH_h3aaC0VI=>KbnqrOp+HhZN+Q-%g;)Gc$}1kJYHL zPIIhnyS$ZCWRg{!a4UvI0=&D3X2RjrPXw_ee^kdIRzE|QW0wbUc{O=9{c8quqiaf{ zFaE_|&c9}GBm1AzfAjM6ox6pjtGcU;g^9ykke7q2iK)4TrH!MFtBsT6%l(moBB+KN zqs^n>xib+o1SvF3ESQo=S8)CzK|7@?T0diKEV>200AIJ`{jy-yjr(AV+@fz!d6bt- zdL(?;Wz_!cSodvVGL9xx{kf0HV*P4ocV^@>i&17c-PR$uT+!wfPT|Vi=wR!6=W_{i z>;xekz5uU6at|-@fi^i=k*f;TxShy=sMV60xid;-Z?jyMP~ZK-5AMp=*AH3=)zi0y z*jrm%Iip9*ca#N=&V|!@bbxH#FOJn@H?7&-@w=ZQuchiWD8>hqEZGz#Rdugi?Sqdt z#0P)5Py2veBtjGVMk?~k(>{}us?uS2Ipwo%%kKQ5YjPq`TX?TuEgns^XrGODU-Z5e zI!mKpM7B$k$Tb^SaYQ9j*pHTJnXcIRm*w_3-WC{6=EaSq0TOI)EV?yel~ z`^EzE)SYpnE;`f+Ez21M+YdeIgksfVG47OU52{K{uiLphA?aETXYFS{H84lV0ta=z zEb(;)QI~l>Nyj#*9F)x?XCuA)S#koPMt$U#_lngNnTxOpXRcvWk43s)*bylurHHTB zDe)nx6@IuRVG&{gw1Ri)_s|_r9w2|O%x;p>A*2-63IdBA=PQ?Y$i=>XciDh;d_sWg z%QwqdhPn~t`fgevu7&@O5vm9sWhNL_O8M0y$LIowLZaH@%>Xhc1Voc)eGsl>(Z)ttS3}fN3&m?Fs(5*yAzCNt79v4t5 zALCG?XXvq(#I)51S{Cd{cAR}F(+X09JnF+7A?)E>x9f!8u6nYWe8t-(H$l1BMY#Yn z8h>eEot$$pGbsvKTC&RR(}4{w)dz}$@UY4evaRCu@jIFu&DkI-h92evRIb<1id?p( z*FM**L2t%=Wg1xc+ilKAwDSfv)#MRY502a+HGm*BiKdjxTV|UM? zf^YDn+8~|lbU9HQxrv<*_J}|%gC`KRr1d=Nd&a9OZ4G{^*g`hlVj6(9{t$lzc@#@B z_zYHl%t+tgtGs6zST^jS-C>i5lMkheGBvc5a*jUXEbg}>JBpxnJKcE_4f&Q;B*bs} zIcC8qpDu^0hn2b6K~Q0ghAtAPr`=rv6oi!0J06+~$uNn`g>;HY(MBtMV2@TR@KE_F zO{-0q|5~c><$a_I;h*urto%5Gto&)wN|7F)zk3gT52Wk;YSBk+mvjGSN{=aJfZTe7 z*g`{~$9gF54K{6#wY7W`2(~*axq2}H=0m@s^t_#1Ytb`J5JO^KwljS4@OfrkHBqq! z_$a!L{)%_HImOM~V{pSmM_#M$2JB6BSXiu)qK_rpN08<+0oy2jwB$2AXxnFCyQ!?< zzXK;uvE(&~><%a7U^XpW`=eSemP%TdS6viOX8JrR3P^0@?g34&}&I2IGMRfpZ2I_qv#-GnPDo;tsZ8A0%|_v;LC%?Mv%;JtyR zDl+RFovTF~nN9T*C;@|Be||Gqf42pUu}q{}JhrA-0p~Wv+lrFfkbSamCa^aPfc!iY zE#k*{8qHxR-ZOl-@Zjwn>6`?;cX^xqV9;fCQcFY=-0Qwqgdw7L)fVJ)W!~Vtx(N5+ zH8nPo5jCXil$E?G&TND>Fxr`z&B-q{XnO(`ctLqs7Ftr)Gzhy3FyLYFwCG-E40cz_ z*;XyRZlF=?6?EI^hqzfm|z~?l4O8scJvKFZ5ZI+(@tdSWp8F@a3DmABT zSjX~}S9ZDhreLtd$BmkE=YY_^ub-Rz-mE*knR=eQq$@JErRR3{`8R#hDazd{-~oWc zj6d0T`Zx9wzOe6~uqW@d`GP&Xp8>4C$NSUjPVcJUB5`KG9Xg=DtIVMvw4_vpen`l*ZthfXc!)Y&yGpy|eV?Z?lnN< zkA24eC>yJ?Tw&g2c)t;W*tx`oO1bRCIbiOzVyN^S=UbN(AQe%Lv=-F=$it_ zjppIvZM0{m&%U5#-|^VM>@N1tgXH zTdC!IhWKVGV{u^MBtG_#?6V@(Tqh)phiE6VpI=Mhzyf%*c$*u3u;Tq_fgR4R3s+<*`x429Vcljg#h~+A`~~2}hs4Ig|Gh z4Zc8K{A)#k!%yyy-G&e~0_5Jd9pP@c`>78Fk*auAMu=0c|Fo<#M(IjIM&$Be~nD zYFM)cCbp1qyqWxg8n?p<`N1y~LIUKlAp_pCX)s^bRV|SNi5P%Wm=eX7_A)bXwU4H9 zZB>r=tKcEJLr5VSWik~_DqLD&6CdSE?rkg4ChLy(epm)_ItF9j#Y%n@D{R6#{1z^#VhR!{Zx1zR4Ue2)AT2t*PmVJFzG z3N?9^Vf$)`oz(7gQ~RoP(}#vCCZilA%}Otg%1$aLQHrP*E?Kid_v~s&wsch|zwp{+ zX^>VQ^kkP7(phflYn=xA7A51ZlrDZypQsV#PrD(evDha2&t6Mf3c72|Ie~Ek=qbGZ zjWJXpKCYH}-F~jGZBv{bOc;&7)D~T<9G=kR7BGC3l_zk0r9%Y0X-~3+8h$VbyI}-i z1QdJ{={uB06n{DPchcbW5MP>uF@g)w#Qxp9wwQXs9ch1M0|f`0?G-p?jCCF0SR-$j z(3|9Nd$nS5a&*}|1TO}Fb$T4-R#f&>9(SET#Wh$>HhHM!wB#&pV>d#anZ+&C#4)1g zu4jzz{8qw%W;G9-2Rv;!1DpkzCc! zx)u|r8j}}OsR02ecVUh^g3rq{@hU&6g}c)8@0i>SgcVNiN^9NcwX9DrCMQIQkgN5Q z9jWt27aS%_H~@g$_0QG% z?~w}W@73DN(d-{qY<>CI5^n4jt^I(AYDXQnnIi>tH#V?pq75EUgRfV1X`PytL$2aD zfCXMc<`in<;^%&8lLaV>f3%AiB@zVMKT#1&${OG!GBqaC|9vfu#`f}>o6lzR?6WRfJ%JspGnTrDE$lsNG)1Dg|gnA$+v)bfdkvq@>)XZ1+<^wB_K8FyP}4) z-8DR8IoaI{zyUOms57%$|ED8p1jbQfJ&~(HyC48rD-IG<|2Hl|4S&SfZU#AGz4HAA zZ*Q963BA6b5qr%Li{u6v>{QH%Fa|hOba1A6kx-L7At2+kMNV_|3XQtR2w|^~!>Lw; zAmMS@igOtAXp*9-LNa<;-AJMB%EYWFF`8p+1$B`rXs|C*yK`h*hb}5@AAHqdOA!na z#-|XZ6m2#sYSc=sdS5oi;4P+N5}^-+nwt&BrVnJar#CU+y@1zyreWkW60`l6kIt=x zFjV*C34X%7-DdZ@j|^8uYr-8mktK1|Vm*t~DRa4PKcP?0CMVSPg|Y|JfrCTH_I8D3 zN5!qWjwy4v`-nTdg8e&tS-hB27DSaA8K}dsx)A8Cu1t zm5b09_5!{x@sOd0Yju`YFL8>M5=v*&Y_EB#Gwii3g|0 ztB!JM>=oG7#k)ben`s|zgJF;Gb+2?+*?FCjsl`k^{MB}&v(Ubb#(mqaOLPosQP6`b zPgEPm$r&ZYF>XgYPcXOn*Sc<*u=vt`R1Lh+!-efQF47X-X7=9l zmIBvI@jklZnc`SyTq|1S;~4E7B5kxs+p3g-PX z8tEGHz21B0Ws=*`YZ58Jt?m68K9<<9h%Ko#BWcIl3D`vn5^@q8f&yu2xYPLfxOm)t z8L-Hs@t{m4GdmW$TD*yOv_Mc`mPb6}GkZDj#J?_W*CqsaqRkj9eUb}~c zpA*)Ugfod~6QccY&k>%f;Lcg+UX)7P94zQx=G#Z__{v@Io_8Dr*XPW>c;G;k zdjR2H8sXcK;b56z-PGDl2Y`D2I3*S|6Qx+!1Hu)B~g_PP`cs>8}ax~ zQ=cpEf`ma55vx((uOBFxy)D`(&53Qj#G9Ct7DtgI zb?hHAkX_C;)DDjQK`49t_q1~v^nrvUNFI>~{t#eglADBSdxB7zR>gE=Vw_YS5su#I zVUWX1qN^Hx+P_YX@+Hx=e9|>C{7G5S97%Gyxg*vqXAXKvNBjLNbB{Ic1jbyw2JwU-k4`UYpgEFC7 zUUw;K*XsyFW-mL4>2&TPC+zIqW(o&4f0L)hfcTmIQB&|E~S zng!m<*Z#RtkGhTdcvj3M!kSR>LD9@dXa~;^V5rZaJ6MaSu2WU)>mO8qW$R#c#n7aq zuh)+`?WU7DHbvrWR$R=zp)sWSr zI{1kGWxble(IUBoCSoS%XSW)k=Zc2zH-{^kcg!HV_PhRUQjZKOd)e$B6_r9Ru-)Dy zaCtvr)&j{X>$DJA&brWe0aRo0ejS$~IAQtrD?jbUMcjV$0P|RDBiy8^JA9*(-ozLH zIGGBCmH|~@mV=U!3iXK$20J8#;AO3QNd`fyTUrLH(3NP15g4OmzTyxCc!LH3U^+yt zbY;oz>eNSqd)R&JxS@fP+1H2+Y&|7ap5Q0uepK|duiDv*n-+NLHg9;&(|AcBQs2T1&C1V8f(U z1=({pUdj|f=_F(4x#8Cqw7u!BKe{OLC{%3i+K%IVK?r2Bx4cn-Un$oV+ve*x<1f;5 z!rqC@eM6btbMC|2oRc}`q8K_0^TaN9(Zo{ICiNS}6{T}Hmzo)Q3vsRokB$4E9;gxZ z<$Slc?`8y8l*1x=q}Emu3hE|chkhd@8D}^@AM2)Hre6lx{L4zV|F{K}Htq{IAf?8n zl*t{^QsPp&WR#bKGVy-dq5OJnfn+Z6Rr;KS!~SOcL~RW8l6L63$jx9T;=W^&9u$oG znEW|<*L5N3nbnWyeyK(ERK;v{A$RfqIuLcwDnj53LLLZ})8{$MhWYtR+Wo-y)=GEmLc?k(W=uDIDt5b|G8`@#=9(8QOS9tMOiSIB9${PQuf{zs!Z@>FV(ih#O<+SSR>sTaPup31FG zs!jk(bseE29+~*x#uWKV4=W+mpjN8EcnJRN7MRGx!PV0L;vwMui}0H0m)GXU=~rOF ziQ2bQ4%?88%gNQV_AZ#ON8dD8IjUnLJZ#)H?L&8R57TdC?lb(K{zVsGC2=aOmuwPU z#6Qu6{3SjCI=b38SeXAqh+-fHD)}ERW%K`QDb9uAE#|g`Lau@&aOQfb@bEoDUz}C~ zSfEYJ#-X99aV?v+2xJ+LjvJcaAbPI)KbTZ$AKQqUbwRE{>6OOq4{lYyK0YAQuE3gR z)`Cycc$weA$u7Dd@6QT-RYX5&T=OfjSHn775OfzWazuUwCuD(`E7Iz+XV#0e7bjLd$5z$y- zuACggu$;h|SEa4?t^#@4_^}axyAff(jXzCXynpkU$HZ-iW|!UtD(}PqpGr{4fV8*d zBfnbg-QbxC)k>i>;pvYJLgZ=Pt!ygGF1*j6ZHl&p#_(kD$eGL5^$TQf`}Q8L?BAy> z-BMv9S=8s?NJ~;7Rue3-Vx4PE+d(VaKp}>z4gS(E8+KFTA?dr@Qh3;GVN*p~xss5d5+RzNeW z<2i2*;zbJtw@^Ikd;xo6`o34)XGVCH+HCtiwsbNOT2a6eVa|Ip0{*o)39^XV1#zgP z!c-ChD)jI<4Js0yh=6rxn2k-nz2f!E{gM=NwGx?ixPMC(tITDG}`+VDsm@ z9Hn4g-iR(xIztD95pRmaPu7Fi4o*!#%!YfW%6#Nid#-|vACd+2h_$n>qyY@tG z{LF$H+d8(q0p#Xk5KMsZ(Pf9hk8XWoD9TR4Fm$Wd+j&xB%_D1-hF}zq3`z!`6UZtF z|3xGYReKO#?pa$Ffz+df^F1GOkV{JBN1GJQV8sJp_*W6+TTv3gsDV=heu!B_$sn9V#4ZNWU#O1(D-c9~mC z-%34t<0Au9KMog=wI7EgfNqN3<()ud-YL4vcYR`)@8~(|&_+B%IJsMzs%TAlX~ZA& zt8hX%Ha{8?OO>dizv{+{W40|e4r89pj>73fNR+f&8y+|~4W~#7!R$$AP{8e(YEL4# z*T_T+BoM~pftWtV-DT33d)4l9(ZSY$3y@NeTw|;i>r3FFEron)vMN0(#V#sr1}9Q? zIe{I5g?5s5XZoa2scVOd@0sQuq_%lg00n%CI5ZhMrBLVbk|EBegi#o?8l5Pi99r|0 zi-N7TtwcIyAJ)kUZo&pW6veCH_8qnA=M@X7X}N`bJxQ9cV$(LZvh)cS*Z~oumv3~u zXWDw1XG)Y(dxSLGWon71i0;)CGF+kjQs%z*F0g(7+cPzapByyPMz&@Tt$Jxs*0vD> zx2Xh5N+7koIvkVEH>uikb8sG139cqHJxa-}wBP_+xosy_rL9eIAW(iTVis7Y&S^Z; zRZRWCWQN_K&h%P1Cd^44rn}0}rkHiX+X6N2*{quf0yM+y`oU1!(ztMvte8=cpGyc0 zl+T#WS|?Z`1%fqOgd+tTLUw7UQ8QN6Y5$h^ zf7b{6edwP${qK5!zf9=m^4~-Ms1Eqk!|yEFpK8Z%J^wFjf4TfG>i(b3ehVajCgXk! zB!5{m!avC+fBN}7sXs%q->JL5%m($pCG!66>rVjxr>~ON0Kh+obbt5t=U4oV?7!^Q d%j^DEfUC&Ez3c=40ECz07775sAp3py{{U`u;@1EG literal 0 HcmV?d00001 From e0c6c32f31f4f6833983295e8dd45e29fb476c43 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Wed, 30 Sep 2026 17:18:06 +0200 Subject: [PATCH 08/12] use jar --- language/build.gradle | 2 +- .../main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/language/build.gradle b/language/build.gradle index 7e7f580d..9572a512 100644 --- a/language/build.gradle +++ b/language/build.gradle @@ -70,7 +70,7 @@ dependencies { implementation "org.antlr:antlr4-runtime:$antlr_version" implementation "de.monticore:monticore-runtime:$mc_version" implementation "de.monticore:monticore-grammar:$mc_version" - implementation "de.monticore:stream-symbols:$mc_version" + implementation files("$rootDir/build/stream-symbols/stream-symbols-7.8.1.jar") implementation "de.monticore.lang:ocl:$mc_version" implementation "commons-cli:commons-cli:$commons_cli_version" } diff --git a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java index 0a0b3057..046a1cf7 100644 --- a/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java +++ b/language/src/main/java/de/monticore/lang/sysmlv2/SysMLv2Tool.java @@ -464,6 +464,12 @@ public void run(String[] args) { } } + // Die StreamSymbole werden manuell geladen aus + // 'build/stream-symbols/stream-symbols-7.8.1.jar' und in der + // 'language/build.gradle' Zeile 73 von 'implementation "de + // .monticore:stream-symbols:$mc_version"' auf 'implementation files + // ("$rootDir/build/stream-symbols/stream-symbols-7.8.1.jar")' gesetzt. Das + // muss nach dem fix in monticore rückgängig gemacht werden public static void loadStreamSymbolsFromJar() { URL streamDefUrl = SysMLv2Tool.class.getClassLoader().getResource( "Stream.symtabdefinitionsym"); From 2eaf6c8fee77dfa5e273a5f53abaca0d72faf578 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Wed, 30 Sep 2026 19:34:50 +0200 Subject: [PATCH 09/12] remove symtabdefinitionsym This reverts commit 5a842de54c8c66c3ee34b0019363544318be0bf4. Revert "fix UntimedStream" This reverts commit 291934e322a0bbc06fee7ca95f15adf5d0ef7e14. Revert "fix ToptStream" This reverts commit 90b9a879047df2b32b57d75e0e493c3cec45f7b9. Revert "fix SyncStream" This reverts commit c33270b36421ae6e2165ca2d581d43b2e656dc2d. Revert "fix EventStream" This reverts commit ddd7232d6b14e5ed749b2d8db6f3e5e5ab895089. Revert "fix stream" This reverts commit 8412493b07bcb85add95436c36bdbbcc24cf408f. --- .../EventStream.symtabdefinitionsym | 997 ------------------ .../Stream.symtabdefinitionsym | 775 -------------- .../SyncStream.symtabdefinitionsym | 855 --------------- .../ToptStream.symtabdefinitionsym | 879 --------------- .../UntimedStream.symtabdefinitionsym | 769 -------------- 5 files changed, 4275 deletions(-) delete mode 100644 language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym delete mode 100644 language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym delete mode 100644 language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym delete mode 100644 language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym delete mode 100644 language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym diff --git a/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym deleted file mode 100644 index 15119bf2..00000000 --- a/language/src/main/resources/Stream Library (temp)/EventStream.symtabdefinitionsym +++ /dev/null @@ -1,997 +0,0 @@ -{ - "generated-using": "www.MontiCore.de technology", - "name": "EventStream", - "symbols": [ - { - "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", - "name": "EventStream", - "fullName": "EventStream.EventStream", - "packageName": "EventStream", - "superTypes": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - } - ], - "isClass": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "first", - "fullName": "EventStream.EventStream.first", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "nth", - "fullName": "EventStream.EventStream.nth", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.nth.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "eRepeat", - "fullName": "EventStream.EventStream.eRepeat", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eRepeat.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "EventStream.EventStream.eRepeat.elem", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eRepeat.S" - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.eRepeat.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "EventStream.EventStream.eRepeat.S", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "eIterate", - "fullName": "EventStream.EventStream.eIterate", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eIterate.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "EventStream.EventStream.eIterate.elem", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eIterate.S" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eIterate.S" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "EventStream.EventStream.eIterate.elem", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eIterate.S" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "EventStream.EventStream.eIterate.S", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "eProjFst", - "fullName": "EventStream.EventStream.eProjFst", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjFst.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "EventStream.EventStream.eProjFst.list", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjFst.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjFst.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "EventStream.EventStream.eProjFst.S", - "packageName": "EventStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.eProjFst.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "eProjSnd", - "fullName": "EventStream.EventStream.eProjSnd", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjSnd.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "EventStream.EventStream.eProjSnd.list", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjSnd.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.eProjSnd.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "EventStream.EventStream.eProjSnd.S", - "packageName": "EventStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.eProjSnd.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropFirst", - "fullName": "EventStream.EventStream.dropFirst", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "take", - "fullName": "EventStream.EventStream.take", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.take.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropMultiple", - "fullName": "EventStream.EventStream.dropMultiple", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.dropMultiple.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "times", - "fullName": "EventStream.EventStream.times", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.times.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "infTimes", - "fullName": "EventStream.EventStream.infTimes", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "map", - "fullName": "EventStream.EventStream.map", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.map.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "EventStream.EventStream.map.f", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.map.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.map.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "filter", - "fullName": "EventStream.EventStream.filter", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "EventStream.EventStream.filter.predicate", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "takeWhile", - "fullName": "EventStream.EventStream.takeWhile", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "EventStream.EventStream.takeWhile.predicate", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropWhile", - "fullName": "EventStream.EventStream.dropWhile", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "EventStream.EventStream.dropWhile.predicate", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rcDups", - "fullName": "EventStream.EventStream.rcDups", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "zip", - "fullName": "EventStream.EventStream.zip", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.zip.U" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "second", - "fullName": "EventStream.EventStream.zip.second", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.zip.U" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.zip.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "scanl", - "fullName": "EventStream.EventStream.scanl", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.scanl.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "EventStream.EventStream.scanl.f", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.scanl.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ], - "elliptic": false - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.scanl.U" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "acc", - "fullName": "EventStream.EventStream.scanl.acc", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.scanl.U" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.scanl.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "delay", - "fullName": "EventStream.EventStream.delay", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "EventStream.EventStream.delay.n", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "mapSlice", - "fullName": "EventStream.EventStream.mapSlice", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.mapSlice.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "EventStream.EventStream.mapSlice.f", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.mapSlice.U" - } - ] - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "EventStream.EventStream.mapSlice.U", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rougherTime", - "fullName": "EventStream.EventStream.rougherTime", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "slices", - "fullName": "EventStream.EventStream.rougherTime.slices", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "finerTime", - "fullName": "EventStream.EventStream.finerTime", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Set", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "slices", - "fullName": "EventStream.EventStream.finerTime.slices", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "untimed", - "fullName": "EventStream.EventStream.untimed", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "sync", - "fullName": "EventStream.EventStream.sync", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "topt", - "fullName": "EventStream.EventStream.topt", - "packageName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "EventStream", - "fullName": "EventStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "EventStream.EventStream.T" - } - ] - }, - "isConstructor": true, - "isPublic": true, - "isStatic": true - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "T", - "fullName": "EventStream.EventStream.T", - "packageName": "EventStream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", - "name": "EventStream", - "fullName": "EventStream" - } - ] -} diff --git a/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym deleted file mode 100644 index 17fc5ac3..00000000 --- a/language/src/main/resources/Stream Library (temp)/Stream.symtabdefinitionsym +++ /dev/null @@ -1,775 +0,0 @@ -{ - "generated-using": "www.MontiCore.de technology", - "name": "Stream", - "symbols": [ - { - "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", - "name": "Stream", - "fullName": "Stream.Stream", - "packageName": "Stream", - "isInterface": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "len", - "fullName": "Stream.Stream.len", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "isEmpty", - "fullName": "Stream.Stream.isEmpty", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "hasInfiniteLen", - "fullName": "Stream.Stream.hasInfiniteLen", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "repeat", - "fullName": "Stream.Stream.repeat", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.repeat.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "Stream.Stream.repeat.elem", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.repeat.S" - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "Stream.Stream.repeat.n", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "Stream.Stream.repeat.S", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "iterate", - "fullName": "Stream.Stream.iterate", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.iterate.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "Stream.Stream.iterate.elem", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.iterate.S" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.iterate.S" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "Stream.Stream.iterate.elem", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.iterate.S" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "Stream.Stream.iterate.S", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "projFst", - "fullName": "Stream.Stream.projFst", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projFst.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "Stream.Stream.projFst.list", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projFst.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projFst.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "Stream.Stream.projFst.S", - "packageName": "Stream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "Stream.Stream.projFst.U", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "projSnd", - "fullName": "Stream.Stream.projSnd", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projSnd.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "Stream.Stream.projSnd.list", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projSnd.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.projSnd.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "Stream.Stream.projSnd.S", - "packageName": "Stream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "Stream.Stream.projSnd.U", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropFirst", - "fullName": "Stream.Stream.dropFirst", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "take", - "fullName": "Stream.Stream.take", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "Stream.Stream.take.n", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropMultiple", - "fullName": "Stream.Stream.dropMultiple", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "Stream.Stream.dropMultiple.n", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "times", - "fullName": "Stream.Stream.times", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "Stream.Stream.times.n", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "infTimes", - "fullName": "Stream.Stream.infTimes", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "map", - "fullName": "Stream.Stream.map", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.map.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "Stream.Stream.map.f", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.map.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "Stream.Stream.map.U", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "filter", - "fullName": "Stream.Stream.filter", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "Stream.Stream.filter.predicate", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "takeWhile", - "fullName": "Stream.Stream.takeWhile", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "Stream.Stream.takeWhile.predicate", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropWhile", - "fullName": "Stream.Stream.dropWhile", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "Stream.Stream.dropWhile.predicate", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rcDups", - "fullName": "Stream.Stream.rcDups", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "zip", - "fullName": "Stream.Stream.zip", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.zip.U" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "second", - "fullName": "Stream.Stream.zip.second", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.zip.U" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "Stream.Stream.zip.U", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "values", - "fullName": "Stream.Stream.values", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Set", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "scanl", - "fullName": "Stream.Stream.scanl", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.scanl.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isAbstract": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "Stream.Stream.scanl.f", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.scanl.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.T" - } - ], - "elliptic": false - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.scanl.U" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "acc", - "fullName": "Stream.Stream.scanl.acc", - "packageName": "Stream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "Stream.Stream.scanl.U" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "Stream.Stream.scanl.U", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "T", - "fullName": "Stream.Stream.T", - "packageName": "Stream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", - "name": "Stream", - "fullName": "Stream" - } - ] -} diff --git a/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym deleted file mode 100644 index 773673bf..00000000 --- a/language/src/main/resources/Stream Library (temp)/SyncStream.symtabdefinitionsym +++ /dev/null @@ -1,855 +0,0 @@ -{ - "generated-using": "www.MontiCore.de technology", - "name": "SyncStream", - "symbols": [ - { - "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", - "name": "SyncStream", - "fullName": "SyncStream.SyncStream", - "packageName": "SyncStream", - "superTypes": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - } - ], - "isClass": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "first", - "fullName": "SyncStream.SyncStream.first", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "nth", - "fullName": "SyncStream.SyncStream.nth", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.nth.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "syncRepeat", - "fullName": "SyncStream.SyncStream.syncRepeat", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncRepeat.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "SyncStream.SyncStream.syncRepeat.elem", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncRepeat.S" - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.syncRepeat.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "SyncStream.SyncStream.syncRepeat.S", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "syncIterate", - "fullName": "SyncStream.SyncStream.syncIterate", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncIterate.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "SyncStream.SyncStream.syncIterate.elem", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncIterate.S" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncIterate.S" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "SyncStream.SyncStream.syncIterate.elem", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncIterate.S" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "SyncStream.SyncStream.syncIterate.S", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "syncProjFst", - "fullName": "SyncStream.SyncStream.syncProjFst", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjFst.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "SyncStream.SyncStream.syncProjFst.list", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjFst.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjFst.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "SyncStream.SyncStream.syncProjFst.S", - "packageName": "SyncStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "SyncStream.SyncStream.syncProjFst.U", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "syncProjSnd", - "fullName": "SyncStream.SyncStream.syncProjSnd", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjSnd.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "SyncStream.SyncStream.syncProjSnd.list", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjSnd.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.syncProjSnd.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "SyncStream.SyncStream.syncProjSnd.S", - "packageName": "SyncStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "SyncStream.SyncStream.syncProjSnd.U", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropFirst", - "fullName": "SyncStream.SyncStream.dropFirst", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "take", - "fullName": "SyncStream.SyncStream.take", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.take.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropMultiple", - "fullName": "SyncStream.SyncStream.dropMultiple", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.dropMultiple.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "times", - "fullName": "SyncStream.SyncStream.times", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.times.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "infTimes", - "fullName": "SyncStream.SyncStream.infTimes", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "map", - "fullName": "SyncStream.SyncStream.map", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.map.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "SyncStream.SyncStream.map.f", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.map.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "SyncStream.SyncStream.map.U", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "filter", - "fullName": "SyncStream.SyncStream.filter", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "SyncStream.SyncStream.filter.predicate", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "takeWhile", - "fullName": "SyncStream.SyncStream.takeWhile", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "SyncStream.SyncStream.takeWhile.predicate", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropWhile", - "fullName": "SyncStream.SyncStream.dropWhile", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "SyncStream.SyncStream.dropWhile.predicate", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rcDups", - "fullName": "SyncStream.SyncStream.rcDups", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "zip", - "fullName": "SyncStream.SyncStream.zip", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.zip.U" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "second", - "fullName": "SyncStream.SyncStream.zip.second", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.zip.U" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "SyncStream.SyncStream.zip.U", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "scanl", - "fullName": "SyncStream.SyncStream.scanl", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.scanl.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "SyncStream.SyncStream.scanl.f", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.scanl.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ], - "elliptic": false - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.scanl.U" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "acc", - "fullName": "SyncStream.SyncStream.scanl.acc", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.scanl.U" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "SyncStream.SyncStream.scanl.U", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "delay", - "fullName": "SyncStream.SyncStream.delay", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "SyncStream.SyncStream.delay.n", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "untimed", - "fullName": "SyncStream.SyncStream.untimed", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "topt", - "fullName": "SyncStream.SyncStream.topt", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "event", - "fullName": "SyncStream.SyncStream.event", - "packageName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "SyncStream", - "fullName": "SyncStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "SyncStream.SyncStream.T" - } - ] - }, - "isConstructor": true, - "isPublic": true, - "isStatic": true - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "T", - "fullName": "SyncStream.SyncStream.T", - "packageName": "SyncStream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", - "name": "SyncStream", - "fullName": "SyncStream" - } - ] -} diff --git a/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym deleted file mode 100644 index c4fd39b8..00000000 --- a/language/src/main/resources/Stream Library (temp)/ToptStream.symtabdefinitionsym +++ /dev/null @@ -1,879 +0,0 @@ -{ - "generated-using": "www.MontiCore.de technology", - "name": "ToptStream", - "symbols": [ - { - "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", - "name": "ToptStream", - "fullName": "ToptStream.ToptStream", - "packageName": "ToptStream", - "superTypes": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - } - ], - "isClass": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "first", - "fullName": "ToptStream.ToptStream.first", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Optional", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "nth", - "fullName": "ToptStream.ToptStream.nth", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Optional", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.nth.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "toptRepeat", - "fullName": "ToptStream.ToptStream.toptRepeat", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptRepeat.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "ToptStream.ToptStream.toptRepeat.elem", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptRepeat.S" - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.toptRepeat.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "ToptStream.ToptStream.toptRepeat.S", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "toptIterate", - "fullName": "ToptStream.ToptStream.toptIterate", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptIterate.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "ToptStream.ToptStream.toptIterate.elem", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptIterate.S" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptIterate.S" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "ToptStream.ToptStream.toptIterate.elem", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptIterate.S" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "ToptStream.ToptStream.toptIterate.S", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "toptProjFst", - "fullName": "ToptStream.ToptStream.toptProjFst", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjFst.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "ToptStream.ToptStream.toptProjFst.list", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjFst.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjFst.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "ToptStream.ToptStream.toptProjFst.S", - "packageName": "ToptStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "ToptStream.ToptStream.toptProjFst.U", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "toptProjSnd", - "fullName": "ToptStream.ToptStream.toptProjSnd", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjSnd.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "ToptStream.ToptStream.toptProjSnd.list", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjSnd.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.toptProjSnd.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "ToptStream.ToptStream.toptProjSnd.S", - "packageName": "ToptStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "ToptStream.ToptStream.toptProjSnd.U", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropFirst", - "fullName": "ToptStream.ToptStream.dropFirst", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "take", - "fullName": "ToptStream.ToptStream.take", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.take.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropMultiple", - "fullName": "ToptStream.ToptStream.dropMultiple", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.dropMultiple.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "times", - "fullName": "ToptStream.ToptStream.times", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.times.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "infTimes", - "fullName": "ToptStream.ToptStream.infTimes", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "map", - "fullName": "ToptStream.ToptStream.map", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.map.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "ToptStream.ToptStream.map.f", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.map.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "ToptStream.ToptStream.map.U", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "filter", - "fullName": "ToptStream.ToptStream.filter", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "ToptStream.ToptStream.filter.predicate", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "takeWhile", - "fullName": "ToptStream.ToptStream.takeWhile", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "ToptStream.ToptStream.takeWhile.predicate", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropWhile", - "fullName": "ToptStream.ToptStream.dropWhile", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "ToptStream.ToptStream.dropWhile.predicate", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rcDups", - "fullName": "ToptStream.ToptStream.rcDups", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "zip", - "fullName": "ToptStream.ToptStream.zip", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.zip.U" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "second", - "fullName": "ToptStream.ToptStream.zip.second", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.zip.U" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "ToptStream.ToptStream.zip.U", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "scanl", - "fullName": "ToptStream.ToptStream.scanl", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.scanl.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "ToptStream.ToptStream.scanl.f", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.scanl.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ], - "elliptic": false - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.scanl.U" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "acc", - "fullName": "ToptStream.ToptStream.scanl.acc", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.scanl.U" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "ToptStream.ToptStream.scanl.U", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "delay", - "fullName": "ToptStream.ToptStream.delay", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "ToptStream.ToptStream.delay.n", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "sizeEmptyTimeslices", - "fullName": "ToptStream.ToptStream.sizeEmptyTimeslices", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "untimed", - "fullName": "ToptStream.ToptStream.untimed", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "sync", - "fullName": "ToptStream.ToptStream.sync", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "SyncStream.SyncStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "event", - "fullName": "ToptStream.ToptStream.event", - "packageName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "EventStream.EventStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "ToptStream", - "fullName": "ToptStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "ToptStream.ToptStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "ToptStream.ToptStream.T" - } - ] - }, - "isConstructor": true, - "isPublic": true, - "isStatic": true - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "T", - "fullName": "ToptStream.ToptStream.T", - "packageName": "ToptStream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", - "name": "ToptStream", - "fullName": "ToptStream" - } - ] -} diff --git a/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym b/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym deleted file mode 100644 index 8bd2a5e7..00000000 --- a/language/src/main/resources/Stream Library (temp)/UntimedStream.symtabdefinitionsym +++ /dev/null @@ -1,769 +0,0 @@ -{ - "generated-using": "www.MontiCore.de technology", - "name": "UntimedStream", - "symbols": [ - { - "kind": "de.monticore.cdbasis._symboltable.CDTypeSymbol", - "name": "UntimedStream", - "fullName": "UntimedStream.UntimedStream", - "packageName": "UntimedStream", - "superTypes": [ - { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "Stream.Stream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - } - ], - "isClass": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "first", - "fullName": "UntimedStream.UntimedStream.first", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "nth", - "fullName": "UntimedStream.UntimedStream.nth", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "UntimedStream.UntimedStream.nth.n", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "uRepeat", - "fullName": "UntimedStream.UntimedStream.uRepeat", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uRepeat.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "UntimedStream.UntimedStream.uRepeat.elem", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uRepeat.S" - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "UntimedStream.UntimedStream.uRepeat.n", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "UntimedStream.UntimedStream.uRepeat.S", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "uIterate", - "fullName": "UntimedStream.UntimedStream.uIterate", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uIterate.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "UntimedStream.UntimedStream.uIterate.elem", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uIterate.S" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uIterate.S" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "elem", - "fullName": "UntimedStream.UntimedStream.uIterate.elem", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uIterate.S" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "UntimedStream.UntimedStream.uIterate.S", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "uProjFst", - "fullName": "UntimedStream.UntimedStream.uProjFst", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjFst.S" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "UntimedStream.UntimedStream.uProjFst.list", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjFst.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjFst.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "UntimedStream.UntimedStream.uProjFst.S", - "packageName": "UntimedStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "UntimedStream.UntimedStream.uProjFst.U", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "uProjSnd", - "fullName": "UntimedStream.UntimedStream.uProjSnd", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjSnd.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "isStatic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "list", - "fullName": "UntimedStream.UntimedStream.uProjSnd.list", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjSnd.S" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.uProjSnd.U" - } - ] - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "S", - "fullName": "UntimedStream.UntimedStream.uProjSnd.S", - "packageName": "UntimedStream" - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "UntimedStream.UntimedStream.uProjSnd.U", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropFirst", - "fullName": "UntimedStream.UntimedStream.dropFirst", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "take", - "fullName": "UntimedStream.UntimedStream.take", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "UntimedStream.UntimedStream.take.n", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropMultiple", - "fullName": "UntimedStream.UntimedStream.dropMultiple", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "UntimedStream.UntimedStream.dropMultiple.n", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "times", - "fullName": "UntimedStream.UntimedStream.times", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "n", - "fullName": "UntimedStream.UntimedStream.times.n", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "long" - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "infTimes", - "fullName": "UntimedStream.UntimedStream.infTimes", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "map", - "fullName": "UntimedStream.UntimedStream.map", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.map.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "UntimedStream.UntimedStream.map.f", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.map.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "UntimedStream.UntimedStream.map.U", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "filter", - "fullName": "UntimedStream.UntimedStream.filter", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "UntimedStream.UntimedStream.filter.predicate", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "takeWhile", - "fullName": "UntimedStream.UntimedStream.takeWhile", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "UntimedStream.UntimedStream.takeWhile.predicate", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "dropWhile", - "fullName": "UntimedStream.UntimedStream.dropWhile", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "predicate", - "fullName": "UntimedStream.UntimedStream.dropWhile.predicate", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypePrimitive", - "primitiveName": "boolean" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ], - "elliptic": false - } - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "rcDups", - "fullName": "UntimedStream.UntimedStream.rcDups", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isMethod": true, - "isPublic": true - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "zip", - "fullName": "UntimedStream.UntimedStream.zip", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeOfTuple", - "listedTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - }, - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.zip.U" - } - ] - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "second", - "fullName": "UntimedStream.UntimedStream.zip.second", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.zip.U" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "UntimedStream.UntimedStream.zip.U", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "scanl", - "fullName": "UntimedStream.UntimedStream.scanl", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.scanl.U" - } - ] - }, - "isMethod": true, - "isPublic": true, - "spannedScope": { - "symbols": [ - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "f", - "fullName": "UntimedStream.UntimedStream.scanl.f", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeOfFunction", - "returnType": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.scanl.U" - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ], - "elliptic": false - }, - "argumentTypes": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.scanl.U" - } - ], - "elliptic": false - } - }, - { - "kind": "de.monticore.symbols.oosymbols._symboltable.FieldSymbol", - "name": "acc", - "fullName": "UntimedStream.UntimedStream.scanl.acc", - "packageName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.scanl.U" - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "U", - "fullName": "UntimedStream.UntimedStream.scanl.U", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.cd4codebasis._symboltable.CDMethodSignatureSymbol", - "name": "UntimedStream", - "fullName": "UntimedStream", - "type": { - "kind": "de.monticore.types.check.SymTypeOfGenerics", - "typeConstructorFullName": "UntimedStream.UntimedStream", - "arguments": [ - { - "kind": "de.monticore.types.check.SymTypeVariable", - "varName": "UntimedStream.UntimedStream.T" - } - ] - }, - "isConstructor": true, - "isPublic": true, - "isStatic": true - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.TypeVarSymbol", - "name": "T", - "fullName": "UntimedStream.UntimedStream.T", - "packageName": "UntimedStream" - } - ] - } - }, - { - "kind": "de.monticore.symbols.basicsymbols._symboltable.DiagramSymbol", - "name": "UntimedStream", - "fullName": "UntimedStream" - } - ] -} From d7c189ee879e427c2cd3e2d56be3c4243eea228b Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Wed, 30 Sep 2026 19:39:38 +0200 Subject: [PATCH 10/12] version bumb to 7.8.97 --- gradle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gradle.properties b/gradle.properties index 5847eead..595e1afe 100644 --- a/gradle.properties +++ b/gradle.properties @@ -25,4 +25,4 @@ assertj_version = 3.21.0 junit_version = 5.8.2 # Version of published artifacts -version = 7.8.96 +version = 7.8.97 From e7e24acd07ff379ed5df4227de5992c40998796a Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Tue, 6 Oct 2026 14:06:04 +0200 Subject: [PATCH 11/12] New Gradle task --- build.gradle | 45 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) diff --git a/build.gradle b/build.gradle index cfee3749..c82d5549 100644 --- a/build.gradle +++ b/build.gradle @@ -43,3 +43,48 @@ subprojects { evaluationDependsOnChildren() project(":language-server").tasks.generateSysMLv2LanguageServer.dependsOn project(":language").tasks.grammarsJar + +apply plugin: 'maven-publish' + +def streamSymbolsVersion = '7.8.1' +def streamSymbolsJar = file("$rootDir/build/stream-symbols/stream-symbols-${streamSymbolsVersion}.jar") + +tasks.register('validateStreamSymbolsJar') { + inputs.file(streamSymbolsJar) + doLast { + if (!streamSymbolsJar.isFile()) { + throw new GradleException("Missing stream-symbols artifact: ${streamSymbolsJar}") + } + } +} + +publishing { + publications { + streamSymbols(MavenPublication) { + groupId = 'de.monticore' + artifactId = 'stream-symbols' + version = streamSymbolsVersion + artifact(streamSymbolsJar) { + builtBy tasks.named('validateStreamSymbolsJar') + } + pom { + name = 'stream-symbols' + description = 'Stream symbols workaround artifact for the SysML v2 7.8.x release.' + } + } + } + repositories.maven { + name = "Nexus" + credentials.username nexusUser + credentials.password nexusPassword + def releasesRepoUrl = "https://nexus.se.rwth-aachen.de/content/repositories/monticore-releases/" + def snapshotsRepoUrl = "https://nexus.se.rwth-aachen.de/content/repositories/monticore-snapshots/" + url = streamSymbolsVersion.endsWith('SNAPSHOT') ? snapshotsRepoUrl : releasesRepoUrl + } +} + +tasks.register('publishStreamSymbolsToNexus') { + group = 'publishing' + description = 'Publishes the local stream-symbols 7.8.1 workaround artifact to SE Nexus.' + dependsOn tasks.named('publishStreamSymbolsPublicationToNexusRepository') +} From 675267072d451ecfc8e46eb7ed991637c9308d37 Mon Sep 17 00:00:00 2001 From: MKZaito <127297267+MKZaito@users.noreply.github.com> Date: Tue, 6 Oct 2026 14:06:13 +0200 Subject: [PATCH 12/12] New Workflow --- .../publish-manuel-stream-symbols.yml | 41 +++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 .github/workflows/publish-manuel-stream-symbols.yml diff --git a/.github/workflows/publish-manuel-stream-symbols.yml b/.github/workflows/publish-manuel-stream-symbols.yml new file mode 100644 index 00000000..07d99849 --- /dev/null +++ b/.github/workflows/publish-manuel-stream-symbols.yml @@ -0,0 +1,41 @@ +name: Manual publish stream-symbols workaround + +on: + workflow_dispatch: + +permissions: + contents: read + +concurrency: + group: publish-stream-symbols + cancel-in-progress: false + +jobs: + publish: + name: Publish local stream-symbols + runs-on: ubuntu-latest + + steps: + - name: Checkout project sources + uses: actions/checkout@v4 + + - name: Set up Java + uses: actions/setup-java@v4 + with: + distribution: temurin + java-version: '17' + + - name: Set up Gradle + uses: gradle/actions/setup-gradle@v4 + with: + gradle-version: '7.4' + + - name: Publish stream symbols to Nexus + env: + ORG_GRADLE_PROJECT_nexusUser: ${{ secrets.SE_NEXUS_USER }} + ORG_GRADLE_PROJECT_nexusPassword: ${{ secrets.SE_NEXUS_PASSWORD }} + run: | + gradle publishStreamSymbolsToNexus \ + -Pci \ + --build-cache \ + --stacktrace