jmlparser-core/com.github.javaparser.ast.jml/NodeWithContracts

NodeWithContracts

interface NodeWithContracts<N : Node?>(source)

Author

Alexander Weigl

Inheritors

Functions

Link copied to clipboard
open fun addContract(contracts: JmlContract)
Link copied to clipboard
open fun addContracts(contracts: Array<JmlContract>)
Link copied to clipboard
abstract fun getContracts(): NodeList<JmlContract>
Link copied to clipboard
abstract fun setContracts(contracts: NodeList<JmlContract>): N
Generated by Dokka
© 2026 Copyright