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

JmlCallableClause

constructor(name: SimpleName, methodSignatures: NodeList<JmlMethodSignature>)(source)

constructor(tokenRange: TokenRange)(source)

constructor(tokenRange: TokenRange, name: SimpleName, methodSignatures: NodeList<JmlMethodSignature>)(source)

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