module PostgresqlSyntax.Validation where
import qualified Data.HashSet as HashSet
import qualified Data.Text as Text
import qualified PostgresqlSyntax.KeywordSet as HashSet
import qualified PostgresqlSyntax.Predicate as Predicate
import PostgresqlSyntax.Prelude hiding (expression)
op :: Text -> Maybe Text
op :: Text -> Maybe Text
op Text
a =
if Text -> Bool
Text.null Text
a
then Text -> Maybe Text
forall a. a -> Maybe a
Just (Text
"Operator is empty")
else
if Text -> Text -> Bool
Text.isInfixOf Text
"--" Text
a
then Text -> Maybe Text
forall a. a -> Maybe a
Just (Text
"Operator contains a prohibited \"--\" sequence: " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Text
a)
else
if Text -> Text -> Bool
Text.isInfixOf Text
"/*" Text
a
then Text -> Maybe Text
forall a. a -> Maybe a
Just (Text
"Operator contains a prohibited \"/*\" sequence: " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Text
a)
else
if HashSet Text -> Text -> Bool
forall a. (Eq a, Hashable a) => HashSet a -> a -> Bool
Predicate.inSet HashSet Text
forall a. (Hashable a, IsString a) => HashSet a
HashSet.nonOp Text
a
then Text -> Maybe Text
forall a. a -> Maybe a
Just (Text
"Operator is not generic: " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Text
a)
else
if (Char -> Bool) -> Text -> Maybe Char
Text.find Char -> Bool
Predicate.prohibitionLiftingOpChar Text
a Maybe Char -> (Maybe Char -> Bool) -> Bool
forall a b. a -> (a -> b) -> b
& Maybe Char -> Bool
forall a. Maybe a -> Bool
isJust
then Maybe Text
forall a. Maybe a
Nothing
else
if Char -> Bool
Predicate.prohibitedOpChar (Text -> Char
Text.last Text
a)
then Text -> Maybe Text
forall a. a -> Maybe a
Just (Text
"Operator ends with a prohibited char: " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Text
a)
else Maybe Text
forall a. Maybe a
Nothing