jmlparser-core/com.github.javaparser.ast.jml.body/JmlClassAccessibleDeclaration/setMeasuredBy

setMeasuredBy

open fun setMeasuredBy(@Nullable measuredBy: @Nullable Expression): JmlClassAccessibleDeclaration(source)