AuthorityDelegationDeclarationNode
class AuthorityDelegationDeclarationNode(val from: LabelNode, val to: LabelNode, val delegationProjection: DelegationProjection, val sourceLocation: SourceLocation, val comment: String?) : DelegationDeclarationNode
Declaration of an authority delegation.
Parameters
from
The label that acts for the other label.
to
The other label.
Constructors
Link copied to clipboard
fun AuthorityDelegationDeclarationNode(from: LabelNode, to: LabelNode, delegationProjection: DelegationProjection, sourceLocation: SourceLocation, comment: String?)