| safeLookupCfg | Cubix.Language.Parametric.Semantics.Cfg, Cubix.Essentials |
| satisfyingPredBoundary | Cubix.Language.Parametric.Semantics.Cfg |
| satisfyingStrictPredBoundary | Cubix.Language.Parametric.Semantics.Cfg |
| satisfyingStrictSuccBoundary | Cubix.Language.Parametric.Semantics.Cfg |
| satisfyingSuccBoundary | Cubix.Language.Parametric.Semantics.Cfg |
| ScopedLabelMap | Cubix.Language.Parametric.Semantics.Cfg |
| scopedLabelMap | Cubix.Language.Parametric.Semantics.Cfg |
| scoped_label_map | Cubix.Language.Parametric.Semantics.Cfg |
| Select | Cubix.Language.Lua.Parametric.Common |
| SelectName | Cubix.Language.Lua.Parametric.Common |
| SelfParameter | |
| 1 (Type/Class) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SelfParameter' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SelfParameterDecl | |
| 1 (Type/Class) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SelfParameterDecl' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Set | Cubix.Language.Python.Parametric.Common |
| SetComp | Cubix.Language.Python.Parametric.Common |
| set_comprehension | Cubix.Language.Python.Parametric.Common |
| set_exprs | Cubix.Language.Python.Parametric.Common |
| ShiftL | Cubix.Language.Lua.Parametric.Common |
| ShiftLeft | Cubix.Language.Python.Parametric.Common |
| ShiftR | Cubix.Language.Lua.Parametric.Common |
| ShiftRight | Cubix.Language.Python.Parametric.Common |
| ShortT | Cubix.Language.Java.Parametric.Common |
| ShowHF | Cubix.Essentials |
| SingleElementAnnotation | Cubix.Language.Java.Parametric.Common |
| SingleLocalVarDecl | |
| 1 (Type/Class) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SingleLocalVarDecl' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SingleLocalVarDeclIsStat | |
| 1 (Type/Class) | Cubix.Language.Lua.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
| SingleLocalVarDeclL | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.JavaScript.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SingletonF' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| SingletonFA' | Cubix.Language.Parametric.Syntax, Cubix.Language.Lua.Parametric.Common, Cubix.Language.Java.Parametric.Common, Cubix.Language.C.Parametric.Common |
| Slice | Cubix.Language.Python.Parametric.Common |
| SlicedExpr | Cubix.Language.Python.Parametric.Common |
| slicee | Cubix.Language.Python.Parametric.Common |
| SliceEllipsis | Cubix.Language.Python.Parametric.Common |
| SliceExpr | Cubix.Language.Python.Parametric.Common |
| SliceL | Cubix.Language.Python.Parametric.Common |
| SliceLValue | |
| 1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
| SliceProper | Cubix.Language.Python.Parametric.Common |
| slices | Cubix.Language.Python.Parametric.Common |
| slice_annot | Cubix.Language.Python.Parametric.Common |
| slice_expr | Cubix.Language.Python.Parametric.Common |
| slice_lower | Cubix.Language.Python.Parametric.Common |
| slice_stride | Cubix.Language.Python.Parametric.Common |
| slice_upper | Cubix.Language.Python.Parametric.Common |
| sourceCol | Cubix.Language.Info |
| sourceEnd | Cubix.Language.Info |
| sourceFile | Cubix.Language.Info |
| SourcePos | Cubix.Language.Info |
| sourceRow | Cubix.Language.Info |
| SourceSpan | Cubix.Language.Info |
| sourceStart | Cubix.Language.Info |
| StarLValue | |
| 1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
| Starred | Cubix.Language.Python.Parametric.Common |
| starred_expr | Cubix.Language.Python.Parametric.Common |
| startsBasicBlock | Cubix.Language.Parametric.Semantics.Cfg |
| Stat | Cubix.Language.Lua.Parametric.Common |
| Statement | Cubix.Language.Python.Parametric.Common |
| StatementIsBlockItem | |
| 1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
| StatementL | Cubix.Language.Python.Parametric.Common |
| Static | Cubix.Language.Java.Parametric.Common |
| StatIsBlockItem | |
| 1 (Type/Class) | Cubix.Language.Lua.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
| StatL | Cubix.Language.Lua.Parametric.Common |
| Stmt | Cubix.Language.Java.Parametric.Common |
| StmtBlock | Cubix.Language.Java.Parametric.Common |
| StmtExpr | Cubix.Language.Python.Parametric.Common |
| StmtL | Cubix.Language.Java.Parametric.Common |
| stmt_annot | Cubix.Language.Python.Parametric.Common |
| stmt_expr | Cubix.Language.Python.Parametric.Common |
| Strict | Cubix.Language.Parametric.Semantics.SemanticProperties |
| StrictFP | Cubix.Language.Java.Parametric.Common |
| Strictness | Cubix.Language.Parametric.Semantics.SemanticProperties |
| String | |
| 1 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
| StringArg | Cubix.Language.Lua.Parametric.Common |
| StringConversion | Cubix.Language.Python.Parametric.Common |
| Strings | Cubix.Language.Python.Parametric.Common |
| strings_strings | Cubix.Language.Python.Parametric.Common |
| Sub | |
| 1 (Data Constructor) | Cubix.Language.Lua.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
| SubA | Cubix.Language.Java.Parametric.Common |
| SubPairs | Cubix.Language.Parametric.Semantics.Cfg |
| Subscript | Cubix.Language.Python.Parametric.Common |
| subscriptee | Cubix.Language.Python.Parametric.Common |
| SubscriptLValue | |
| 1 (Type/Class) | Cubix.Language.Python.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Python.Parametric.Common |
| subscript_expr | Cubix.Language.Python.Parametric.Common |
| Sum | Cubix.Essentials |
| sumToNames | Cubix.Language.Parametric.Derive |
| SuperBound | Cubix.Language.Java.Parametric.Common |
| SuperFieldAccess | Cubix.Language.Java.Parametric.Common |
| SuperInvoke | Cubix.Language.Java.Parametric.Common |
| SuperMethodCall | Cubix.Language.Java.Parametric.Common |
| SuperReceiver | Cubix.Language.Java.Parametric.Common |
| SuspendedComputationSorts | Cubix.Language.Parametric.Semantics.Cfg |
| Switch | Cubix.Language.Java.Parametric.Common |
| SwitchBlock | |
| 1 (Type/Class) | Cubix.Language.Java.Parametric.Common |
| 2 (Data Constructor) | Cubix.Language.Java.Parametric.Common |
| SwitchBlockL | Cubix.Language.Java.Parametric.Common |
| SwitchCase | Cubix.Language.Java.Parametric.Common |
| SwitchLabel | Cubix.Language.Java.Parametric.Common |
| SwitchLabelL | Cubix.Language.Java.Parametric.Common |
| Synchronized | Cubix.Language.Java.Parametric.Common |
| Synchronized_ | Cubix.Language.Java.Parametric.Common |