{-# LANGUAGE OverloadedStrings #-}

module Hydra.Sources.Tier4.Ext.Java.Language where

import Hydra.Sources.Tier3.All
import Hydra.Dsl.Base as Base
import Hydra.Dsl.Lib.Equality as Equality
import Hydra.Dsl.Lib.Flows as Flows
import Hydra.Dsl.Lib.Lists as Lists
import Hydra.Dsl.Lib.Logic as Logic
import Hydra.Dsl.Lib.Maps as Maps
import Hydra.Dsl.Lib.Sets as Sets
import Hydra.Dsl.Lib.Strings as Strings
import qualified Hydra.Dsl.Terms as Terms
import qualified Hydra.Dsl.Types as Types

import qualified Data.Set as S


javaLanguageDefinition :: String -> TTerm a -> TElement a
javaLanguageDefinition :: forall a. String -> TTerm a -> TElement a
javaLanguageDefinition = Module -> String -> TTerm a -> TElement a
forall a. Module -> String -> TTerm a -> TElement a
definitionInModule Module
javaLanguageModule

javaLanguageModule :: Module
javaLanguageModule :: Module
javaLanguageModule = Namespace
-> [Element] -> [Module] -> [Module] -> Maybe String -> Module
Module Namespace
ns [Element]
elements [Module
hydraCodersModule, Module
hydraBasicsModule] [Module]
tier0Modules (Maybe String -> Module) -> Maybe String -> Module
forall a b. (a -> b) -> a -> b
$
    String -> Maybe String
forall a. a -> Maybe a
Just String
"Language constraints for Java"
  where
    ns :: Namespace
ns = String -> Namespace
Namespace String
"hydra/ext/java/language"
    elements :: [Element]
elements = [
      TElement Int -> Element
forall a. TElement a -> Element
el TElement Int
javaMaxTupleLengthDef,
      TElement Language -> Element
forall a. TElement a -> Element
el TElement Language
javaLanguageDef,
      TElement (Set String) -> Element
forall a. TElement a -> Element
el TElement (Set String)
reservedWordsDef
      ]

javaMaxTupleLengthDef :: TElement Int
javaMaxTupleLengthDef :: TElement Int
javaMaxTupleLengthDef = String -> TTerm Int -> TElement Int
forall a. String -> TTerm a -> TElement a
javaLanguageDefinition String
"javaMaxTupleLength" (TTerm Int -> TElement Int) -> TTerm Int -> TElement Int
forall a b. (a -> b) -> a -> b
$
  String -> TTerm Int -> TTerm Int
forall a. String -> TTerm a -> TTerm a
doc (String
"The maximum supported length of a tuple in Hydra-Java. "
    String -> String -> String
forall a. Semigroup a => a -> a -> a
<> String
"Note: if this constant is changed, also change Tuples.java correspondingly") (TTerm Int -> TTerm Int) -> TTerm Int -> TTerm Int
forall a b. (a -> b) -> a -> b
$
  Int -> TTerm Int
int32 Int
9

javaLanguageDef :: TElement (Language)
javaLanguageDef :: TElement Language
javaLanguageDef = String -> TTerm Language -> TElement Language
forall a. String -> TTerm a -> TElement a
javaLanguageDefinition String
"javaLanguage" (TTerm Language -> TElement Language)
-> TTerm Language -> TElement Language
forall a b. (a -> b) -> a -> b
$
  String -> TTerm Language -> TTerm Language
forall a. String -> TTerm a -> TTerm a
doc String
"Language constraints for Java" (TTerm Language -> TTerm Language)
-> TTerm Language -> TTerm Language
forall a b. (a -> b) -> a -> b
$
  Type -> TTerm Language -> TTerm Language
forall a. Type -> TTerm a -> TTerm a
typed Type
languageT (TTerm Language -> TTerm Language)
-> TTerm Language -> TTerm Language
forall a b. (a -> b) -> a -> b
$
  Name -> [Field] -> TTerm Language
forall a. Name -> [Field] -> TTerm a
record Name
_Language [
    Name
_Language_nameName -> TTerm Any -> Field
forall a. Name -> TTerm a -> Field
>>: Name -> TTerm Any -> TTerm Any
forall a b. Name -> TTerm a -> TTerm b
wrap Name
_LanguageName TTerm Any
"hydra/ext/java",
    Name
_Language_constraintsName -> TTerm Any -> Field
forall a. Name -> TTerm a -> Field
>>: Name -> [Field] -> TTerm Any
forall a. Name -> [Field] -> TTerm a
record Name
_LanguageConstraints [
      Name
_LanguageConstraints_eliminationVariantsName -> TTerm (Set EliminationVariant) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([EliminationVariant] -> Set EliminationVariant)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([EliminationVariant] -> Set EliminationVariant)
-> TTerm [EliminationVariant] -> TTerm (Set EliminationVariant)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ TElement [EliminationVariant] -> TTerm [EliminationVariant]
forall a. TElement a -> TTerm a
ref TElement [EliminationVariant]
eliminationVariantsDef,
      Name
_LanguageConstraints_literalVariantsName -> TTerm (Set Any) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([Any] -> Set Any)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([Any] -> Set Any) -> TTerm [Any] -> TTerm (Set Any)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list (Name -> Name -> TTerm Any
forall a. Name -> Name -> TTerm a
unitVariant Name
_LiteralVariant (Name -> TTerm Any) -> [Name] -> [TTerm Any]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [
        Name
_LiteralVariant_boolean, -- boolean
        Name
_LiteralVariant_float, -- (see float types)
        Name
_LiteralVariant_integer, -- (see integer types)
        Name
_LiteralVariant_string]), -- string
      Name
_LanguageConstraints_floatTypesName -> TTerm (Set Any) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([Any] -> Set Any)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([Any] -> Set Any) -> TTerm [Any] -> TTerm (Set Any)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list (Name -> Name -> TTerm Any
forall a. Name -> Name -> TTerm a
unitVariant Name
_FloatType (Name -> TTerm Any) -> [Name] -> [TTerm Any]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [
         -- Bigfloat (e.g. as Java's BigDecimal) is excluded for now
        Name
_FloatType_float32, -- float
        Name
_FloatType_float64]), -- double
      Name
_LanguageConstraints_functionVariantsName -> TTerm (Set FunctionVariant) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([FunctionVariant] -> Set FunctionVariant)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([FunctionVariant] -> Set FunctionVariant)
-> TTerm [FunctionVariant] -> TTerm (Set FunctionVariant)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ TElement [FunctionVariant] -> TTerm [FunctionVariant]
forall a. TElement a -> TTerm a
ref TElement [FunctionVariant]
functionVariantsDef,
      Name
_LanguageConstraints_integerTypesName -> TTerm (Set Any) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([Any] -> Set Any)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([Any] -> Set Any) -> TTerm [Any] -> TTerm (Set Any)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list (Name -> Name -> TTerm Any
forall a. Name -> Name -> TTerm a
unitVariant Name
_IntegerType (Name -> TTerm Any) -> [Name] -> [TTerm Any]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [
        Name
_IntegerType_bigint, -- BigInteger
        Name
_IntegerType_int8, -- byte (signed, 8-bit)
        Name
_IntegerType_int16, -- short (signed, 16-bit)
        Name
_IntegerType_int32, -- int (signed, 32-bit)
        Name
_IntegerType_int64, -- long (signed, 64-bit)
        Name
_IntegerType_uint16]), -- char (unsigned, 16-bit)
      Name
_LanguageConstraints_termVariantsName -> TTerm (Set Any) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([Any] -> Set Any)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([Any] -> Set Any) -> TTerm [Any] -> TTerm (Set Any)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list (Name -> Name -> TTerm Any
forall a. Name -> Name -> TTerm a
unitVariant Name
_TermVariant (Name -> TTerm Any) -> [Name] -> [TTerm Any]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [
        Name
_TermVariant_application,
        Name
_TermVariant_function,
        Name
_TermVariant_let,
        Name
_TermVariant_list,
        Name
_TermVariant_literal,
        Name
_TermVariant_map,
        Name
_TermVariant_optional,
        Name
_TermVariant_product,
        Name
_TermVariant_record,
        Name
_TermVariant_set,
        Name
_TermVariant_union,
        Name
_TermVariant_variable,
        Name
_TermVariant_wrap]),
      Name
_LanguageConstraints_typeVariantsName -> TTerm (Set Any) -> Field
forall a. Name -> TTerm a -> Field
>>: TTerm ([Any] -> Set Any)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([Any] -> Set Any) -> TTerm [Any] -> TTerm (Set Any)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list (Name -> Name -> TTerm Any
forall a. Name -> Name -> TTerm a
unitVariant Name
_TypeVariant (Name -> TTerm Any) -> [Name] -> [TTerm Any]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [
        Name
_TypeVariant_annotated,
        Name
_TypeVariant_application,
        Name
_TypeVariant_function,
        Name
_TypeVariant_lambda,
        Name
_TypeVariant_list,
        Name
_TypeVariant_literal,
        Name
_TypeVariant_map,
        Name
_TypeVariant_optional,
        Name
_TypeVariant_product,
        Name
_TypeVariant_record,
        Name
_TypeVariant_set,
        Name
_TypeVariant_union,
        Name
_TypeVariant_variable,
        Name
_TypeVariant_wrap]),
      Name
_LanguageConstraints_typesName -> TTerm (Any -> Bool) -> Field
forall a. Name -> TTerm a -> Field
>>: Name -> Maybe (TTerm Bool) -> [Field] -> TTerm (Any -> Bool)
forall b u. Name -> Maybe (TTerm b) -> [Field] -> TTerm (u -> b)
match Name
_Type (TTerm Bool -> Maybe (TTerm Bool)
forall a. a -> Maybe a
Just TTerm Bool
true) [
        Name
_Type_productName -> TTerm (Any -> Any) -> Field
forall a. Name -> TTerm a -> Field
>>: String -> TTerm Bool -> TTerm (Any -> Any)
forall x a b. String -> TTerm x -> TTerm (a -> b)
lambda String
"types" (TTerm Bool -> TTerm (Any -> Any))
-> TTerm Bool -> TTerm (Any -> Any)
forall a b. (a -> b) -> a -> b
$ TTerm (Int -> Int -> Bool)
Equality.ltInt32 TTerm (Int -> Int -> Bool) -> TTerm Int -> TTerm (Int -> Bool)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ (TTerm ([Any] -> Int)
forall a. TTerm ([a] -> Int)
Lists.length TTerm ([Any] -> Int) -> TTerm [Any] -> TTerm Int
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ String -> TTerm [Any]
forall a. String -> TTerm a
var String
"types") TTerm (Int -> Bool) -> TTerm Int -> TTerm Bool
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ (TElement Int -> TTerm Int
forall a. TElement a -> TTerm a
ref TElement Int
javaMaxTupleLengthDef)
      ]]]

reservedWordsDef :: TElement (S.Set String)
reservedWordsDef :: TElement (Set String)
reservedWordsDef = String -> TTerm (Set String) -> TElement (Set String)
forall a. String -> TTerm a -> TElement a
javaLanguageDefinition String
"reservedWords" (TTerm (Set String) -> TElement (Set String))
-> TTerm (Set String) -> TElement (Set String)
forall a b. (a -> b) -> a -> b
$
  String -> TTerm (Set String) -> TTerm (Set String)
forall a. String -> TTerm a -> TTerm a
doc String
"A set of reserved words in Java" (TTerm (Set String) -> TTerm (Set String))
-> TTerm (Set String) -> TTerm (Set String)
forall a b. (a -> b) -> a -> b
$
  Type -> TTerm (Set String) -> TTerm (Set String)
forall a. Type -> TTerm a -> TTerm a
typed (Type -> Type
setT Type
stringT) (TTerm (Set String) -> TTerm (Set String))
-> TTerm (Set String) -> TTerm (Set String)
forall a b. (a -> b) -> a -> b
$
  (TTerm ([String] -> Set String)
forall a. TTerm ([a] -> Set a)
Sets.fromList TTerm ([String] -> Set String)
-> TTerm [String] -> TTerm (Set String)
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ (TTerm ([[String]] -> [String])
forall a. TTerm ([[a]] -> [a])
Lists.concat TTerm ([[String]] -> [String])
-> TTerm [[String]] -> TTerm [String]
forall a b. TTerm (a -> b) -> TTerm a -> TTerm b
@@ [TTerm [String]] -> TTerm [[String]]
forall a. [TTerm a] -> TTerm [a]
list [String -> TTerm [String]
forall a. String -> TTerm a
var String
"specialNames", String -> TTerm [String]
forall a. String -> TTerm a
var String
"classNames", String -> TTerm [String]
forall a. String -> TTerm a
var String
"keywords", String -> TTerm [String]
forall a. String -> TTerm a
var String
"literals"]))
  TTerm (Set String) -> [Field] -> TTerm (Set String)
forall a. TTerm a -> [Field] -> TTerm a
`with` [
    String
"specialNames"String -> TTerm [Any] -> Field
forall a. String -> TTerm a -> Field
>:
      String -> TTerm [Any] -> TTerm [Any]
forall a. String -> TTerm a -> TTerm a
doc String
"Special names reserved for use by Hydra" (TTerm [Any] -> TTerm [Any]) -> TTerm [Any] -> TTerm [Any]
forall a b. (a -> b) -> a -> b
$
      [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list [TTerm Any
"Elements"],

    String
"classNames"String -> TTerm [Any] -> Field
forall a. String -> TTerm a -> Field
>:
      String -> TTerm [Any] -> TTerm [Any]
forall a. String -> TTerm a -> TTerm a
doc (String
"java.lang classes as of JDK 7\n"
        String -> String -> String
forall a. Semigroup a => a -> a -> a
<> String
"See: https://docs.oracle.com/javase/7/docs/api/java/lang/package-summary.html") (TTerm [Any] -> TTerm [Any]) -> TTerm [Any] -> TTerm [Any]
forall a b. (a -> b) -> a -> b
$
      [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list [
        TTerm Any
"AbstractMethodError", TTerm Any
"Appendable", TTerm Any
"ArithmeticException", TTerm Any
"ArrayIndexOutOfBoundsException",
        TTerm Any
"ArrayStoreException", TTerm Any
"AssertionError", TTerm Any
"AutoCloseable", TTerm Any
"Boolean", TTerm Any
"BootstrapMethodError", TTerm Any
"Byte",
        TTerm Any
"CharSequence", TTerm Any
"Character", TTerm Any
"Class", TTerm Any
"ClassCastException", TTerm Any
"ClassCircularityError", TTerm Any
"ClassFormatError",
        TTerm Any
"ClassLoader", TTerm Any
"ClassNotFoundException", TTerm Any
"ClassValue", TTerm Any
"CloneNotSupportedException", TTerm Any
"Cloneable", TTerm Any
"Comparable",
        TTerm Any
"Compiler", TTerm Any
"Deprecated", TTerm Any
"Double", TTerm Any
"Enum", TTerm Any
"EnumConstantNotPresentException", TTerm Any
"Error", TTerm Any
"Exception",
        TTerm Any
"ExceptionInInitializerError", TTerm Any
"Float", TTerm Any
"IllegalAccessError", TTerm Any
"IllegalAccessException",
        TTerm Any
"IllegalArgumentException", TTerm Any
"IllegalMonitorStateException", TTerm Any
"IllegalStateException",
        TTerm Any
"IllegalThreadStateException", TTerm Any
"IncompatibleClassChangeError", TTerm Any
"IndexOutOfBoundsException",
        TTerm Any
"InheritableThreadLocal", TTerm Any
"InstantiationError", TTerm Any
"InstantiationException", TTerm Any
"Integer", TTerm Any
"InternalError",
        TTerm Any
"InterruptedException", TTerm Any
"Iterable", TTerm Any
"LinkageError", TTerm Any
"Long", TTerm Any
"Math", TTerm Any
"NegativeArraySizeException",
        TTerm Any
"NoClassDefFoundError", TTerm Any
"NoSuchFieldError", TTerm Any
"NoSuchFieldException", TTerm Any
"NoSuchMethodError", TTerm Any
"NoSuchMethodException",
        TTerm Any
"NullPointerException", TTerm Any
"Number", TTerm Any
"NumberFormatException", TTerm Any
"Object", TTerm Any
"OutOfMemoryError", TTerm Any
"Override", TTerm Any
"Package",
        TTerm Any
"Process", TTerm Any
"ProcessBuilder", TTerm Any
"Readable", TTerm Any
"ReflectiveOperationException", TTerm Any
"Runnable", TTerm Any
"Runtime",
        TTerm Any
"RuntimeException", TTerm Any
"RuntimePermission", TTerm Any
"SafeVarargs", TTerm Any
"SecurityException", TTerm Any
"SecurityManager", TTerm Any
"Short",
        TTerm Any
"StackOverflowError", TTerm Any
"StackTraceElement", TTerm Any
"StrictMath", TTerm Any
"String", TTerm Any
"StringBuffer", TTerm Any
"StringBuilder",
        TTerm Any
"StringIndexOutOfBoundsException", TTerm Any
"SuppressWarnings", TTerm Any
"System", TTerm Any
"Thread", TTerm Any
"ThreadDeath",
        TTerm Any
"ThreadGroup", TTerm Any
"ThreadLocal", TTerm Any
"Throwable", TTerm Any
"TypeNotPresentException",
        TTerm Any
"UnknownError", TTerm Any
"UnsatisfiedLinkError", TTerm Any
"UnsupportedClassVersionError",
        TTerm Any
"UnsupportedOperationException", TTerm Any
"VerifyError", TTerm Any
"VirtualMachineError", TTerm Any
"Void"],

    String
"keywords"String -> TTerm [Any] -> Field
forall a. String -> TTerm a -> Field
>:
      String -> TTerm [Any] -> TTerm [Any]
forall a. String -> TTerm a -> TTerm a
doc (String
"Keywords and literals are taken from Oracle's Java Tutorials on 2022-05-27; said to be complete for Java 1.8 only\n"
          String -> String -> String
forall a. Semigroup a => a -> a -> a
<> String
"See: https://docs.oracle.com/javase/tutorial/java/nutsandbolts/_keywords.html") (TTerm [Any] -> TTerm [Any]) -> TTerm [Any] -> TTerm [Any]
forall a b. (a -> b) -> a -> b
$
      [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list [
        TTerm Any
"abstract", TTerm Any
"assert", TTerm Any
"boolean", TTerm Any
"break", TTerm Any
"byte", TTerm Any
"case", TTerm Any
"catch", TTerm Any
"char", TTerm Any
"class", TTerm Any
"const", TTerm Any
"continue",
        TTerm Any
"default", TTerm Any
"do", TTerm Any
"double", TTerm Any
"else", TTerm Any
"enum", TTerm Any
"extends", TTerm Any
"final", TTerm Any
"finally", TTerm Any
"float", TTerm Any
"for", TTerm Any
"goto", TTerm Any
"if",
        TTerm Any
"implements", TTerm Any
"import", TTerm Any
"instanceof", TTerm Any
"int", TTerm Any
"interface", TTerm Any
"long", TTerm Any
"native", TTerm Any
"new", TTerm Any
"package", TTerm Any
"private",
        TTerm Any
"protected", TTerm Any
"public", TTerm Any
"return", TTerm Any
"short", TTerm Any
"static", TTerm Any
"strictfp", TTerm Any
"super", TTerm Any
"switch", TTerm Any
"synchronized", TTerm Any
"this",
        TTerm Any
"throw", TTerm Any
"throws", TTerm Any
"transient", TTerm Any
"try", TTerm Any
"void", TTerm Any
"volatile", TTerm Any
"while"],

    String
"literals"String -> TTerm [Any] -> Field
forall a. String -> TTerm a -> Field
>:
      [TTerm Any] -> TTerm [Any]
forall a. [TTerm a] -> TTerm [a]
list [TTerm Any
"false", TTerm Any
"null", TTerm Any
"true"]]