>-- STR.ComponentType.HasDefaultPropertyRelationType <R L0.IsRelatedTo
>-- STR.ComponentType.HasDefaultPropertyValueType <R L0.IsRelatedTo
>-- STR.ComponentType.HasDefaultMonitorValueType --> STR.MonitorValueType <R L0.IsRelatedTo
+ @L0.assert L0X.HasGeneratedNamePrefix ""
STR.MonitorValueType <T L0.Entity
STR.MonitorValue <T L0.SCLValue : STR.MonitorValueType
STR.DefinedComponentType <T STR.AbstractDefinedComponentType
+STR.ReplaceableDefinedComponentType <T STR.AbstractDefinedComponentType
+
STR.ProceduralComponentType <T STR.AbstractDefinedComponentType
>-- STR.ProceduralComponentType.code --> STR.ProceduralComponentTypeCode <R L0.HasProperty : L0.TotalFunction
>-- STR.ProceduralComponentType.environment --> L0.SCLValue.Environment <R L0.IsRelatedTo : L0.FunctionalRelation
STR.ProceduralComponentTypeCode <T L0.String
+
//STR.proceduralConnectionPointPath --> L0.String <R L0.HasProperty : L0.FunctionalRelation
/*
STR.ConnectionVariable <T STR.Variable <T STR.Connection
//[STR.Binds all STR.ConnectionRelation]
*/
+
+STR.Functions.connectionValueAccessor : L0.ExternalValue
+ L0.HasValueType "ValueAccessor"
+
STR.ConnectionRelation <T L0.Relation
@L0.assert L0.SharedRange STR.ConnectionRelation
>-- STR.ConnectionRelation.connectionRequired --> L0.Boolean <R L0.HasProperty : L0.FunctionalRelation
>-- STR.ConnectionRelation.equivalentConnectionPoint --> STR.ConnectionRelation <R L0.IsRelatedTo
L0.InverseOf STR.ConnectionRelation.equivalentConnectionPoint
- @L0.assert L0.valueAccessor
- STR.Functions.connectionValueAccessor : L0.ExternalValue
- L0.HasValueType "ValueAccessor"
+ @L0.assert L0.valueAccessor STR.Functions.connectionValueAccessor
@L0.assert L0.domainProperties L0.Functions.standardPropertyDomainProperties
@L0.assert L0.domainChildren L0.Functions.standardPropertyDomainChildren
@L0.assert L0.domainChildren
STR.Functions.structuralChildDomainChildren : L0.ExternalValue
L0.HasValueType "VariableMap"
+ @L0.sclAssertion L0.typeResource "structuralTypeResource" "Variable -> Resource -> <ReadGraph> Resource"
STR.Run
@L0.assert L0.domainChildren
STR.Connection
@L0.assert L0.domainProperties L0.Functions.standardPropertyDomainProperties
@L0.assert L0.domainChildren L0.Functions.standardPropertyDomainChildren
- @L0.assert L0.valueAccessor
- STR.Functions.connectionValueAccessor : L0.ExternalValue
- L0.HasValueType "ValueAccessor"
-
+ @L0.assert L0.valueAccessor STR.Functions.connectionValueAccessor
+
STR.SCLValue <T L0.SCLValue
@L0.assert L0.ConvertsToValueWith STR.Functions.computeExpression
@L0.assert L0.SCLValue.environment
STR.UserDefinedProperty <T L0.Entity
+STR.TypeOverride <T L0.Entity
+ >-- STR.TypeOverride.HasOriginalType --> STR.ComponentType <R L0.IsRelatedTo : L0.TotalFunction
+ >-- STR.TypeOverride.HasReplacementType --> STR.ComponentType <R L0.IsRelatedTo : L0.TotalFunction
+STR.HasTypeOverride --> STR.TypeOverride <R L0.IsRelatedTo
+
+
STR.ComponentType
// This relation is inherited from L0.IsComposedOf because changes in the code
// need to be propagated to the component type