public ATN(ATNType grammarType, int maxTokenType) {this.grammarType = grammarType;this.maxTokenType = maxTokenType;}
public ATN(ATNType grammarType, int maxTokenType){this.grammarType = grammarType;this.maxTokenType = maxTokenType;}