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

DefaultJmlContainer

open class DefaultJmlContainer : JmlContainer(source)

Author

Alexander Weigl

Constructors

DefaultJmlContainer

constructor()

Functions

open fun getElements(): NodeList

open fun getJmlTags(): NodeList<SimpleName>

open fun isSingleLine(): Boolean

open fun setElements(elements: NodeList): Node

open fun setJmlTags(jmlTags: NodeList): Node

open fun setSingleLine(singleLine: Boolean): Node

setTagsFromStart

open fun setTagsFromStart(token: JavaToken)