public interface JmlCheck
Modifier and Type | Method and Description |
---|---|
java.util.List<PositionedString> |
check(org.antlr.v4.runtime.ParserRuleContext ctx)
Checks for the given parse tree and returns warnings if necessary.
|
@Nonnull java.util.List<PositionedString> check(@Nonnull org.antlr.v4.runtime.ParserRuleContext ctx)
ctx
- an arbitrary ParserRuleContext
from the JmlParser
Copyright © 2003-2019 The KeY-Project.