- static void error(String message,
- Input.Location loc,
- Object token,
- Iterable<Node> nodes,
- Input.Region region,
- Input input,
- GSS gss) throws ParseFailed{
+ static void error(String message, GSS.Phase phase, Object token, Input.Region region) throws ParseFailed {
+ error(message,
+ token,
+ phase,
+ region,
+ phase.getGSS().getInput(),
+ phase.getGSS());
+ }
+ private static void error(String message,
+ Object token,
+ Iterable<StateNode> nodes,
+ Input.Region region,
+ Input input,
+ GSS gss) throws ParseFailed{