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:ContinueStatement
rdf:type
owl:Class
rdfs:subClassOf
_:vb11607 n2:BranchingStatement _:vb12799
rdfs:label
Continue Statement
rdfs:comment
Terminates the execution of the current iteration inside a `Loop Statement` to move to the next iteration. The `Continue Statement` has two forms: "unlabeled" and "labeled". In case the `Continue Statement` is "unlabeled" the targeted loop is the one with nearest enclosing block, while if the `Continue Statement` is "labeled" the targeted loop is the one with a `Labeled Block` with same specified label.
Subject Item
_:vb11606
rdf:first
_:vb11608
rdf:rest
_:vb11613
Subject Item
_:vb11607
rdf:type
owl:Class
owl:intersectionOf
_:vb11606
Subject Item
_:vb11608
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:allValuesFrom
_:vb11609
Subject Item
_:vb11609
rdf:type
owl:Class
owl:unionOf
_:vb11610
Subject Item
_:vb11610
rdf:first
n2:BlockStatement
rdf:rest
_:vb11611
Subject Item
_:vb11611
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb11612
Subject Item
_:vb11612
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb11613
rdf:first
_:vb11614
rdf:rest
rdf:nil
Subject Item
_:vb11614
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:maxQualifiedCardinality
1
owl:onClass
_:vb11615
Subject Item
_:vb11615
rdf:type
owl:Class
owl:unionOf
_:vb11616
Subject Item
_:vb11616
rdf:first
n2:BlockStatement
rdf:rest
_:vb11617
Subject Item
_:vb11617
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb11618
Subject Item
_:vb11618
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb12798
rdf:first
_:vb12800
rdf:rest
_:vb12805
Subject Item
_:vb12799
rdf:type
owl:Class
owl:intersectionOf
_:vb12798
Subject Item
_:vb12800
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:allValuesFrom
_:vb12801
Subject Item
_:vb12801
rdf:type
owl:Class
owl:unionOf
_:vb12802
Subject Item
_:vb12802
rdf:first
n2:BlockStatement
rdf:rest
_:vb12803
Subject Item
_:vb12803
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb12804
Subject Item
_:vb12804
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil
Subject Item
_:vb12805
rdf:first
_:vb12806
rdf:rest
rdf:nil
Subject Item
_:vb12806
rdf:type
owl:Restriction
owl:onProperty
n2:hasTargetedBlock
owl:maxQualifiedCardinality
1
owl:onClass
_:vb12807
Subject Item
_:vb12807
rdf:type
owl:Class
owl:unionOf
_:vb12808
Subject Item
_:vb12808
rdf:first
n2:BlockStatement
rdf:rest
_:vb12809
Subject Item
_:vb12809
rdf:first
n2:DecisionMakingStatement
rdf:rest
_:vb12810
Subject Item
_:vb12810
rdf:first
n2:LoopStatement
rdf:rest
rdf:nil