kernel/src/main/java/org/kframework/parser/inner/kernel/EarleyParser.java
/**
     * @return true if prod has the token attribute, false otherwise.
     */
@return true if prod has the token attribute, false otherwise.
@return true if prod has the token attribute false otherwise .
public boolean isToken() {
      Boolean isToken = this.isToken;
      if (isToken == null) {
        isToken = prod.att().contains("token");
        this.isToken = isToken;
      }
      return isToken;
    }
public boolean isToken ( ) { Boolean isToken = this . isToken ; if ( isToken == null ) { isToken = prod . att ( ) . contains ( "token" ) ; this . isToken = isToken ; } return isToken ; }
@return true if prod has the token attribute, false otherwise.
@return true if prod has the token attribute false otherwise .