L0 = <http://www.simantics.org/Layer0-1.1>
L0X = <http://www.simantics.org/Layer0X-1.1>
SG = <http://www.simantics.org/Scenegraph-1.1>
SEL = <http://www.simantics.org/SelectionView-1.2>

Views = <http://www.simantics.org/Views-1.2> : L0.Ontology
    @L0.new
    L0.HasResourceClass "org.simantics.views.ontology.ViewsResources"

Views.ParameterType <T L0.FunctionalRelation
  @L0.assert SEL.HasDisplayProperty
    _ : SEL.DisplayProperty
  @L0.assert SEL.HasDisplayValue
    _ : SEL.DisplayValue
  @L0.assert SEL.HasDisplayUnit
    _ : SEL.DisplayUnit
  @L0.assert SEL.HasStandardPropertyInfo
    Views.CategoryHidden : SEL.StandardPropertyInfo
      SEL.StandardPropertyInfo.CategoryName ""
      SEL.StandardPropertyInfo.CategorySortingName ""
      SEL.StandardPropertyInfo.IsHidden true
  
Views.View <T L0.Entity    

Views.Action <T L0.Entity

Views.Parameter <T L0.Value
    @L0.assert 
        L0.ConvertsToValueWith 
        Views.Functions.parameterValue : L0.ExternalValue

Views.HasInputSource <R L0.DependsOn : L0.FunctionalRelation
Views.WorkbenchSelectionInputSource : L0.Entity

Views.onLoaded ==> "WriteGraph => Variable -> Variable -> Boolean" <R L0.HasProperty : L0.FunctionalRelation
Views.onInputChanged ==> "Variable -> Boolean" <R L0.HasProperty : L0.FunctionalRelation

Views.Wizard <T Views.Action
Views.Wizard.Title <R L0.HasProperty : L0.FunctionalRelation
Views.Wizard.Pages <R L0.DependsOn
Views.Wizard.FinishAction <R L0.DependsOn

Views.Wizard.Page <T L0.Entity
Views.Wizard.Page.Title <R L0.HasProperty : L0.FunctionalRelation
Views.Wizard.Page.Control <R L0.DependsOn

Views.ReadFactory <T L0.Entity

Views.Functions : L0.Library

Views.Functions.singleResourceSelection : L0.Function
  L0.HasValueType "a"

Views.ResourceURI <T L0.Value
    @L0.assert L0.HasValueType "String"
    @L0.assert 
        L0.ConvertsToValueWith 
        Views.Functions.resourceURI : L0.ExternalValue
Views.ResourceURI.HasResource <R L0.DependsOn : L0.FunctionalRelation

// Controls

Views.Control <T SG.Node
  >-- Views.Control.layoutData ==> "GridData" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Control.background ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Control.foreground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Control.font ==> "(String,Integer,String)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Control.style ==> "Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
  @L0.assert Views.Control.layoutData
    _ : Views.GridLayout.GridData

Views.Control.Style <T L0.Value
  @L0.assert L0.HasValueType "Integer" 
  @L0.assert 
    L0.ConvertsToValueWith 
    Views.Functions.style : L0.ExternalValue
  >-- Views.Control.Style.HasConstant --> Views.Control.Style.Constant <R L0.HasProperty
  
Views.Control.Style.Constant <T L0.Integer

Views.Control.Style.Constant.None = 0 : L0.Integer
Views.Control.Style.Constant.Multi = 2 : L0.Integer
Views.Control.Style.Constant.Push = 8 : L0.Integer
Views.Control.Style.Constant.ReadOnly = 8 : L0.Integer
Views.Control.Style.Constant.Check = 32 : L0.Integer
Views.Control.Style.Constant.Wrap = 64 : L0.Integer
Views.Control.Style.Constant.HScroll = 256 : L0.Integer
Views.Control.Style.Constant.VScroll = 512 : L0.Integer
Views.Control.Style.Constant.Horizontal = 256 : L0.Integer
Views.Control.Style.Constant.Vertical = 512 : L0.Integer
Views.Control.Style.Constant.Border = 2048 : L0.Integer
Views.Control.Style.Constant.FullSelection = 65536 : L0.Integer
Views.Control.Style.Constant.NoFocus = 524288 : L0.Integer

