Instances of :ContractMsg can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class :ContractMsg | |||
| :hasOriginatorTx | owl:InverseFunctionalProperty | Relates a contract message to the transaction it originated from. | :Tx |
| From class :Msg | |||
| :msgError | owl:DatatypeProperty | A boolean value indicating whether the message validation resulted in an error. A "true" value indicates an error. | xsd:boolean |
| :msgErrorString | owl:DatatypeProperty | A string informally describing an error that occured during the validation of a message. Only exists if msgError is true. | xsd:string |
| :msgGasLimit | owl:DatatypeProperty | A scalar value equal to the maximum amount of gas that should be used in executing this transaction. This is paid up-front, before any computation is done and may not be increased later. If used with contract messages it represents the fraction of the original transaction gas limit still available for execution of the contract message. After all resulting computations are done, excess gas is returned to the sender of the original transaction. | xsd:integer |
| :msgGasUsed | owl:DatatypeProperty | The amount of gas that was used for processing a single message, regardless of which type of message it may be. | xsd:integer |
| :msgPayload | owl:DatatypeProperty | An unlimited size byte array specifying the data payload of the message. | xsd:hexBinary |
| :value | owl:DatatypeProperty | A scalar value equal to the number of Wei to be transferred to the Message call's recipient. In the case of contract creation it is the initial balance of the contract account, paid by the sending account. | xsd:integer |
| :from | owl:ObjectProperty | Relates a message to the account it originates from. | :Account |
| :to | owl:ObjectProperty | Relates a message with the account it is sent to. | :Account |
| From class :StateTransition | |||
| :createsState | owl:ObjectProperty | Relates a transition to the state it creates. | :State |
| From class owl:Thing | |||
| :AccountDataProperty | owl:DatatypeProperty | Groups all data properties that are specific to an account. | owl:Thing |
| :AccountObjectProperty | owl:ObjectProperty | Groups all EthOn account object properties | owl:Thing |
| :BlockDataProperty | owl:DatatypeProperty | Groups all data properties that are specific to a block. These properties are usually functional because a block can only be associated with a single instance of them. | owl:Thing |
| :BlockObjectProperty | owl:ObjectProperty | Groups all EthOn block object properties | owl:Thing |
| :EthOnAnnotationProperty | owl:AnnotationProperty | Superclass of all EthOn specific annotation properties. | owl:Thing |
| :EthOnDataProperty | owl:DatatypeProperty | Groups all data properties specific to EthOn. | owl:Thing |
| :EthOnObjectProperty | owl:ObjectProperty | Groups all EthOn object properties | owl:Thing |
| :MessageDataProperty | owl:DatatypeProperty | Groups all EthOn message data properties. | owl:Thing |
| :MessageObjectProperty | owl:ObjectProperty | Groups all EthOn message object properties. | owl:Thing |
| :NetworkDataProperty | owl:DatatypeProperty | Groups all EthOn network data properties. | owl:Thing |
| :NetworkObjectProperty | owl:ObjectProperty | Groups all EthOn network object properties. | owl:Thing |
| :StateDataProperty | owl:DatatypeProperty | -- | owl:Thing |
| :StateObjectProperty | owl:ObjectProperty | Groups all EthOn state object properties. | owl:Thing |
| :createsPostMsgState | owl:FunctionalProperty | Relates a message to the global state of the system after all the message has been executed. | owl:Thing |
| :hasAccountStorage | owl:FunctionalProperty | Relates an account to the Merkle Patricia tree that encodes its storage contents at a certain account state. This property is Functional because an account state can have only one instance of account storage and inverse functional because an account storage can have only one associated account state. | :AccountStorage |
| :hasTransition | owl:ObjectProperty | Relates a state to a transition (i.e. a message) that creates a new state. | owl:Thing |
| :partOf | owl:ObjectProperty | This is a general relation to express part of relationships. The classic study of parts and wholes, mereology, has three axioms: 1. the part-of relation is Transitive - "parts of parts are parts of the whole" - If A is part of B and B is part of C, then A is part of C Reflexive - "Everything is part of itself" - A is part of A Antisymmetric - "Nothing is a part of its parts" - if A is part of B and A != B then B is not part of A. | owl:Thing |
| :simpleDefinition | owl:AnnotationProperty | This property relates an EthOn class to a definition in Simple English, intended especially for non-technical users. | owl:Thing |
| :suggestedStringRepresentation | owl:AnnotationProperty | This property relates an EthOn class with a suggested string representation. It can be used to give the term a name, e.g. in program code. | owl:Thing |
@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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:ContractMsg a owl:Class ;
rdfs:label "Contract Message"@en ;
:suggestedStringRepresentation "ContractMsg" ;
rdfs:comment "A contract message is passed between a contract account and any other account (external or contract). It is the result of an execution chain originally triggered by an external eccount."@en ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onClass :ContractAccount ;
owl:onProperty :from ;
owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
:Msg ;
ns:term_status "unstable" .