:hasOutputValue leaf node


Label

has Output Value

Description

Relates a FunctionCall to an Output Value that is represented by it. For example a Function Call add(5,6) that returns the sum of two integers would be related to one Output Value, that contains the result of the addition.

Usage

DOMAINPROPERTYRANGE
:FunctionCall :hasOutputValue :OutputValue

Implementation

@prefix : <http://ethon.consensys.net/Contracts/> .
@prefix ethon: <http://ethon.consensys.net/> .
@prefix ns: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:hasOutputValue a owl:InverseFunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "has Output Value"@en ;
    ethon:suggestedStringRepresentation "hasOutputValue" ;
    rdfs:comment "Relates a FunctionCall to an Output Value that is represented by it. For example a Function Call add(5,6) that returns the sum of two integers would be related to one Output Value, that contains the result of the addition."@en ;
    rdfs:domain :FunctionCall ;
    rdfs:range :OutputValue ;
    rdfs:subPropertyOf :EthOnContractsObjectProperty ;
    ns:term_status "unstable" .