OWL2.Examples.OBOGraph.Json.Policy

{-# OPTIONS --safe --cubical #-}

module OWL2.Examples.OBOGraph.Json.Policy where

open import OWL2.Prelude using (_≡_; refl)
import OWL2.OBOGraph.Policy as Policy

import OWL2.Examples.OBOGraph.Json.ABox as ABox
import OWL2.Examples.OBOGraph.Json.EquivNodeSetTest as EquivNodeSetTest
import OWL2.Examples.OBOGraph.Json.LogicalDefinitionTest as LogicalDefinitionTest
import OWL2.Examples.OBOGraph.Json.Nucleus as Nucleus
import OWL2.Examples.OBOGraph.Json.ObsoletionExample as ObsoletionExample
import OWL2.Examples.OBOGraph.Json.PropertyChainAllValues as PropertyChainAllValues
import OWL2.Examples.OBOGraph.Json.RO as RO
import OWL2.Examples.OBOGraph.Json.ROCore as ROCore
import OWL2.Examples.OBOGraph.Json.SYMP as SYMP
import OWL2.Examples.OBOGraph.Json.UO as UO

aboxPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument ABox.graphDocument)
  ≡ 0
aboxPolicyDiagnosticCount =
  refl

equivNodeSetTestPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument EquivNodeSetTest.graphDocument)
  ≡ 0
equivNodeSetTestPolicyDiagnosticCount =
  refl

logicalDefinitionTestPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument LogicalDefinitionTest.graphDocument)
  ≡ 0
logicalDefinitionTestPolicyDiagnosticCount =
  refl

nucleusPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument Nucleus.graphDocument)
  ≡ 0
nucleusPolicyDiagnosticCount =
  refl

obsoletionExamplePolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument ObsoletionExample.graphDocument)
  ≡ 0
obsoletionExamplePolicyDiagnosticCount =
  refl

propertyChainAllValuesPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument PropertyChainAllValues.graphDocument)
  ≡ 0
propertyChainAllValuesPolicyDiagnosticCount =
  refl

roPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument RO.graphDocument)
  ≡ 0
roPolicyDiagnosticCount =
  refl

roCorePolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument ROCore.graphDocument)
  ≡ 0
roCorePolicyDiagnosticCount =
  refl

sympPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument SYMP.graphDocument)
  ≡ 10
sympPolicyDiagnosticCount =
  refl

uoPolicyDiagnosticCount :
  Policy.policyDiagnosticCount
    (Policy.policyDiagnosticsInDocument UO.graphDocument)
  ≡ 0
uoPolicyDiagnosticCount =
  refl