/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }
/** * Constructor * @param port portnumber to connect to */ public RFC822DATA(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor */ public RFC822DATA(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor, specifying header flag. * * @param r the FetchResponse * @param isHeader just header information? * @exception ParsingException for parsing failures */ public RFC822DATA(FetchResponse r, boolean isHeader) throws ParsingException { this.isHeader = isHeader; msgno = r.getNumber(); r.skipSpaces(); data = r.readByteArray(); }
/** * Constructor */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); int b; while ((b = r.readByte()) != ']') { // skip section if (b == 0) throw new ParsingException( "BODY parse error: missing ``]'' at section end"); } if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } data = r.readByteArray(); }
/** * Constructor */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); int b; while ((b = r.readByte()) != ']') { // skip section if (b == 0) throw new ParsingException( "BODY parse error: missing ``]'' at section end"); } if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }
/** * Constructor * * @param r the FetchResponse * @exception ParsingException for parsing failures */ public BODY(FetchResponse r) throws ParsingException { msgno = r.getNumber(); r.skipSpaces(); if (r.readByte() != '[') throw new ParsingException( "BODY parse error: missing ``['' at section start"); section = r.readString(']'); if (r.readByte() != ']') throw new ParsingException( "BODY parse error: missing ``]'' at section end"); isHeader = section.regionMatches(true, 0, "HEADER", 0, 6); if (r.readByte() == '<') { // origin origin = r.readNumber(); r.skip(1); // skip '>'; } else origin = 0; data = r.readByteArray(); }