public String toString() {return super.toString() + "(\"" + pattern.pattern() + "\")";}

public String toString ( ) { return super . toString ( ) + "(\"" + pattern . pattern ( ) + "\")" ; }
public override string ToString(){return base.ToString() + "(\"" + pattern.Pattern() + "\")";}