Views.Control.style1 : L0.Template
    @template %control %constant1
        %control
            Views.Control.style _ : Views.Control.Style
                Views.Control.Style.HasConstant %constant1

Views.Control.style2 : L0.Template
    @template %control %constant1 %constant2
        %control
            Views.Control.style _ : Views.Control.Style
                Views.Control.Style.HasConstant %constant1
                Views.Control.Style.HasConstant %constant2

Views.Control.style3 : L0.Template
    @template %control %constant1 %constant2 %constant3
        %control
            Views.Control.style _ : Views.Control.Style
                Views.Control.Style.HasConstant %constant1
                Views.Control.Style.HasConstant %constant2
                Views.Control.Style.HasConstant %constant3

Views.Control.style4 : L0.Template
    @template %control %constant1 %constant2 %constant3 %constant4
        %control
            Views.Control.style _ : Views.Control.Style
                Views.Control.Style.HasConstant %constant1
                Views.Control.Style.HasConstant %constant2
                Views.Control.Style.HasConstant %constant3
                Views.Control.Style.HasConstant %constant4

Views.Control.style5 : L0.Template
    @template %control %constant1 %constant2 %constant3 %constant4 %constant5
        %control
            Views.Control.style _ : Views.Control.Style
                Views.Control.Style.HasConstant %constant1
                Views.Control.Style.HasConstant %constant2
                Views.Control.Style.HasConstant %constant3
                Views.Control.Style.HasConstant %constant4
                Views.Control.Style.HasConstant %constant5

Views.Control.gridData : L0.Template
    @template %control %hgrab %vgrab %hspan
        %control
          Views.Control.layoutData _ : Views.GridLayout.GridData
            Views.GridLayout.GridData.horizontalGrab %hgrab
            Views.GridLayout.GridData.verticalGrab %vgrab
            Views.GridLayout.GridData.horizontalSpan %hspan

Views.Alternative <T Views.Control
    >-- Views.Alternative.condition ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
    @L0.assert Views.Control.layoutData
        _ : Views.GridLayout.GridData
            Views.GridLayout.GridData.horizontalGrab true
            Views.GridLayout.GridData.verticalGrab true
    

Views.Composite <T Views.Control
  >-- Views.Composite.layout ==> "GridLayout" <R SG.Node.HasProperty : L0.FunctionalRelation
  @L0.assert Views.Composite.layout 
    _ : Views.GridLayout

Views.Composite.children1 : L0.Template
    @template %control %c1
        %control
            SG.Node.children _ : L0.List
                @L0.list
                    %c1

Views.Composite.children2 : L0.Template
    @template %control %c1 %c2
        %control
            SG.Node.children _ : L0.List
              @L0.list %c1 %c2

Views.Composite.children3 : L0.Template
    @template %control %c1 %c2 %c3
        %control
            SG.Node.children _ : L0.List
              @L0.list %c1 %c2 %c3


Views.ScrolledComposite <T Views.Composite
Views.TabFolder <T Views.Composite
  >-- Views.TabFolder.childNames ==> "[String]" <R SG.Node.HasProperty : L0.FunctionalRelation
  @L0.assert Views.TabFolder.childNames
    Views.Functions.tabChildNames : L0.Function
      L0.HasValueType "[String]"
    
Views.SashForm <T Views.Composite
  >-- Views.SashForm.weights ==> "Vector Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.SashForm.orientation ==> "Integer" <R SG.Node.HasProperty : L0.FunctionalRelation
  @L0.assert Views.SashForm.orientation Views.SashForm.Horizontal

Views.SashForm.Horizontal = 256 : L0.Integer
Views.SashForm.Vertical = 512 : L0.Integer

Views.Combo <T Views.Control
  >-- Views.Combo.available ==> "[(String, Resource)]" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Combo.selected ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Combo.modifier ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.CCombo <T Views.Combo

Views.TextContainer <T Views.Control
  >-- Views.TextContainer.text ==> "String" <R SG.Node.HasProperty : Views.ParameterType

Views.TextReceiver <T Views.Control
  >-- Views.TextReceiver.modifier ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.TextReceiver.validator ==> "String -> String" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.Label <T Views.TextContainer
