|
|
|
@ -1,54 +1,39 @@
|
|
|
|
|
{-# LANGUAGE NamedFieldPuns #-}
|
|
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
|
|
|
|
module Main where
|
|
|
|
|
|
|
|
|
|
import Codec.Compression.Zlib (compress, decompress)
|
|
|
|
|
import Data.ByteString.Char8 (ByteString)
|
|
|
|
|
import qualified Data.ByteString.Char8 as BS (
|
|
|
|
|
length, readFile
|
|
|
|
|
)
|
|
|
|
|
import qualified Data.ByteString.Lazy.Char8 as Lazy (
|
|
|
|
|
fromStrict, intercalate, split, toStrict, writeFile
|
|
|
|
|
)
|
|
|
|
|
import qualified Data.Map as Map (insert, lookup)
|
|
|
|
|
import PDF (Document(..), parseDocument, render)
|
|
|
|
|
import PDF.Object (Content(..), DirectObject(..), Object(..), Name(..), Number(..))
|
|
|
|
|
import qualified Data.ByteString.Char8 as BS (readFile, split, intercalate)
|
|
|
|
|
import qualified Data.ByteString.Lazy.Char8 as Lazy (writeFile)
|
|
|
|
|
import PDF (Layers(..), Document(..), UnifiedLayers(..), parseDocument, render)
|
|
|
|
|
import PDF.Box (Index(..), Either_(..), at, atAll)
|
|
|
|
|
import PDF.Layer (Layer, Objects(..))
|
|
|
|
|
import PDF.Object.Navigation (StreamContent(..))
|
|
|
|
|
import PDF.TextRendering (TextRendering(..), update)
|
|
|
|
|
import Prelude hiding (lines, unlines)
|
|
|
|
|
import System.Environment (getArgs)
|
|
|
|
|
import System.IO (hPutStrLn, stderr)
|
|
|
|
|
|
|
|
|
|
revealFlateEncodedText :: ByteString -> ByteString
|
|
|
|
|
revealFlateEncodedText =
|
|
|
|
|
Lazy.toStrict . compress . revealText . decompress . Lazy.fromStrict
|
|
|
|
|
revealText :: ByteString -> ByteString
|
|
|
|
|
revealText = unlines . fmap fill . lines
|
|
|
|
|
where
|
|
|
|
|
lines = Lazy.split '\n'
|
|
|
|
|
unlines = Lazy.intercalate "\n"
|
|
|
|
|
revealText = unlines . fmap fill . lines
|
|
|
|
|
lines = BS.split '\n'
|
|
|
|
|
fill = update $ const Fill
|
|
|
|
|
unlines = BS.intercalate "\n"
|
|
|
|
|
|
|
|
|
|
revealObject :: Object -> Object
|
|
|
|
|
revealObject obj@(Stream {header, streamContent}) =
|
|
|
|
|
case Map.lookup (Name "Filter") header of
|
|
|
|
|
Just (NameObject (Name "FlateDecode")) ->
|
|
|
|
|
let newStreamContent = revealFlateEncodedText streamContent in
|
|
|
|
|
let newLength = Number . fromIntegral $ BS.length newStreamContent in
|
|
|
|
|
Stream {
|
|
|
|
|
header = Map.insert (Name "Length") (NumberObject newLength) header
|
|
|
|
|
, streamContent = newStreamContent
|
|
|
|
|
}
|
|
|
|
|
_ -> obj
|
|
|
|
|
revealObject obj = obj
|
|
|
|
|
revealLayer :: Monad m => Layer -> m Layer
|
|
|
|
|
revealLayer =
|
|
|
|
|
atAll Objects
|
|
|
|
|
.atAll (Either_ Clear) $
|
|
|
|
|
return . revealText
|
|
|
|
|
|
|
|
|
|
revealContent :: Content -> Content
|
|
|
|
|
revealContent content = content {
|
|
|
|
|
objects = revealObject <$> (objects content)
|
|
|
|
|
}
|
|
|
|
|
reveal :: Document -> IO Document
|
|
|
|
|
reveal = at UnifiedLayers $ revealLayer
|
|
|
|
|
|
|
|
|
|
reveal :: Document -> Document
|
|
|
|
|
reveal document = document {
|
|
|
|
|
updates = revealContent <$> (updates document)
|
|
|
|
|
}
|
|
|
|
|
revealFirst :: Document -> IO Document
|
|
|
|
|
revealFirst = at Layers .at(Index 0) $ revealLayer
|
|
|
|
|
|
|
|
|
|
deepReveal :: Document -> IO Document
|
|
|
|
|
deepReveal = atAll Layers $ revealLayer
|
|
|
|
|
|
|
|
|
|
main :: IO ()
|
|
|
|
|
main = do
|
|
|
|
@ -56,4 +41,4 @@ main = do
|
|
|
|
|
result <- parseDocument <$> BS.readFile inputPath
|
|
|
|
|
case result of
|
|
|
|
|
Left parseError -> hPutStrLn stderr $ show parseError
|
|
|
|
|
Right doc -> Lazy.writeFile outputPath . render $ reveal doc
|
|
|
|
|
Right doc -> Lazy.writeFile outputPath . render =<< reveal doc
|
|
|
|
|