jmlparser-core/com.github.javaparser.ast.jml.clauses/JmlSignalsClause/JmlSignalsClause

JmlSignalsClause

constructor(name: SimpleName, parameter: Parameter, expression: Expression)(source)

constructor(tokenRange: TokenRange, name: SimpleName, parameter: Parameter, expression: Expression)(source)

constructor(tokenRange: TokenRange)(source)

This constructor is used by the parser and is considered private.