This HTML5 document contains 140 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://yang.eurecom.fr/codeontology/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
n2:BlockStatement
rdf:type
owl:Class
rdfs:subClassOf
_:vb13694 _:vb12525 n2:Statement _:vb12530 _:vb12502 _:vb13717 _:vb13722
rdfs:label
Block Statement
rdfs:comment
A declaration of a block containing other `Statement`s.
Subject Item
_:vb12500
rdf:first
_:vb12503
rdf:rest
_:vb12513
Subject Item
_:vb12502
rdf:type
owl:Class
owl:intersectionOf
_:vb12500
Subject Item
_:vb12503
rdf:type
owl:Restriction
owl:onProperty
n2:isBodyOf
owl:allValuesFrom
_:vb12504
Subject Item
_:vb12504
rdf:type
owl:Class
owl:unionOf
_:vb12505
Subject Item
_:vb12505
rdf:first
n2:ComplexType
rdf:rest
_:vb12506
Subject Item
_:vb12506
rdf:first
n2:ExceptionHandlingStatement
rdf:rest
_:vb12507
Subject Item
_:vb12507
rdf:first
n2:Executable
rdf:rest
_:vb12508
Subject Item
_:vb12508
rdf:first
n2:LambdaExpression
rdf:rest
_:vb12509
Subject Item
_:vb12509
rdf:first
n2:LoopStatement
rdf:rest
_:vb12510
Subject Item
_:vb12510
rdf:first
n2:Package
rdf:rest
_:vb12511
Subject Item
_:vb12511
rdf:first
n2:Statement
rdf:rest
_:vb12512
Subject Item
_:vb12512
rdf:first
n2:SynchronizedStatement
rdf:rest
rdf:nil
Subject Item
_:vb12513
rdf:first
_:vb12514
rdf:rest
rdf:nil
Subject Item
_:vb12514
rdf:type
owl:Restriction
owl:onProperty
n2:isBodyOf
owl:maxQualifiedCardinality
1
owl:onClass
_:vb12515
Subject Item
_:vb12515
rdf:type
owl:Class
owl:unionOf
_:vb12516
Subject Item
_:vb12516
rdf:first
n2:ComplexType
rdf:rest
_:vb12517
Subject Item
_:vb12517
rdf:first
n2:ExceptionHandlingStatement
rdf:rest
_:vb12518
Subject Item
_:vb12518
rdf:first
n2:Executable
rdf:rest
_:vb12519
Subject Item
_:vb12519
rdf:first
n2:LambdaExpression
rdf:rest
_:vb12520
Subject Item
_:vb12520
rdf:first
n2:LoopStatement
rdf:rest
_:vb12521
Subject Item
_:vb12521
rdf:first
n2:Package
rdf:rest
_:vb12522
Subject Item
_:vb12522
rdf:first
n2:Statement
rdf:rest
_:vb12523
Subject Item
_:vb12523
rdf:first
n2:SynchronizedStatement
rdf:rest
rdf:nil
Subject Item
_:vb12524
rdf:first
_:vb12526
rdf:rest
_:vb12527
Subject Item
_:vb12525
rdf:type
owl:Class
owl:intersectionOf
_:vb12524
Subject Item
_:vb12526
rdf:type
owl:Restriction
owl:onProperty
n2:hasEndLine
owl:allValuesFrom
xsdh:int
Subject Item
_:vb12527
rdf:first
_:vb12528
rdf:rest
rdf:nil
Subject Item
_:vb12528
rdf:type
owl:Restriction
owl:onProperty
n2:hasEndLine
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb12530
rdf:type
owl:Restriction
owl:onProperty
n2:hasBlockStatement
owl:someValuesFrom
n2:Statement
Subject Item
_:vb13692
rdf:first
_:vb13695
rdf:rest
_:vb13705
Subject Item
_:vb13694
rdf:type
owl:Class
owl:intersectionOf
_:vb13692
Subject Item
_:vb13695
rdf:type
owl:Restriction
owl:onProperty
n2:isBodyOf
owl:allValuesFrom
_:vb13696
Subject Item
_:vb13696
rdf:type
owl:Class
owl:unionOf
_:vb13697
Subject Item
_:vb13697
rdf:first
n2:ComplexType
rdf:rest
_:vb13698
Subject Item
_:vb13698
rdf:first
n2:ExceptionHandlingStatement
rdf:rest
_:vb13699
Subject Item
_:vb13699
rdf:first
n2:Executable
rdf:rest
_:vb13700
Subject Item
_:vb13700
rdf:first
n2:LambdaExpression
rdf:rest
_:vb13701
Subject Item
_:vb13701
rdf:first
n2:LoopStatement
rdf:rest
_:vb13702
Subject Item
_:vb13702
rdf:first
n2:Package
rdf:rest
_:vb13703
Subject Item
_:vb13703
rdf:first
n2:Statement
rdf:rest
_:vb13704
Subject Item
_:vb13704
rdf:first
n2:SynchronizedStatement
rdf:rest
rdf:nil
Subject Item
_:vb13705
rdf:first
_:vb13706
rdf:rest
rdf:nil
Subject Item
_:vb13706
rdf:type
owl:Restriction
owl:onProperty
n2:isBodyOf
owl:maxQualifiedCardinality
1
owl:onClass
_:vb13707
Subject Item
_:vb13707
rdf:type
owl:Class
owl:unionOf
_:vb13708
Subject Item
_:vb13708
rdf:first
n2:ComplexType
rdf:rest
_:vb13709
Subject Item
_:vb13709
rdf:first
n2:ExceptionHandlingStatement
rdf:rest
_:vb13710
Subject Item
_:vb13710
rdf:first
n2:Executable
rdf:rest
_:vb13711
Subject Item
_:vb13711
rdf:first
n2:LambdaExpression
rdf:rest
_:vb13712
Subject Item
_:vb13712
rdf:first
n2:LoopStatement
rdf:rest
_:vb13713
Subject Item
_:vb13713
rdf:first
n2:Package
rdf:rest
_:vb13714
Subject Item
_:vb13714
rdf:first
n2:Statement
rdf:rest
_:vb13715
Subject Item
_:vb13715
rdf:first
n2:SynchronizedStatement
rdf:rest
rdf:nil
Subject Item
_:vb13716
rdf:first
_:vb13718
rdf:rest
_:vb13719
Subject Item
_:vb13717
rdf:type
owl:Class
owl:intersectionOf
_:vb13716
Subject Item
_:vb13718
rdf:type
owl:Restriction
owl:onProperty
n2:hasEndLine
owl:allValuesFrom
xsdh:int
Subject Item
_:vb13719
rdf:first
_:vb13720
rdf:rest
rdf:nil
Subject Item
_:vb13720
rdf:type
owl:Restriction
owl:onProperty
n2:hasEndLine
owl:onDataRange
xsdh:int
owl:qualifiedCardinality
1
Subject Item
_:vb13722
rdf:type
owl:Restriction
owl:onProperty
n2:hasBlockStatement
owl:someValuesFrom
n2:Statement