Views.Text <T Views.TextContainer <T Views.TextReceiver
Views.StyledText <T Views.Text
Views.TrackedText <T Views.TextContainer <T Views.TextReceiver
  >-- Views.TrackedText.invalidBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.TrackedText.inactiveBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.TrackedText.hoverBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.TrackedText.editingBackground ==> "(Integer,Integer,Integer)" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.TrackedStyledText <T Views.TrackedText

Views.Button <T Views.TextContainer
  >-- Views.Button.text ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Button.tooltip ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Button.modifier --> L0.Value <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Button.image ==> "ByteArray" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.Browser <T Views.Control
  >-- Views.Browser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Browser.variable ==> "Variable" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Browser.locationChanging ==> "a -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.WikiBrowser <T Views.Control
  >-- Views.WikiBrowser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.WikiBrowser.variable ==> "Variable" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.WikiBrowser.navigate ==> "String -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.Explorer <T Views.Composite
  >-- Views.Explorer.input ==> "a" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.selectionListener ==> "a -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.browseContext ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.contextMenuId ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.uiContext ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.useNodeBrowseContexts ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.useNodeActionContexts ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.columns ==> "[ColumnBean]" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.editingColumns ==> "[ColumnBean]" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.columnsVisible ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.displayFilter ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.publishSelection ==> "Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.persistor ==> "StatePersistor" <R SG.Node.HasProperty : L0.FunctionalRelation

Views.Explorer.ColumnList <T L0.List
  @L0.assert L0.HasValueType "[ColumnBean]"
  @L0.assert L0.ConvertsToValueWith
    Views.Functions.columnList : L0.ExternalValue
  
Views.Explorer.Column <T L0.Value
  >-- Views.Explorer.Column.HasKey ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasLabel ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasAlignment ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasWidth ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasTooltip ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.Explorer.Column.HasWeight ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation

Views.Explorer.Column.full : L0.Template
    @template %explorer %key %label %alignment %width %tooltip %grab %weight
        %explorer : Views.Explorer.Column
            Views.Explorer.Column.HasKey %key
            Views.Explorer.Column.HasLabel %label
            Views.Explorer.Column.HasAlignment %alignment
            Views.Explorer.Column.HasWidth %width
            Views.Explorer.Column.HasTooltip %tooltip
            Views.Explorer.Column.HasGrab %grab
            Views.Explorer.Column.HasWeight %weight

//Views.Explorer.Selection : Views.ParameterDefinition

Views.Layout <T L0.Value
Views.GridLayout <T Views.Layout
  @L0.assert L0.HasValueType "GridLayout"
  @L0.assert
    L0.ConvertsToValueWith
    Views.Functions.gridLayout : L0.ExternalValue
  >-- Views.GridLayout.columnCount ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.horizontalSpacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.verticalSpacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.extendedMargins ==> "a" <R L0.HasProperty : L0.FunctionalRelation
  @L0.assert Views.GridLayout.columnCount 1
  @L0.assert Views.GridLayout.horizontalSpacing 0
  @L0.assert Views.GridLayout.verticalSpacing 0
  @L0.assert Views.GridLayout.extendedMargins 
    (2,2,2,2) : Views.GridLayout.ExtendedMargins

Views.GridLayout.ExtendedMargins <T L0.Literal
    @L0.assert L0.HasDataType $(Integer,Integer,Integer,Integer)
    
Views.GridLayout.GridData <T L0.Value
  @L0.assert L0.HasValueType "GridData"
  @L0.assert
    L0.ConvertsToValueWith
    Views.Functions.gridData : L0.ExternalValue
  >-- Views.GridLayout.GridData.horizontalSpan ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.horizontalGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.verticalGrab ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.preferredWidth ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.preferredHeight ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.horizontalAlignment ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.GridLayout.GridData.verticalAlignment ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  @L0.assert Views.GridLayout.GridData.horizontalSpan 1
  @L0.assert Views.GridLayout.GridData.horizontalGrab false
  @L0.assert Views.GridLayout.GridData.verticalGrab false
  @L0.assert Views.GridLayout.GridData.preferredWidth -1
  @L0.assert Views.GridLayout.GridData.preferredHeight -1
  @L0.assert Views.GridLayout.GridData.horizontalAlignment Views.GridLayout.GridData.FILL
  @L0.assert Views.GridLayout.GridData.verticalAlignment Views.GridLayout.GridData.FILL

