public SourceIncludes read(Decoder decoder) throws Exception { SourceIncludes sourceIncludes = new DefaultSourceIncludes(); sourceIncludes.getQuotedIncludes().addAll(stringListSerializer.read(decoder)); sourceIncludes.getSystemIncludes().addAll(stringListSerializer.read(decoder)); sourceIncludes.getMacroIncludes().addAll(stringListSerializer.read(decoder)); return sourceIncludes; }
public CompilationState read(Decoder decoder) throws Exception { CompilationState compilationState = new CompilationState(); int version = decoder.readInt(); if (version != SERIAL_VERSION) { return compilationState; } compilationState.sourceInputs.addAll(fileListSerializer.read(decoder)); compilationState.fileStates.putAll(stateMapSerializer.read(decoder)); return compilationState; }
public void write(Encoder encoder, CompilationState value) throws Exception { encoder.writeInt(SERIAL_VERSION); fileListSerializer.write(encoder, value.sourceInputs); stateMapSerializer.write(encoder, value.fileStates); }
public void write(Encoder encoder, SourceIncludes value) throws Exception { stringListSerializer.write(encoder, value.getQuotedIncludes()); stringListSerializer.write(encoder, value.getSystemIncludes()); stringListSerializer.write(encoder, value.getMacroIncludes()); }