StackMapTableTest.hs

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE OverloadedStrings #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

module Language.JVM.Attribute.StackMapTableTest where

import           SpecHelper

import           Language.JVM.AttributeTest           ()
import           Language.JVM.ConstantTest            ()
import           Language.JVM.UtilsTest               ()

import           Language.JVM.Attribute.StackMapTable

prop_encode_and_decode :: StackMapTable -> Property
prop_encode_and_decode = isoBinary

prop_StackMapFrame_encode_and_decode :: StackMapFrame -> Property
prop_StackMapFrame_encode_and_decode = isoBinary

instance Arbitrary StackMapTable where
  arbitrary = StackMapTable <$> arbitrary

instance Arbitrary StackMapFrame where
  arbitrary =
    StackMapFrame <$> arbitrary <*> arbitrary

instance Arbitrary StackMapFrameType where
  arbitrary = oneof
    [ pure SameFrame
    , SameLocals1StackItemFrame <$> arbitrary
    , ChopFrame <$> choose (1,3)
    , AppendFrame <$> (choose (1,3) >>= flip vectorOf arbitrary)
    , FullFrame <$> arbitrary <*> arbitrary
    ]

instance Arbitrary (VerificationTypeInfo) where
  arbitrary = oneof
    [ pure VTop
    , pure VInteger
    , pure VTop
    , pure VInteger
    , pure VFloat
    , pure VLong
    , pure VDouble
    , pure VNull
    , pure VUninitializedThis
    , VObject <$> arbitrary
    , VUninitialized <$> arbitrary
    ]