Views.GridLayout.GridData.BEGINNING = 1 : L0.Integer
Views.GridLayout.GridData.CENTER = 2 : L0.Integer
Views.GridLayout.GridData.END = 3 : L0.Integer
Views.GridLayout.GridData.FILL = 4 : L0.Integer

Views.RowLayout <T Views.Layout
  @L0.assert L0.HasValueType "RowLayout"
  @L0.assert
    L0.ConvertsToValueWith
    Views.Functions.rowLayout : L0.ExternalValue
  >-- Views.RowLayout.type ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.spacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.center ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.fill ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.justify ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.pack ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.wrap ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.extendedMargins ==> "a" <R L0.HasProperty : L0.FunctionalRelation
  @L0.assert Views.RowLayout.type Views.Control.Style.Constant.Horizontal
  @L0.assert Views.RowLayout.spacing 3
  @L0.assert Views.RowLayout.center false
  @L0.assert Views.RowLayout.fill false
  @L0.assert Views.RowLayout.justify false
  @L0.assert Views.RowLayout.pack true
  @L0.assert Views.RowLayout.wrap true
  @L0.assert Views.RowLayout.extendedMargins 
    (3,3,3,3) : Views.RowLayout.ExtendedMargins

Views.RowLayout.ExtendedMargins <T L0.Literal
    @L0.assert L0.HasDataType $(Integer,Integer,Integer,Integer)

Views.RowLayout.RowData <T L0.Value
  @L0.assert L0.HasValueType "RowData"
  @L0.assert
    L0.ConvertsToValueWith
    Views.Functions.rowData : L0.ExternalValue
  >-- Views.RowLayout.RowData.width ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.RowLayout.RowData.height ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  @L0.assert Views.RowLayout.RowData.width -1
  @L0.assert Views.RowLayout.RowData.height -1

Views.SingleColumn 
  @Views.Explorer.Column.full "single" "Entries" "LEFT" 150 "Entries" true 1

Views.BundleImage <T L0.Value
  @L0.assert L0.HasValueType "ByteArray"
  @L0.assert
    L0.ConvertsToValueWith
    Views.Functions.bundleImage : L0.ExternalValue
  >-- Views.BundleImage.HasReference --> L0.String <R L0.HasProperty : L0.FunctionalRelation

Views.MessageDialog <T L0.Entity
  >-- Views.MessageDialog.HasType --> Views.MessageDialog.Type <R L0.DependsOn : L0.FunctionalRelation
  >-- Views.MessageDialog.HasCustomArea --> Views.Control <R L0.DependsOn : L0.FunctionalRelation
  >-- Views.MessageDialog.title ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.MessageDialog.message ==> "String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.MessageDialog.buttonLabels ==> "Vector String" <R L0.HasProperty : L0.FunctionalRelation
  >-- Views.MessageDialog.defaultButton ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
  
Views.MessageDialog.Type <T L0.Value
    @L0.tag L0.Enumeration
    
Views.MessageDialog.Type.Error : Views.MessageDialog.Type
Views.MessageDialog.Type.Information : Views.MessageDialog.Type
Views.MessageDialog.Type.Warning : Views.MessageDialog.Type
Views.MessageDialog.Type.Confirm : Views.MessageDialog.Type
Views.MessageDialog.Type.Question : Views.MessageDialog.Type
Views.MessageDialog.Type.QuestionWithCancel : Views.MessageDialog.Type

Views.ErrorDialog <T Views.MessageDialog
  @L0.assert Views.MessageDialog.HasType Views.MessageDialog.Type.Error
  @L0.assert Views.MessageDialog.buttonLabels ["OK"]
  @L0.assert Views.MessageDialog.defaultButton 0
  
Views.QuestionDialog <T Views.ErrorDialog
  @L0.assert Views.MessageDialog.HasType Views.MessageDialog.Type.Confirm
  @L0.assert Views.MessageDialog.buttonLabels ["OK","Cancel"]
  @L0.assert Views.MessageDialog.defaultButton 0