internal Context Clone(){
Context context = new Context(this.document, this.source_string, this.lineNumber, this.startLinePos, this.startPos,
this.endLineNumber, this.endLinePos, this.endPos, this.token);
context.errorReported = this.errorReported;
return context;
}