public final class ParserUtil
extends java.lang.Object
Constructor and Description |
---|
ParserUtil() |
Modifier and Type | Method and Description |
---|---|
static void |
checkValidSingletonReference(Expression expr,
Token tok)
Throws an exception if the given expression is invalid in a
\singleton constructor. |
public static void checkValidSingletonReference(Expression expr, Token tok)
\singleton
constructor.
The given token is used for positional information.Copyright © 2003-2019 The KeY-Project.