internal UndeclaredNotation(string name, int lineNo, int linePos) { this.name = name; this.lineNo = lineNo; this.linePos = linePos; this.next = null; } }