public ANTLRInputStream(String input) {this.data = input.toCharArray();this.n = input.length();}

public ANTLRInputStream ( String input ) { this . data = input . toCharArray ( ) ; this . n = input . length ( ) ; }
public AntlrInputStream(string input){this.data = input.ToCharArray();this.n = input.Length;}
