1. Home
  2. Entities
  3. Properties
  4. :createsPostMsgState

:createsPostMsgState leaf node

URI

http://ethon.consensys.net/createsPostMsgState

Label

creates post Message execution State

Description

Relates a message to the global state of the system after all the message has been executed.

Inherits from

  • :createsState
  • :MessageObjectProperty
  • :EthOnObjectProperty
  • :StateObjectProperty

    • Usage

    DOMAINPROPERTYRANGE
    owl:Thing (inferred) :createsPostMsgState owl:Thing (inferred)

    Implementation

    @prefix : <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#> .

:createsPostMsgState a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:label "creates post Message execution State" ;
    rdfs:comment "Relates a message to the global state of the system after all the message has been executed." ;
    rdfs:subPropertyOf :createsState ;
    ns:term_status "unstable" .