L0 = <http://www.simantics.org/Layer0-1.1>
SEL = <http://www.simantics.org/SelectionView-1.2>
DOC = <http://www.simantics.org/Documentation-1.2>
STR = <http://www.simantics.org/Structural-1.2>

SWT = <http://www.simantics.org/SWT-1.0> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.document.swt.ontology.SWTResources"

SWT.SCLMain : L0.SCLModule
  L0.SCLModule.definition _ : L0.String
      @L0.loadString "scl/SCLMain.scl"

FUNCTIONS = SWT.Functions

SWT.TypedVariableTabContribution <T SEL.AbstractTypedVariableTabContribution
  >-- SWT.TypedVariableTabContribution.HasView --> DOC.Document <R L0.DependsOn
  >-- SWT.TypedVariableTabContribution.type --> L0.Value <R L0.HasProperty : SEL.GenericParameterType
  @L0.assert SWT.TypedVariableTabContribution.type 
    _ : STR.SCLValue
      L0.HasValueType "String"
      L0.SCLValue.expression "contributionType self"
      
SWT.TypedVariableTabContribution.type 
  L0.RequiresValueType "String" : L0.String