Hans.Layer.IP4.Fragmentation

Documentation

type FragmentationTable addr = Map (Ident, addr, addr) Fragments

emptyFragmentationTable :: FragmentationTable IP4

data Fragments

Constructors

Fragments

Fields

startTime :: !POSIXTime

totalSize :: !Int

fragments :: [Fragment]

Instances

Show Fragments

data Fragment

Constructors

Fragment

Fields

fragmentOffset :: !Int

fragmentLength :: !Int

fragmentPayload :: ByteString

Instances

Eq Fragment

Ord Fragment

Show Fragment

fragmentEnd :: Fragment -> Int

The end of a fragment.

comesBefore :: Fragment -> Fragment -> Bool

Check the ordering of two fragments.

comesAfter :: Fragment -> Fragment -> Bool

Check the ordering of two fragments.

combineFragments :: Fragment -> Fragment -> Fragment

Merge two fragments.

Note: This doesn't do a validity check to make sure that they're actually adjacent.

expandGroup :: Fragments -> Fragment -> Int -> Fragments

Given a group of fragments, a new fragment, and a possible total size, create a new group of fragments that incorporates the new fragment.

addFragment :: Fragment -> [Fragment] -> [Fragment]

Add a fragment to a list of fragments, in a position that is relative to its offset and length.

processFragment :: Address addr => POSIXTime -> FragmentationTable addr -> Bool -> Int -> addr -> addr -> Ident -> ByteString -> (FragmentationTable addr, Maybe ByteString)

Process a packet fragment through the system, potentially returning a fully-processed packet if this fragment completes an existing packet or is itself a fully-complete packet.

processIP4Packet :: POSIXTime -> FragmentationTable IP4 -> IP4Header -> ByteString -> (FragmentationTable IP4, Maybe ByteString)