Packages
oaspec
0.4.0
0.68.0
0.67.0
0.66.0
0.65.0
0.64.0
0.63.0
0.62.0
0.61.0
0.60.0
0.59.0
0.58.1
0.58.0
0.57.0
0.56.0
0.55.0
0.54.0
0.53.0
0.52.0
0.51.0
0.50.0
0.49.0
0.48.0
0.47.0
0.46.0
0.45.0
0.44.0
0.43.0
0.42.0
0.41.0
0.40.0
0.39.0
0.38.0
0.37.0
0.36.0
0.35.0
0.34.0
0.33.0
0.32.0
0.31.0
0.30.0
0.29.0
0.28.0
0.27.0
0.26.0
0.25.0
0.24.0
0.23.0
0.22.0
0.21.0
0.20.0
0.19.0
0.18.0
0.17.0
0.16.0
0.15.0
0.14.0
0.13.0
0.12.0
0.11.0
0.10.0
0.9.0
0.8.0
0.7.0
0.6.3
0.6.1
0.6.0
0.5.0
0.4.0
0.3.0
0.1.3
Generate Gleam code from OpenAPI 3.x specifications
Current section
Files
Jump to
Current section
Files
src/oaspec@codegen@guards.erl
-module(oaspec@codegen@guards).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/oaspec/codegen/guards.gleam").
-export([generate/1]).
-export_type([constraint_types/0]).
-if(?OTP_RELEASE >= 27).
-define(MODULEDOC(Str), -moduledoc(Str)).
-define(DOC(Str), -doc(Str)).
-else.
-define(MODULEDOC(Str), -compile([])).
-define(DOC(Str), -compile([])).
-endif.
-type constraint_types() :: {constraint_types,
boolean(),
boolean(),
boolean(),
boolean()}.
-file("src/oaspec/codegen/guards.gleam", 89).
?DOC(" Collect constraint types from a single schema ref.\n").
-spec collect_schema_constraint_types(
constraint_types(),
oaspec@openapi@schema:schema_ref(),
oaspec@codegen@context:context()
) -> constraint_types().
collect_schema_constraint_types(Acc, Schema_ref, Ctx) ->
Schema = case Schema_ref of
{inline, S} ->
{ok, S};
{reference, _} ->
oaspec@openapi@resolver:resolve_schema_ref(
Schema_ref,
erlang:element(2, Ctx)
)
end,
case Schema of
{ok, {string_schema, _, _, _, {some, _}, _, _, _}} ->
{constraint_types,
true,
erlang:element(3, Acc),
erlang:element(4, Acc),
erlang:element(5, Acc)};
{ok, {string_schema, _, _, _, _, {some, _}, _, _}} ->
{constraint_types,
true,
erlang:element(3, Acc),
erlang:element(4, Acc),
erlang:element(5, Acc)};
{ok, {integer_schema, _, _, {some, _}, _, _}} ->
{constraint_types,
erlang:element(2, Acc),
true,
erlang:element(4, Acc),
erlang:element(5, Acc)};
{ok, {integer_schema, _, _, _, {some, _}, _}} ->
{constraint_types,
erlang:element(2, Acc),
true,
erlang:element(4, Acc),
erlang:element(5, Acc)};
{ok, {number_schema, _, _, {some, _}, _, _}} ->
{constraint_types,
erlang:element(2, Acc),
erlang:element(3, Acc),
true,
erlang:element(5, Acc)};
{ok, {number_schema, _, _, _, {some, _}, _}} ->
{constraint_types,
erlang:element(2, Acc),
erlang:element(3, Acc),
true,
erlang:element(5, Acc)};
{ok, {array_schema, _, _, {some, _}, _, _}} ->
{constraint_types,
erlang:element(2, Acc),
erlang:element(3, Acc),
erlang:element(4, Acc),
true};
{ok, {array_schema, _, _, _, {some, _}, _}} ->
{constraint_types,
erlang:element(2, Acc),
erlang:element(3, Acc),
erlang:element(4, Acc),
true};
{ok, {object_schema, _, Properties, _, _, _, _}} ->
_pipe = maps:to_list(Properties),
gleam@list:fold(
_pipe,
Acc,
fun(A, Prop) ->
{_, Prop_ref} = Prop,
collect_schema_constraint_types(A, Prop_ref, Ctx)
end
);
{ok, {all_of_schema, _, Schemas}} ->
gleam@list:fold(
Schemas,
Acc,
fun(A@1, S@1) ->
collect_schema_constraint_types(A@1, S@1, Ctx)
end
);
_ ->
Acc
end.
-file("src/oaspec/codegen/guards.gleam", 74).
?DOC(" Scan all schemas to find which constraint types are present.\n").
-spec collect_constraint_types(
list({binary(), oaspec@openapi@schema:schema_ref()}),
oaspec@codegen@context:context()
) -> constraint_types().
collect_constraint_types(Schemas, Ctx) ->
gleam@list:fold(
Schemas,
{constraint_types, false, false, false, false},
fun(Acc, Entry) ->
{_, Schema_ref} = Entry,
collect_schema_constraint_types(Acc, Schema_ref, Ctx)
end
).
-file("src/oaspec/codegen/guards.gleam", 516).
?DOC(" Build the guard function name from schema name, property name, and constraint type.\n").
-spec guard_function_name(binary(), binary(), binary()) -> binary().
guard_function_name(Schema_name, Prop_name, Constraint) ->
Base = oaspec@util@naming:to_snake_case(Schema_name),
case Prop_name of
<<""/utf8>> ->
<<<<<<"validate_"/utf8, Base/binary>>/binary, "_"/utf8>>/binary,
Constraint/binary>>;
_ ->
<<<<<<<<<<"validate_"/utf8, Base/binary>>/binary, "_"/utf8>>/binary,
(oaspec@util@naming:to_snake_case(Prop_name))/binary>>/binary,
"_"/utf8>>/binary,
Constraint/binary>>
end.
-file("src/oaspec/codegen/guards.gleam", 535).
?DOC(" Format a field label for documentation.\n").
-spec field_label(binary()) -> binary().
field_label(Prop_name) ->
case Prop_name of
<<""/utf8>> ->
<<""/utf8>>;
_ ->
<<"."/utf8, Prop_name/binary>>
end.
-file("src/oaspec/codegen/guards.gleam", 218).
?DOC(" Generate a string length validation guard.\n").
-spec generate_string_guard(
gleam@string_tree:string_tree(),
binary(),
binary(),
gleam@option:option(integer()),
gleam@option:option(integer())
) -> gleam@string_tree:string_tree().
generate_string_guard(Sb, Schema_name, Prop_name, Min_length, Max_length) ->
case {Min_length, Max_length} of
{none, none} ->
Sb;
{_, _} ->
Fn_name = guard_function_name(
Schema_name,
Prop_name,
<<"length"/utf8>>
),
Sb@1 = begin
_pipe = Sb,
oaspec@util@string_extra:line(
_pipe,
<<<<<<"/// Validate string length for "/utf8,
Schema_name/binary>>/binary,
(field_label(Prop_name))/binary>>/binary,
"."/utf8>>
)
end,
Sb@2 = begin
_pipe@1 = Sb@1,
oaspec@util@string_extra:line(
_pipe@1,
<<<<"pub fn "/utf8, Fn_name/binary>>/binary,
"(value: String) -> Result(String, String) {"/utf8>>
)
end,
Sb@3 = begin
_pipe@2 = Sb@2,
oaspec@util@string_extra:indent(
_pipe@2,
1,
<<"let len = string.length(value)"/utf8>>
)
end,
Sb@4 = case {Min_length, Max_length} of
{{some, Min}, {some, Max}} ->
_pipe@3 = Sb@3,
_pipe@4 = oaspec@util@string_extra:indent(
_pipe@3,
1,
<<<<"case len < "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
" {"/utf8>>
),
_pipe@5 = oaspec@util@string_extra:indent(
_pipe@4,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
" characters\")"/utf8>>
),
_pipe@6 = oaspec@util@string_extra:indent(
_pipe@5,
2,
<<"False ->"/utf8>>
),
_pipe@7 = oaspec@util@string_extra:indent(
_pipe@6,
3,
<<<<"case len > "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
" {"/utf8>>
),
_pipe@8 = oaspec@util@string_extra:indent(
_pipe@7,
4,
<<<<"True -> Error(\"must be at most "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
" characters\")"/utf8>>
),
_pipe@9 = oaspec@util@string_extra:indent(
_pipe@8,
4,
<<"False -> Ok(value)"/utf8>>
),
_pipe@10 = oaspec@util@string_extra:indent(
_pipe@9,
3,
<<"}"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@10, 1, <<"}"/utf8>>);
{{some, Min@1}, none} ->
_pipe@11 = Sb@3,
_pipe@12 = oaspec@util@string_extra:indent(
_pipe@11,
1,
<<<<"case len < "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@13 = oaspec@util@string_extra:indent(
_pipe@12,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
" characters\")"/utf8>>
),
_pipe@14 = oaspec@util@string_extra:indent(
_pipe@13,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@14, 1, <<"}"/utf8>>);
{none, {some, Max@1}} ->
_pipe@15 = Sb@3,
_pipe@16 = oaspec@util@string_extra:indent(
_pipe@15,
1,
<<<<"case len > "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@17 = oaspec@util@string_extra:indent(
_pipe@16,
2,
<<<<"True -> Error(\"must be at most "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
" characters\")"/utf8>>
),
_pipe@18 = oaspec@util@string_extra:indent(
_pipe@17,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@18, 1, <<"}"/utf8>>);
{none, none} ->
Sb@3
end,
_pipe@19 = Sb@4,
_pipe@20 = oaspec@util@string_extra:line(_pipe@19, <<"}"/utf8>>),
oaspec@util@string_extra:blank_line(_pipe@20)
end.
-file("src/oaspec/codegen/guards.gleam", 296).
?DOC(" Generate an integer range validation guard.\n").
-spec generate_integer_guard(
gleam@string_tree:string_tree(),
binary(),
binary(),
gleam@option:option(integer()),
gleam@option:option(integer())
) -> gleam@string_tree:string_tree().
generate_integer_guard(Sb, Schema_name, Prop_name, Minimum, Maximum) ->
case {Minimum, Maximum} of
{none, none} ->
Sb;
{_, _} ->
Fn_name = guard_function_name(
Schema_name,
Prop_name,
<<"range"/utf8>>
),
Sb@1 = begin
_pipe = Sb,
oaspec@util@string_extra:line(
_pipe,
<<<<<<"/// Validate integer range for "/utf8,
Schema_name/binary>>/binary,
(field_label(Prop_name))/binary>>/binary,
"."/utf8>>
)
end,
Sb@2 = begin
_pipe@1 = Sb@1,
oaspec@util@string_extra:line(
_pipe@1,
<<<<"pub fn "/utf8, Fn_name/binary>>/binary,
"(value: Int) -> Result(Int, String) {"/utf8>>
)
end,
Sb@3 = case {Minimum, Maximum} of
{{some, Min}, {some, Max}} ->
_pipe@2 = Sb@2,
_pipe@3 = oaspec@util@string_extra:indent(
_pipe@2,
1,
<<<<"case value < "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
" {"/utf8>>
),
_pipe@4 = oaspec@util@string_extra:indent(
_pipe@3,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
"\")"/utf8>>
),
_pipe@5 = oaspec@util@string_extra:indent(
_pipe@4,
2,
<<"False ->"/utf8>>
),
_pipe@6 = oaspec@util@string_extra:indent(
_pipe@5,
3,
<<<<"case value > "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
" {"/utf8>>
),
_pipe@7 = oaspec@util@string_extra:indent(
_pipe@6,
4,
<<<<"True -> Error(\"must be at most "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
"\")"/utf8>>
),
_pipe@8 = oaspec@util@string_extra:indent(
_pipe@7,
4,
<<"False -> Ok(value)"/utf8>>
),
_pipe@9 = oaspec@util@string_extra:indent(
_pipe@8,
3,
<<"}"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@9, 1, <<"}"/utf8>>);
{{some, Min@1}, none} ->
_pipe@10 = Sb@2,
_pipe@11 = oaspec@util@string_extra:indent(
_pipe@10,
1,
<<<<"case value < "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@12 = oaspec@util@string_extra:indent(
_pipe@11,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
"\")"/utf8>>
),
_pipe@13 = oaspec@util@string_extra:indent(
_pipe@12,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@13, 1, <<"}"/utf8>>);
{none, {some, Max@1}} ->
_pipe@14 = Sb@2,
_pipe@15 = oaspec@util@string_extra:indent(
_pipe@14,
1,
<<<<"case value > "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@16 = oaspec@util@string_extra:indent(
_pipe@15,
2,
<<<<"True -> Error(\"must be at most "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
"\")"/utf8>>
),
_pipe@17 = oaspec@util@string_extra:indent(
_pipe@16,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@17, 1, <<"}"/utf8>>);
{none, none} ->
Sb@2
end,
_pipe@18 = Sb@3,
_pipe@19 = oaspec@util@string_extra:line(_pipe@18, <<"}"/utf8>>),
oaspec@util@string_extra:blank_line(_pipe@19)
end.
-file("src/oaspec/codegen/guards.gleam", 365).
?DOC(" Generate a float range validation guard.\n").
-spec generate_float_guard(
gleam@string_tree:string_tree(),
binary(),
binary(),
gleam@option:option(float()),
gleam@option:option(float())
) -> gleam@string_tree:string_tree().
generate_float_guard(Sb, Schema_name, Prop_name, Minimum, Maximum) ->
case {Minimum, Maximum} of
{none, none} ->
Sb;
{_, _} ->
Fn_name = guard_function_name(
Schema_name,
Prop_name,
<<"range"/utf8>>
),
Sb@1 = begin
_pipe = Sb,
oaspec@util@string_extra:line(
_pipe,
<<<<<<"/// Validate float range for "/utf8,
Schema_name/binary>>/binary,
(field_label(Prop_name))/binary>>/binary,
"."/utf8>>
)
end,
Sb@2 = begin
_pipe@1 = Sb@1,
oaspec@util@string_extra:line(
_pipe@1,
<<<<"pub fn "/utf8, Fn_name/binary>>/binary,
"(value: Float) -> Result(Float, String) {"/utf8>>
)
end,
Sb@3 = case {Minimum, Maximum} of
{{some, Min}, {some, Max}} ->
_pipe@2 = Sb@2,
_pipe@3 = oaspec@util@string_extra:indent(
_pipe@2,
1,
<<<<"case value <. "/utf8,
(gleam_stdlib:float_to_string(Min))/binary>>/binary,
" {"/utf8>>
),
_pipe@4 = oaspec@util@string_extra:indent(
_pipe@3,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(gleam_stdlib:float_to_string(Min))/binary>>/binary,
"\")"/utf8>>
),
_pipe@5 = oaspec@util@string_extra:indent(
_pipe@4,
2,
<<"False ->"/utf8>>
),
_pipe@6 = oaspec@util@string_extra:indent(
_pipe@5,
3,
<<<<"case value >. "/utf8,
(gleam_stdlib:float_to_string(Max))/binary>>/binary,
" {"/utf8>>
),
_pipe@7 = oaspec@util@string_extra:indent(
_pipe@6,
4,
<<<<"True -> Error(\"must be at most "/utf8,
(gleam_stdlib:float_to_string(Max))/binary>>/binary,
"\")"/utf8>>
),
_pipe@8 = oaspec@util@string_extra:indent(
_pipe@7,
4,
<<"False -> Ok(value)"/utf8>>
),
_pipe@9 = oaspec@util@string_extra:indent(
_pipe@8,
3,
<<"}"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@9, 1, <<"}"/utf8>>);
{{some, Min@1}, none} ->
_pipe@10 = Sb@2,
_pipe@11 = oaspec@util@string_extra:indent(
_pipe@10,
1,
<<<<"case value <. "/utf8,
(gleam_stdlib:float_to_string(Min@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@12 = oaspec@util@string_extra:indent(
_pipe@11,
2,
<<<<"True -> Error(\"must be at least "/utf8,
(gleam_stdlib:float_to_string(Min@1))/binary>>/binary,
"\")"/utf8>>
),
_pipe@13 = oaspec@util@string_extra:indent(
_pipe@12,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@13, 1, <<"}"/utf8>>);
{none, {some, Max@1}} ->
_pipe@14 = Sb@2,
_pipe@15 = oaspec@util@string_extra:indent(
_pipe@14,
1,
<<<<"case value >. "/utf8,
(gleam_stdlib:float_to_string(Max@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@16 = oaspec@util@string_extra:indent(
_pipe@15,
2,
<<<<"True -> Error(\"must be at most "/utf8,
(gleam_stdlib:float_to_string(Max@1))/binary>>/binary,
"\")"/utf8>>
),
_pipe@17 = oaspec@util@string_extra:indent(
_pipe@16,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@17, 1, <<"}"/utf8>>);
{none, none} ->
Sb@2
end,
_pipe@18 = Sb@3,
_pipe@19 = oaspec@util@string_extra:line(_pipe@18, <<"}"/utf8>>),
oaspec@util@string_extra:blank_line(_pipe@19)
end.
-file("src/oaspec/codegen/guards.gleam", 434).
?DOC(" Generate a list length validation guard.\n").
-spec generate_list_guard(
gleam@string_tree:string_tree(),
binary(),
binary(),
gleam@option:option(integer()),
gleam@option:option(integer())
) -> gleam@string_tree:string_tree().
generate_list_guard(Sb, Schema_name, Prop_name, Min_items, Max_items) ->
case {Min_items, Max_items} of
{none, none} ->
Sb;
{_, _} ->
Fn_name = guard_function_name(
Schema_name,
Prop_name,
<<"length"/utf8>>
),
Sb@1 = begin
_pipe = Sb,
oaspec@util@string_extra:line(
_pipe,
<<<<<<"/// Validate list length for "/utf8,
Schema_name/binary>>/binary,
(field_label(Prop_name))/binary>>/binary,
"."/utf8>>
)
end,
Sb@2 = begin
_pipe@1 = Sb@1,
oaspec@util@string_extra:line(
_pipe@1,
<<<<"pub fn "/utf8, Fn_name/binary>>/binary,
"(value: List(a)) -> Result(List(a), String) {"/utf8>>
)
end,
Sb@3 = begin
_pipe@2 = Sb@2,
oaspec@util@string_extra:indent(
_pipe@2,
1,
<<"let len = list.length(value)"/utf8>>
)
end,
Sb@4 = case {Min_items, Max_items} of
{{some, Min}, {some, Max}} ->
_pipe@3 = Sb@3,
_pipe@4 = oaspec@util@string_extra:indent(
_pipe@3,
1,
<<<<"case len < "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
" {"/utf8>>
),
_pipe@5 = oaspec@util@string_extra:indent(
_pipe@4,
2,
<<<<"True -> Error(\"must have at least "/utf8,
(erlang:integer_to_binary(Min))/binary>>/binary,
" items\")"/utf8>>
),
_pipe@6 = oaspec@util@string_extra:indent(
_pipe@5,
2,
<<"False ->"/utf8>>
),
_pipe@7 = oaspec@util@string_extra:indent(
_pipe@6,
3,
<<<<"case len > "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
" {"/utf8>>
),
_pipe@8 = oaspec@util@string_extra:indent(
_pipe@7,
4,
<<<<"True -> Error(\"must have at most "/utf8,
(erlang:integer_to_binary(Max))/binary>>/binary,
" items\")"/utf8>>
),
_pipe@9 = oaspec@util@string_extra:indent(
_pipe@8,
4,
<<"False -> Ok(value)"/utf8>>
),
_pipe@10 = oaspec@util@string_extra:indent(
_pipe@9,
3,
<<"}"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@10, 1, <<"}"/utf8>>);
{{some, Min@1}, none} ->
_pipe@11 = Sb@3,
_pipe@12 = oaspec@util@string_extra:indent(
_pipe@11,
1,
<<<<"case len < "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@13 = oaspec@util@string_extra:indent(
_pipe@12,
2,
<<<<"True -> Error(\"must have at least "/utf8,
(erlang:integer_to_binary(Min@1))/binary>>/binary,
" items\")"/utf8>>
),
_pipe@14 = oaspec@util@string_extra:indent(
_pipe@13,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@14, 1, <<"}"/utf8>>);
{none, {some, Max@1}} ->
_pipe@15 = Sb@3,
_pipe@16 = oaspec@util@string_extra:indent(
_pipe@15,
1,
<<<<"case len > "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
" {"/utf8>>
),
_pipe@17 = oaspec@util@string_extra:indent(
_pipe@16,
2,
<<<<"True -> Error(\"must have at most "/utf8,
(erlang:integer_to_binary(Max@1))/binary>>/binary,
" items\")"/utf8>>
),
_pipe@18 = oaspec@util@string_extra:indent(
_pipe@17,
2,
<<"False -> Ok(value)"/utf8>>
),
oaspec@util@string_extra:indent(_pipe@18, 1, <<"}"/utf8>>);
{none, none} ->
Sb@3
end,
_pipe@19 = Sb@4,
_pipe@20 = oaspec@util@string_extra:line(_pipe@19, <<"}"/utf8>>),
oaspec@util@string_extra:blank_line(_pipe@20)
end.
-file("src/oaspec/codegen/guards.gleam", 193).
?DOC(" Generate a guard for a specific field based on its schema type and constraints.\n").
-spec generate_field_guard(
gleam@string_tree:string_tree(),
binary(),
binary(),
oaspec@openapi@schema:schema_ref(),
oaspec@codegen@context:context()
) -> gleam@string_tree:string_tree().
generate_field_guard(Sb, Schema_name, Prop_name, Prop_ref, Ctx) ->
Resolved = case Prop_ref of
{inline, Schema} ->
{ok, Schema};
{reference, _} ->
oaspec@openapi@resolver:resolve_schema_ref(
Prop_ref,
erlang:element(2, Ctx)
)
end,
case Resolved of
{ok, {string_schema, _, _, _, Min_length, Max_length, _, _}} ->
generate_string_guard(
Sb,
Schema_name,
Prop_name,
Min_length,
Max_length
);
{ok, {integer_schema, _, _, Minimum, Maximum, _}} ->
generate_integer_guard(Sb, Schema_name, Prop_name, Minimum, Maximum);
{ok, {number_schema, _, _, Minimum@1, Maximum@1, _}} ->
generate_float_guard(
Sb,
Schema_name,
Prop_name,
Minimum@1,
Maximum@1
);
{ok, {array_schema, _, _, Min_items, Max_items, _}} ->
generate_list_guard(
Sb,
Schema_name,
Prop_name,
Min_items,
Max_items
);
_ ->
Sb
end.
-file("src/oaspec/codegen/guards.gleam", 146).
?DOC(" Generate guard functions for fields within a schema object.\n").
-spec generate_guards_for_schema_object(
gleam@string_tree:string_tree(),
binary(),
oaspec@openapi@schema:schema_object(),
oaspec@codegen@context:context()
) -> gleam@string_tree:string_tree().
generate_guards_for_schema_object(Sb, Name, Schema, Ctx) ->
case Schema of
{object_schema, _, Properties, _, _, _, _} ->
Props = maps:to_list(Properties),
gleam@list:fold(
Props,
Sb,
fun(Sb@1, Entry) ->
{Prop_name, Prop_ref} = Entry,
generate_field_guard(Sb@1, Name, Prop_name, Prop_ref, Ctx)
end
);
{all_of_schema, _, Schemas} ->
Merged_props = gleam@list:fold(
Schemas,
maps:new(),
fun(Acc, S_ref) -> case S_ref of
{inline, {object_schema, _, Properties@1, _, _, _, _}} ->
maps:merge(Acc, Properties@1);
{reference, _} ->
case oaspec@openapi@resolver:resolve_schema_ref(
S_ref,
erlang:element(2, Ctx)
) of
{ok,
{object_schema, _, Properties@2, _, _, _, _}} ->
maps:merge(Acc, Properties@2);
_ ->
Acc
end;
_ ->
Acc
end end
),
Props@1 = maps:to_list(Merged_props),
gleam@list:fold(
Props@1,
Sb,
fun(Sb@2, Entry@1) ->
{Prop_name@1, Prop_ref@1} = Entry@1,
generate_field_guard(
Sb@2,
Name,
Prop_name@1,
Prop_ref@1,
Ctx
)
end
);
{string_schema, _, _, _, Min_length, Max_length, _, _} ->
generate_string_guard(Sb, Name, <<""/utf8>>, Min_length, Max_length);
{integer_schema, _, _, Minimum, Maximum, _} ->
generate_integer_guard(Sb, Name, <<""/utf8>>, Minimum, Maximum);
{number_schema, _, _, Minimum@1, Maximum@1, _} ->
generate_float_guard(Sb, Name, <<""/utf8>>, Minimum@1, Maximum@1);
{array_schema, _, _, Min_items, Max_items, _} ->
generate_list_guard(Sb, Name, <<""/utf8>>, Min_items, Max_items);
_ ->
Sb
end.
-file("src/oaspec/codegen/guards.gleam", 126).
?DOC(" Generate guard functions for a single schema's constrained fields.\n").
-spec generate_guards_for_schema(
gleam@string_tree:string_tree(),
binary(),
oaspec@openapi@schema:schema_ref(),
oaspec@codegen@context:context()
) -> gleam@string_tree:string_tree().
generate_guards_for_schema(Sb, Name, Schema_ref, Ctx) ->
case Schema_ref of
{inline, Schema} ->
generate_guards_for_schema_object(Sb, Name, Schema, Ctx);
{reference, Ref} ->
Resolved_name = oaspec@openapi@resolver:ref_to_name(Ref),
case oaspec@openapi@resolver:resolve_schema_ref(
Schema_ref,
erlang:element(2, Ctx)
) of
{ok, Schema@1} ->
generate_guards_for_schema_object(
Sb,
Resolved_name,
Schema@1,
Ctx
);
_ ->
Sb
end
end.
-file("src/oaspec/codegen/guards.gleam", 26).
?DOC(" Generate validation guard functions for schemas with constraints.\n").
-spec generate_guards(oaspec@codegen@context:context()) -> binary().
generate_guards(Ctx) ->
Schemas = case erlang:element(5, erlang:element(2, Ctx)) of
{some, Components} ->
gleam@list:sort(
maps:to_list(erlang:element(2, Components)),
fun(A, B) ->
gleam@string:compare(
erlang:element(1, A),
erlang:element(1, B)
)
end
);
none ->
[]
end,
Constraint_types = collect_constraint_types(Schemas, Ctx),
Imports = [],
Imports@1 = case erlang:element(2, Constraint_types) of
true ->
[<<"gleam/string"/utf8>> | Imports];
false ->
Imports
end,
Imports@2 = case erlang:element(5, Constraint_types) of
true ->
[<<"gleam/list"/utf8>> | Imports@1];
false ->
Imports@1
end,
Sb = begin
_pipe = oaspec@util@string_extra:file_header(<<"0.4.0"/utf8>>),
oaspec@util@string_extra:imports(_pipe, Imports@2)
end,
Sb@2 = gleam@list:fold(
Schemas,
Sb,
fun(Sb@1, Entry) ->
{Name, Schema_ref} = Entry,
generate_guards_for_schema(Sb@1, Name, Schema_ref, Ctx)
end
),
oaspec@util@string_extra:to_string(Sb@2).
-file("src/oaspec/codegen/guards.gleam", 17).
?DOC(" Generate guard/validation functions from OpenAPI schemas that have constraints.\n").
-spec generate(oaspec@codegen@context:context()) -> list(oaspec@codegen@context:generated_file()).
generate(Ctx) ->
Content = generate_guards(Ctx),
case gleam_stdlib:contains_string(Content, <<"pub fn validate_"/utf8>>) of
true ->
[{generated_file, <<"guards.gleam"/utf8>>, Content}];
false ->
[]
end.