public RtfToken(RtfTokenType type, int startIndex, int length, string rtf)
: this()
{
this.Type = type;
this.StartIndex = startIndex;
this.Length = length;
this.Rtf = rtf;
}
/// <summary>
/// Constructor de la clase RtfToken. Crea un token vacío.
/// </summary>
public RtfToken()
{
type = RtfTokenType.None;
key = "";
/* Inicializados por defecto */
//hasParam = false;
//param = 0;
}
private RtfToken Match(RtfTokenType type, string value)
{
RtfToken token = (RtfToken)Read();
if (token.Type != type || token.Value != value)
{
throw new ParseException("Unexpected token");
}
return(token);
}
private RtfToken Match(RtfTokenType type, string value)
{
RtfToken token = (RtfToken)Read();
if (token.Type != type || token.Value != value) {
throw new ParseException("Unexpected token");
}
return token;
}
/// <summary>
/// Constructor de la clase RtfToken. Crea un token vacío.
/// </summary>
public RtfToken()
{
type = RtfTokenType.None;
key = "";
/* Inicializados por defecto */
//hasParam = false;
//param = 0;
}
public void method_6(RtfTokenType A_0)
{
this.rtfTokenType_0 = A_0;
}