This HTML5 document contains 64 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:BreakStatement
rdf:type
owl:Class
rdfs:subClassOf
_:vb11594 _:vb12786 n2:BranchingStatement
rdfs:label
Break Statement
rdfs:comment
Terminates the execution inside its enclosing targeted block to continue outside it. The `Break Statement` has two forms: "unlabeled" and "labeled". In case the `Break Statement` is "unlabeled" the targeted block is the nearest enclosing block, while if the `Break Statement` is "labeled" the targeted block is the `Labeled Block` with same specified label.
Subject Item
_:vb11593
rdf:first
_:vb11595
rdf:rest
_:vb11600
Subject Item
_:vb11594
rdf:type
owl:Class
owl:intersectionOf
_:vb11593
Subject Item
_:vb11595
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:allValuesFrom
_:vb11596
Subject Item
_:vb11596
rdf:type
owl:Class
owl:unionOf
_:vb11597
Subject Item
_:vb11597
rdf:first
n2:BlockStatement
rdf:rest
_:vb11598
Subject Item
_:vb11598
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb11599
Subject Item
_:vb11599
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb11600
rdf:first
_:vb11601
rdf:rest
rdf:nil
Subject Item
_:vb11601
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:maxQualifiedCardinality
1
owl:onClass
_:vb11602
Subject Item
_:vb11602
rdf:type
owl:Class
owl:unionOf
_:vb11603
Subject Item
_:vb11603
rdf:first
n2:BlockStatement
rdf:rest
_:vb11604
Subject Item
_:vb11604
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb11605
Subject Item
_:vb11605
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb12785
rdf:first
_:vb12787
rdf:rest
_:vb12792
Subject Item
_:vb12786
rdf:type
owl:Class
owl:intersectionOf
_:vb12785
Subject Item
_:vb12787
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:allValuesFrom
_:vb12788
Subject Item
_:vb12788
rdf:type
owl:Class
owl:unionOf
_:vb12789
Subject Item
_:vb12789
rdf:first
n2:BlockStatement
rdf:rest
_:vb12790
Subject Item
_:vb12790
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb12791
Subject Item
_:vb12791
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb12792
rdf:first
_:vb12793
rdf:rest
rdf:nil
Subject Item
_:vb12793
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:maxQualifiedCardinality
1
owl:onClass
_:vb12794
Subject Item
_:vb12794
rdf:type
owl:Class
owl:unionOf
_:vb12795
Subject Item
_:vb12795
rdf:first
n2:BlockStatement
rdf:rest
_:vb12796
Subject Item
_:vb12796
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb12797
Subject Item
_:vb12797
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil