ast/ktast.ast/Node/PostModifier/Contract

Contract

data class Contract(val lBracket: Node.Keyword.LBracket, val contractEffects: List<Node.Expression>, val rBracket: Node.Keyword.RBracket, val supplement: NodeSupplement = NodeSupplement()) : Node.PostModifier

AST node that represents a contract. The node corresponds to a pair of "contract" keyword and KtContractEffectList.

Constructors

constructor(lBracket: Node.Keyword.LBracket, contractEffects: List<Node.Expression>, rBracket: Node.Keyword.RBracket, supplement: NodeSupplement = NodeSupplement())

Properties

contractEffects

val contractEffects: List<Node.Expression>

contract effect expressions.

val lBracket: Node.Keyword.LBracket

left bracket symbol of the contract effects.

val rBracket: Node.Keyword.RBracket

right bracket symbol of the contract effects.

open override val supplement: NodeSupplement

Supplemental data for the node.