Skip to content

Commit

Permalink
Updates IRITests using IRIQuery
Browse files Browse the repository at this point in the history
  • Loading branch information
@robstewart57
robstewart57 committed Sep 26, 2020
1 parent afccf49 commit 0187558
Showing 1 changed file with 153 additions and 124 deletions.
277 changes: 153 additions & 124 deletions testsuite/tests/Data/RDF/IRITests.hs
View file
Original file line number Diff line number Diff line change
@@ -1,136 +1,165 @@
{-# LANGUAGE OverloadedStrings #-}

module Data.RDF.IRITests
( iriTests
) where
( iriTests,
)
where

import Data.Either
import Data.RDF.IRI
import Data.Text ()
import Data.RDF.IRI

import Test.Tasty
import Test.Tasty.HUnit

iriTests :: TestTree
iriTests =
testGroup "iri-unit-tests"
[ testCase "No scheme 01" $
assertEqual ""
(Right (IRIRef Nothing authority02 mempty Nothing Nothing))
(parseRelIRI "//duckduckgo.com")
, testCase "No scheme 02" $
assertBool "" (isRight (parseRelIRI "duckduckgo.com"))
, testCase "No path" $
assertEqual ""
(Right (IRIRef https authority01 mempty Nothing Nothing))
(parseIRI "https://en.wikipedia.org")
, testCase "Scheme case" $
assertEqual ""
(Right (IRIRef https authority01 mempty Nothing Nothing))
(parseIRI "htTpS://en.wikipedia.org")
, testCase "Empty query" $
assertEqual ""
(Right (IRIRef https authority02 mempty (Just mempty) Nothing))
(parseIRI "https://duckduckgo.com?")
, testCase "Empty fragment" $
assertEqual ""
(Right (IRIRef https authority02 mempty Nothing (Just mempty)))
(parseIRI "https://duckduckgo.com#")
, testCase "Empty query & fragment" $
assertEqual ""
(Right (IRIRef https authority02 mempty (Just mempty) (Just mempty)))
(parseIRI "https://duckduckgo.com?#")
, testCase "Simple query without path" $
assertEqual ""
(Right (IRIRef https authority02 mempty query01 Nothing))
(parseIRI "https://duckduckgo.com?q=Uniform+Resource+Identifier")
, testCase "Simple query with path" $
assertEqual ""
(Right (IRIRef https authority02 (Path "/") query01 Nothing))
(parseIRI "https://duckduckgo.com/?q=Uniform+Resource+Identifier")
, testCase "Japanese characters 01" $
assertEqual ""
(Right (IRIRef https authority03 mempty Nothing Nothing))
(parseIRI "https://www.ほんとうにながいわけのわからないどめいんめいのらべるまだながくしないとたりない.w3.mag.keio.ac.jp")
, testCase "Empty Filepath" $
assertEqual ""
(Right (IRIRef file emptyAuthority mempty Nothing Nothing))
(parseIRI "file://")
, testCase "Simple Filepath 01" $
assertEqual ""
(Right (IRIRef file emptyAuthority (Path "/") Nothing Nothing))
(parseIRI "file:///")
, testCase "Simple Filepath 02" $
assertEqual ""
(Right (IRIRef file emptyAuthority (Path "/temp") Nothing Nothing))
(parseIRI "file:///temp")
, testCase "Simple Filepath 03" $
assertEqual ""
(Right (IRIRef file emptyAuthority (Path "/temp/test.txt") Nothing Nothing))
(parseIRI "file:///temp/test.txt")
, testCase "Example for IRI resolution 1" $
assertEqual ""
(Right (IRIRef http authority04 (Path "/bb/ccc/d;p") (Just $ Query "q") Nothing))
(parseIRI "http://a/bb/ccc/d;p?q")
, testCase "Example for IRI resolution 2" $
assertEqual ""
(Right (IRIRef (Just $ Scheme "g") Nothing (Path "h") Nothing Nothing))
(parseIRI "g:h")
, testCase "Example for IRI resolution 3a" $
assertBool "" (isLeft (parseIRI "g"))
, testCase "Example for IRI resolution 3b" $
assertEqual ""
(Right (IRIRef Nothing Nothing (Path "g") Nothing Nothing))
(parseRelIRI "g")
, testCase "Example for IRI resolution 4" $
assertEqual ""
(Right (IRIRef Nothing Nothing (Path "..") Nothing Nothing))
(parseRelIRI "..")
, testCase "IRI resolution 0" $
assertEqual ""
(Right "http://a/bb/ccc/d;p?q")
(resolveIRI "http://a/bb/ccc/d;p?q" "")
, testCase "IRI resolution 1" $
assertEqual ""
(Right "g:h")
(resolveIRI "http://a/bb/ccc/d;p?q" "g:h")
, testCase "IRI resolution 2" $
assertEqual ""
(Right "http://a/bb/ccc/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "g")
, testCase "IRI resolution 3" $
assertEqual ""
(Right "http://a/bb/ccc/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "./g")
, testCase "IRI resolution 4" $
assertEqual ""
(Right "http://a/bb/ccc/g/")
(resolveIRI "http://a/bb/ccc/d;p?q" "g/")
, testCase "IRI resolution 5" $
assertEqual ""
(Right "http://a/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "/g")
, testCase "IRI resolution 6" $
assertEqual ""
(Right "http://a/bb/ccc/g/")
(resolveIRI "http://a/bb/ccc/d;p?q" "./g/.")
, testCase "IRI resolution 7" $
assertEqual ""
(Right "http://a/bb/")
(resolveIRI "http://a/bb/ccc/d;p?q" "..")
, testCase "IRI resolution 8" $
assertEqual ""
(Right "http://a/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "../../../g")
, testCase "IRI resolution 9" $
assertEqual ""
(Right "http://a.com/bb/ccc/test.ttl#")
(resolveIRI "http://a.com/bb/ccc/test.ttl" "#")
, testCase "IRI resolution 10" $
assertEqual ""
(Right "http://a/bb/ccc/d;p?q#")
(resolveIRI "http://a/bb/ccc/d;p?q" "#")
]
testGroup
"iri-unit-tests"
[ testCase "No scheme 01" $
assertEqual
""
(Right (IRIRef Nothing authority02 mempty Nothing Nothing))
(parseRelIRI "//duckduckgo.com"),
testCase "No scheme 02" $
assertBool "" (isRight (parseRelIRI "duckduckgo.com")),
testCase "No path" $
assertEqual
""
(Right (IRIRef https authority01 mempty Nothing Nothing))
(parseIRI "https://en.wikipedia.org"),
testCase "Scheme case" $
assertEqual
""
(Right (IRIRef https authority01 mempty Nothing Nothing))
(parseIRI "htTpS://en.wikipedia.org"),
testCase "Empty query" $
assertEqual
""
(Right (IRIRef https authority02 mempty (Just mempty) Nothing))
(parseIRI "https://duckduckgo.com?"),
testCase "Empty fragment" $
assertEqual
""
(Right (IRIRef https authority02 mempty Nothing (Just mempty)))
(parseIRI "https://duckduckgo.com#"),
testCase "Empty query & fragment" $
assertEqual
""
(Right (IRIRef https authority02 mempty (Just mempty) (Just mempty)))
(parseIRI "https://duckduckgo.com?#"),
testCase "Simple query without path" $
assertEqual
""
(Right (IRIRef https authority02 mempty query01 Nothing))
(parseIRI "https://duckduckgo.com?q=Uniform+Resource+Identifier"),
testCase "Simple query with path" $
assertEqual
""
(Right (IRIRef https authority02 (Path "/") query01 Nothing))
(parseIRI "https://duckduckgo.com/?q=Uniform+Resource+Identifier"),
testCase "Japanese characters 01" $
assertEqual
""
(Right (IRIRef https authority03 mempty Nothing Nothing))
(parseIRI "https://www.ほんとうにながいわけのわからないどめいんめいのらべるまだながくしないとたりない.w3.mag.keio.ac.jp"),
testCase "Empty Filepath" $
assertEqual
""
(Right (IRIRef file emptyAuthority mempty Nothing Nothing))
(parseIRI "file://"),
testCase "Simple Filepath 01" $
assertEqual
""
(Right (IRIRef file emptyAuthority (Path "/") Nothing Nothing))
(parseIRI "file:///"),
testCase "Simple Filepath 02" $
assertEqual
""
(Right (IRIRef file emptyAuthority (Path "/temp") Nothing Nothing))
(parseIRI "file:///temp"),
testCase "Simple Filepath 03" $
assertEqual
""
(Right (IRIRef file emptyAuthority (Path "/temp/test.txt") Nothing Nothing))
(parseIRI "file:///temp/test.txt"),
testCase "Example for IRI resolution 1" $
assertEqual
""
(Right (IRIRef http authority04 (Path "/bb/ccc/d;p") (Just $ IRIQuery "q") Nothing))
(parseIRI "http://a/bb/ccc/d;p?q"),
testCase "Example for IRI resolution 2" $
assertEqual
""
(Right (IRIRef (Just $ Scheme "g") Nothing (Path "h") Nothing Nothing))
(parseIRI "g:h"),
testCase "Example for IRI resolution 3a" $
assertBool "" (isLeft (parseIRI "g")),
testCase "Example for IRI resolution 3b" $
assertEqual
""
(Right (IRIRef Nothing Nothing (Path "g") Nothing Nothing))
(parseRelIRI "g"),
testCase "Example for IRI resolution 4" $
assertEqual
""
(Right (IRIRef Nothing Nothing (Path "..") Nothing Nothing))
(parseRelIRI ".."),
testCase "IRI resolution 0" $
assertEqual
""
(Right "http://a/bb/ccc/d;p?q")
(resolveIRI "http://a/bb/ccc/d;p?q" ""),
testCase "IRI resolution 1" $
assertEqual
""
(Right "g:h")
(resolveIRI "http://a/bb/ccc/d;p?q" "g:h"),
testCase "IRI resolution 2" $
assertEqual
""
(Right "http://a/bb/ccc/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "g"),
testCase "IRI resolution 3" $
assertEqual
""
(Right "http://a/bb/ccc/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "./g"),
testCase "IRI resolution 4" $
assertEqual
""
(Right "http://a/bb/ccc/g/")
(resolveIRI "http://a/bb/ccc/d;p?q" "g/"),
testCase "IRI resolution 5" $
assertEqual
""
(Right "http://a/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "/g"),
testCase "IRI resolution 6" $
assertEqual
""
(Right "http://a/bb/ccc/g/")
(resolveIRI "http://a/bb/ccc/d;p?q" "./g/."),
testCase "IRI resolution 7" $
assertEqual
""
(Right "http://a/bb/")
(resolveIRI "http://a/bb/ccc/d;p?q" ".."),
testCase "IRI resolution 8" $
assertEqual
""
(Right "http://a/g")
(resolveIRI "http://a/bb/ccc/d;p?q" "../../../g"),
testCase "IRI resolution 9" $
assertEqual
""
(Right "http://a.com/bb/ccc/test.ttl#")
(resolveIRI "http://a.com/bb/ccc/test.ttl" "#"),
testCase "IRI resolution 10" $
assertEqual
""
(Right "http://a/bb/ccc/d;p?q#")
(resolveIRI "http://a/bb/ccc/d;p?q" "#")
]

http :: Maybe Scheme
http = Just $ Scheme "http"
Expand Down Expand Up @@ -165,8 +194,8 @@ host02 = Host "duckduckgo.com"
host03 :: Host
host03 = Host "www.ほんとうにながいわけのわからないどめいんめいのらべるまだながくしないとたりない.w3.mag.keio.ac.jp"

query01 :: Maybe Query
query01 = Just $ Query "q=Uniform+Resource+Identifier"
query01 :: Maybe IRIQuery
query01 = Just $ IRIQuery "q=Uniform+Resource+Identifier"

{-
fragment01 :: Maybe Fragment
Expand Down

0 comments on commit 0187558

Please sign in to comment.