hydra.dsl.java.environment module

DSL functions for hydra.java.environment.

hydra.dsl.java.environment.aliases(current_namespace: hydra.typed.TypedTerm[hydra.packaging.ModuleName], packages: hydra.typed.TypedTerm[Mapping[hydra.packaging.ModuleName, hydra.java.syntax.PackageName]], branch_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]], recursive_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]], in_scope_type_params: hydra.typed.TypedTerm[Set[hydra.core.Name]], polymorphic_locals: hydra.typed.TypedTerm[Set[hydra.core.Name]], in_scope_java_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]], var_renames: hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]], lambda_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]], type_var_subst: hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]], trusted_type_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]], method_codomain: hydra.typed.TypedTerm[hydra.core.Type | None], thunked_vars: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL constructor for hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_branch_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the branchVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_current_namespace(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[hydra.packaging.ModuleName]

DSL accessor for the currentNamespace field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_in_scope_java_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the inScopeJavaVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_in_scope_type_params(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the inScopeTypeParams field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_lambda_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the lambdaVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_method_codomain(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[hydra.core.Type | None]

DSL accessor for the methodCodomain field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_packages(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Mapping[hydra.packaging.ModuleName, hydra.java.syntax.PackageName]]

DSL accessor for the packages field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_polymorphic_locals(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the polymorphicLocals field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_recursive_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the recursiveVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_thunked_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the thunkedVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_trusted_type_vars(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Set[hydra.core.Name]]

DSL accessor for the trustedTypeVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_type_var_subst(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]]

DSL accessor for the typeVarSubst field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_var_renames(x: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]]

DSL accessor for the varRenames field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_branch_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the branchVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_current_namespace(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[hydra.packaging.ModuleName]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the currentNamespace field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_in_scope_java_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the inScopeJavaVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_in_scope_type_params(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the inScopeTypeParams field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_lambda_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the lambdaVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_method_codomain(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[hydra.core.Type | None]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the methodCodomain field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_packages(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Mapping[hydra.packaging.ModuleName, hydra.java.syntax.PackageName]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the packages field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_polymorphic_locals(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the polymorphicLocals field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_recursive_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the recursiveVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_thunked_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the thunkedVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_trusted_type_vars(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Set[hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the trustedTypeVars field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_type_var_subst(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the typeVarSubst field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.aliases_with_var_renames(original: hydra.typed.TypedTerm[hydra.java.environment.Aliases], new_val: hydra.typed.TypedTerm[Mapping[hydra.core.Name, hydra.core.Name]]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL updater for the varRenames field of hydra.java.environment.Aliases.

hydra.dsl.java.environment.java_environment(aliases: hydra.typed.TypedTerm[hydra.java.environment.Aliases], graph: hydra.typed.TypedTerm[hydra.graph.Graph]) → hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment]

DSL constructor for hydra.java.environment.JavaEnvironment.

hydra.dsl.java.environment.java_environment_aliases(x: hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment]) → hydra.typed.TypedTerm[hydra.java.environment.Aliases]

DSL accessor for the aliases field of hydra.java.environment.JavaEnvironment.

hydra.dsl.java.environment.java_environment_graph(x: hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment]) → hydra.typed.TypedTerm[hydra.graph.Graph]

DSL accessor for the graph field of hydra.java.environment.JavaEnvironment.

hydra.dsl.java.environment.java_environment_with_aliases(original: hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment], new_val: hydra.typed.TypedTerm[hydra.java.environment.Aliases]) → hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment]

DSL updater for the aliases field of hydra.java.environment.JavaEnvironment.

hydra.dsl.java.environment.java_environment_with_graph(original: hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment], new_val: hydra.typed.TypedTerm[hydra.graph.Graph]) → hydra.typed.TypedTerm[hydra.java.environment.JavaEnvironment]

DSL updater for the graph field of hydra.java.environment.JavaEnvironment.

hydra.dsl.java.environment.java_features(supports_diamond_operator: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.java.environment.JavaFeatures]

DSL constructor for hydra.java.environment.JavaFeatures.

hydra.dsl.java.environment.java_features_supports_diamond_operator(x: hydra.typed.TypedTerm[hydra.java.environment.JavaFeatures]) → hydra.typed.TypedTerm[bool]

DSL accessor for the supportsDiamondOperator field of hydra.java.environment.JavaFeatures.

hydra.dsl.java.environment.java_features_with_supports_diamond_operator(original: hydra.typed.TypedTerm[hydra.java.environment.JavaFeatures], new_val: hydra.typed.TypedTerm[bool]) → hydra.typed.TypedTerm[hydra.java.environment.JavaFeatures]

DSL updater for the supportsDiamondOperator field of hydra.java.environment.JavaFeatures.

hydra.dsl.java.environment.java_symbol_class_hoisted_lambda(x: hydra.typed.TypedTerm[int]) → hydra.typed.TypedTerm[hydra.java.environment.JavaSymbolClass]

DSL injection for the hoistedLambda variant of hydra.java.environment.JavaSymbolClass.