HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
rdfs	http://www.w3.org/2000/01/rdf-schema#
n2	http://yang.eurecom.fr/codeontology/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
xsdh	http://www.w3.org/2001/XMLSchema#

Statements

Subject Item: n2:ReturnStatement
rdf:type: owl:Class
rdfs:subClassOf: _:vb11975 _:vb13178 _:vb13167 n2:BranchingStatement _:vb11986
rdfs:label: Return Statement
rdfs:comment: Terminates the execution of an `Executable` block of code to give back control to the caller. It can pass a value (`has returned expression`) to the caller on return.

Subject Item: _:vb11974
rdf:first: _:vb11976
rdf:rest: _:vb11980

Subject Item: _:vb11975
rdf:type: owl:Class
owl:intersectionOf: _:vb11974

Subject Item: _:vb11976
rdf:type: owl:Restriction
owl:onProperty: n2:isReturnStatementOf
owl:allValuesFrom: _:vb11977

Subject Item: _:vb11977
rdf:type: owl:Class
owl:unionOf: _:vb11978

Subject Item: _:vb11978
rdf:first: n2:Function
rdf:rest: _:vb11979

Subject Item: _:vb11979
rdf:first: n2:Method
rdf:rest: rdf:nil

Subject Item: _:vb11980
rdf:first: _:vb11981
rdf:rest: rdf:nil

Subject Item: _:vb11981
rdf:type: owl:Restriction
owl:onProperty: n2:isReturnStatementOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb11982

Subject Item: _:vb11982
rdf:type: owl:Class
owl:unionOf: _:vb11983

Subject Item: _:vb11983
rdf:first: n2:Function
rdf:rest: _:vb11984

Subject Item: _:vb11984
rdf:first: n2:Method
rdf:rest: rdf:nil

Subject Item: _:vb11985
rdf:first: _:vb11987
rdf:rest: _:vb11988

Subject Item: _:vb11986
rdf:type: owl:Class
owl:intersectionOf: _:vb11985

Subject Item: _:vb11987
rdf:type: owl:Restriction
owl:onProperty: n2:hasReturnedExpression
owl:allValuesFrom: n2:Expression

Subject Item: _:vb11988
rdf:first: _:vb11989
rdf:rest: rdf:nil

Subject Item: _:vb11989
rdf:type: owl:Restriction
owl:onProperty: n2:hasReturnedExpression
owl:maxQualifiedCardinality: 1
owl:onClass: n2:Expression

Subject Item: _:vb13166
rdf:first: _:vb13168
rdf:rest: _:vb13172

Subject Item: _:vb13167
rdf:type: owl:Class
owl:intersectionOf: _:vb13166

Subject Item: _:vb13168
rdf:type: owl:Restriction
owl:onProperty: n2:isReturnStatementOf
owl:allValuesFrom: _:vb13169

Subject Item: _:vb13169
rdf:type: owl:Class
owl:unionOf: _:vb13170

Subject Item: _:vb13170
rdf:first: n2:Function
rdf:rest: _:vb13171

Subject Item: _:vb13171
rdf:first: n2:Method
rdf:rest: rdf:nil

Subject Item: _:vb13172
rdf:first: _:vb13173
rdf:rest: rdf:nil

Subject Item: _:vb13173
rdf:type: owl:Restriction
owl:onProperty: n2:isReturnStatementOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb13174

Subject Item: _:vb13174
rdf:type: owl:Class
owl:unionOf: _:vb13175

Subject Item: _:vb13175
rdf:first: n2:Function
rdf:rest: _:vb13176

Subject Item: _:vb13176
rdf:first: n2:Method
rdf:rest: rdf:nil

Subject Item: _:vb13177
rdf:first: _:vb13179
rdf:rest: _:vb13180

Subject Item: _:vb13178
rdf:type: owl:Class
owl:intersectionOf: _:vb13177

Subject Item: _:vb13179
rdf:type: owl:Restriction
owl:onProperty: n2:hasReturnedExpression
owl:allValuesFrom: n2:Expression

Subject Item: _:vb13180
rdf:first: _:vb13181
rdf:rest: rdf:nil

Subject Item: _:vb13181
rdf:type: owl:Restriction
owl:onProperty: n2:hasReturnedExpression
owl:maxQualifiedCardinality: 1
owl:onClass: n2:Expression