Class JavaExpressionParseUtil

java.lang.Object
org.checkerframework.framework.util.JavaExpressionParseUtil

public class JavaExpressionParseUtil extends Object
Helper methods to parse a string that represents a restricted Java expression.
See the Checker Framework Manual:
Writing Java expressions as annotation arguments, Annotations whose argument is a Java expression (dependent type annotations)
  • Field Details

    • PARAMETER_REGEX

      protected static final String PARAMETER_REGEX
      Regular expression for a formal parameter use.
      See Also:
    • ANCHORED_PARAMETER_PATTERN

      protected static final @Regex(1) Pattern ANCHORED_PARAMETER_PATTERN
      Anchored pattern for a formal parameter use; matches a string that is exactly a formal parameter use.
    • UNANCHORED_PARAMETER_PATTERN

      protected static final @Regex(1) Pattern UNANCHORED_PARAMETER_PATTERN
      Unanchored pattern for a formal parameter use; can be used to find all formal parameter uses.
  • Constructor Details

    • JavaExpressionParseUtil

      public JavaExpressionParseUtil()
  • Method Details