MODULE JVFromDecomp;

IMPORT Jvs, JvsBuffer;

REVEAL
  Factory = FactoryPublic BRANDED OBJECT
            OVERRIDES
              init   := Init;
              newBuf := NewBuf;
            END;

PROCEDURE Init (f: Factory; jvs: Jvs.T): Factory =
  BEGIN
    RETURN JvsBuffer.Factory.init(f, jvs, Jvs.BufferType.Decompress);
  END Init;

PROCEDURE NewBuf (<*UNUSED *> f: Factory): JvsBuffer.T =
  BEGIN
    RETURN NEW(T);
  END NewBuf;

BEGIN
END JVFromDecomp.