module TestData where

import Language.ASN1 hiding (BitString, ComponentType)
import ConstrainedType



type7       = NamedType "T3" Nothing (SEQUENCE (Cons (CTMandatory type7First) (Cons (CTMandatory type7Second) (Cons (CTMandatory type7Nest1) Nil))))
type7First  = NamedType "first" Nothing (RANGE INTEGER (Just 0) (Just 65535))
type7Second = NamedType "second" Nothing (RANGE INTEGER (Just 0) (Just 65535))

type7Nest1   = NamedType "nest1" Nothing (SEQUENCE (Cons (CTMandatory type7Fifth) (Cons (CTMandatory type7Fourth) (Cons (CTMandatory type7Nest2) Nil))))
type7Third  = NamedType "third" Nothing (RANGE INTEGER (Just 0) (Just 65535))
type7Fourth = NamedType "fourth" Nothing (RANGE INTEGER (Just 0) (Just 65535))

type7Nest2  = NamedType "nest2" Nothing (SEQUENCE (Cons (CTMandatory type7Fifth) (Cons (CTMandatory type7Sixth) Nil)))
type7Fifth  = NamedType "fifth" Nothing (RANGE INTEGER (Just 0) (Just 65535))
type7Sixth  = NamedType "sixth" Nothing (RANGE INTEGER (Just 0) (Just 65535))

val7 = (3:*:( 5:*:((7:*:(11:*:((13:*:(17:*:Empty)):*:Empty))):*:Empty)))

type8       = NamedType "T4" Nothing (SEQUENCE (Cons (CTMandatory type8First) (Cons (CTMandatory type8Second) (Cons (CTMandatory type8Nest1) Nil))))
type8First  = NamedType "first"  Nothing (SIZE (BITSTRING []) (Elem (0,65537)) NoMarker)
type8Second = NamedType "second" Nothing (SIZE (BITSTRING []) (Elem (0,65537)) NoMarker)

type8Nest1  = NamedType "nest1"  Nothing (SEQUENCE (Cons (CTMandatory type8Third) (Cons (CTMandatory type8Fourth) Nil)))
type8Third  = NamedType "third"  Nothing (SIZE (BITSTRING []) (Elem (0,65537)) NoMarker)
type8Fourth = NamedType "fourth" Nothing (SIZE (BITSTRING []) (Elem (0,65537)) NoMarker)

val8 = ((BitString (bs8 12)):*:((BitString (bs8 20)):*:(((BitString (bs8 36)):*:((BitString (bs8 52)):*:Empty)):*:Empty)))

bs8 n = take n (cycle [1,0,1,0,0,0,0,0])

type12 =
   CHOICE xs
      where
         xs = ChoiceOption c1 (ChoiceOption c2 NoChoice)
         c1 = NamedType "c1" (Just (Context,0,Implicit)) s1
         c2 = NamedType "c2" (Just (Context,1,Implicit)) s2
         s1 = SEQUENCE (Cons (CTMandatory e1) (Cons (CTMandatory e2) Nil))
         s2 = SEQUENCE (Cons (CTMandatory e3) (Cons (CTMandatory e4) Nil))
         e1 = NamedType "one" Nothing INTEGER
         e2 = NamedType "two" Nothing INTEGER
         e3 = NamedType "three" Nothing INTEGER
         e4 = NamedType "four" Nothing INTEGER

type12' = NamedType "Type12" Nothing type12

val12a = ValueC (3:*:(4:*:Empty)) (NoValueC NoValue EmptyHL)
val12b = NoValueC NoValue (ValueC (1:*:(2:*:Empty)) EmptyHL)

bitStringType1 = SIZE (SIZE (BITSTRING []) (Elem (1,2)) NoMarker) (Elem (2,2)) NoMarker 

{-
INTEGER Tests
-}

tInteger5 = RANGE INTEGER (Just (-1)) Nothing
tInteger5' = TYPEASS "Integer5" Nothing tInteger5
vInteger5 = 4096

integerType8 = RANGE INTEGER (Just 3) (Just 6)
integerType8' = TYPEASS "Integer8" Nothing integerType8
integerVal81 = 3
integerVal82 = 4
integerVal83 = 5
integerVal84 = 6

integerType8s = SEQUENCE (Cons (CTMandatory (NamedType "three" Nothing integerType8)) 
                               (Cons (CTMandatory (NamedType "four" Nothing integerType8))
                                     (Cons (CTMandatory (NamedType "five" Nothing integerType8))
                                           (Cons (CTMandatory (NamedType "six" Nothing integerType8)) Nil))))
integerType8s' = TYPEASS "Sequence8" Nothing integerType8s
tSeqVal8s  = (3:*:(4:*:(5:*:(6:*:Empty))))


tInteger41 = CTMandatory (NamedType "first" Nothing (RANGE INTEGER (Just (-256)) (Just 256)))
tInteger42 = CTMandatory (NamedType "second" Nothing (RANGE INTEGER (Just (-256)) (Just 256)))
tInteger43 = CTMandatory (NamedType "third" Nothing (RANGE INTEGER (Just (-256)) (Just 256)))
tInteger44 = CTMandatory (NamedType "fourth" Nothing (RANGE INTEGER (Just (-256)) (Just 256)))


tSequence5 = SEQUENCE (Cons tInteger41 (Cons tInteger42 Nil))
tSequence5' = TYPEASS "Sequence5" Nothing tSequence5
tSeqVal51  = (3:*:(5:*:Empty))

tSequence6 = SEQUENCE (Cons tInteger41 (Cons tInteger42 (Cons tInteger43 (Cons tInteger44 Nil))))
tSequence6' = TYPEASS "Sequence6" Nothing tSequence6
tSeqVal61  = ((-256):*:((-255):*:(0:*:(256:*:Empty))))

bigIntSeq1Type = SEQUENCE (Cons (CTMandatory (NamedType "bigInt11" Nothing tSequence6))
                                (Cons (CTMandatory (NamedType "bigInt12" Nothing tSequence5))
                                      (Cons (CTMandatory (NamedType "bigInt13" Nothing integerType8s)) Nil)))
bigIntSeq1Type' = TYPEASS "BigIntSeq1" Nothing bigIntSeq1Type
bigIntSeq1Val = tSeqVal61:*:(tSeqVal51:*:(tSeqVal8s:*:Empty))