Compare commits
3 Commits
main
...
fix-links-
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
c26c69b476 | ||
|
|
24bdb39d40 | ||
|
|
da63b5cc67 |
|
|
@ -38,6 +38,9 @@ procedure Aqs2mdx is
|
|||
Wikibook : constant League.Strings.Universal_String :=
|
||||
+"https://en.wikibooks.org/wiki/";
|
||||
|
||||
ClassName : constant League.Strings.Universal_String :=
|
||||
+"className";
|
||||
|
||||
---------------
|
||||
-- Read_JSON --
|
||||
---------------
|
||||
|
|
@ -142,10 +145,10 @@ procedure Aqs2mdx is
|
|||
Columns_Div : Pandoc.Content_Arr (1 .. Cell_List.Length);
|
||||
|
||||
Outer_Attr : constant League.JSON.Values.JSON_Value :=
|
||||
Pandoc.Attr (+"className", +"multi-column");
|
||||
Pandoc.Attr (ClassName, +"multi-column");
|
||||
|
||||
Inner_Attr : constant League.JSON.Values.JSON_Value :=
|
||||
Pandoc.Attr (+"className", +"multi-column-child");
|
||||
Pandoc.Attr (ClassName, +"multi-column-child");
|
||||
|
||||
begin
|
||||
pragma Assert (Content.Length = 6);
|
||||
|
|
@ -209,6 +212,58 @@ procedure Aqs2mdx is
|
|||
return List;
|
||||
end Traverse_Block;
|
||||
|
||||
function Fix_Wikilink (Target : League.Strings.Universal_String) return
|
||||
League.Strings.Universal_String
|
||||
is
|
||||
begin
|
||||
if Target.Starts_With ("w:") then
|
||||
return Wiki & Target.Tail_From (3);
|
||||
else
|
||||
return Wikibook & Target;
|
||||
end if;
|
||||
end Fix_Wikilink;
|
||||
|
||||
function Is_Direct_URL (Content : League.JSON.Arrays.JSON_Array) return
|
||||
Boolean
|
||||
is
|
||||
Alt_List : constant League.JSON.Arrays.JSON_Array :=
|
||||
Content (2).To_Array;
|
||||
Target_Tuple : constant League.JSON.Arrays.JSON_Array :=
|
||||
Content (3).To_Array;
|
||||
Target : constant League.Strings.Universal_String :=
|
||||
Target_Tuple (1).To_String;
|
||||
begin
|
||||
if Alt_List.Length /= 1 then
|
||||
return False;
|
||||
else
|
||||
declare
|
||||
Alt_Text_Object : constant League.JSON.Objects.JSON_Object :=
|
||||
Alt_List (1).To_Object;
|
||||
Alt_Text : constant League.Strings.Universal_String :=
|
||||
Alt_Text_Object (Pandoc.Content_String).To_String;
|
||||
begin
|
||||
return Alt_Text = Target;
|
||||
end;
|
||||
end if;
|
||||
end Is_Direct_URL;
|
||||
|
||||
function Create_String (Data : League.Strings.Universal_String) return
|
||||
League.JSON.Values.JSON_Value
|
||||
is
|
||||
Block : League.JSON.Objects.JSON_Object;
|
||||
begin
|
||||
Block.Insert (
|
||||
Pandoc.Type_String,
|
||||
League.JSON.Values.To_JSON_Value (Pandoc.To_String (Inline_String))
|
||||
);
|
||||
Block.Insert (
|
||||
Pandoc.Content_String,
|
||||
League.JSON.Values.To_JSON_Value (Data)
|
||||
);
|
||||
|
||||
return Block.To_JSON_Value;
|
||||
end Create_String;
|
||||
|
||||
-------------------
|
||||
-- Traverse_Link --
|
||||
-------------------
|
||||
|
|
@ -218,20 +273,25 @@ procedure Aqs2mdx is
|
|||
is
|
||||
Copy : League.JSON.Objects.JSON_Object := Block;
|
||||
Args : League.JSON.Arrays.JSON_Array := Copy (+"c").To_Array;
|
||||
Fix : League.JSON.Arrays.JSON_Array := Args (3).To_Array;
|
||||
Link : League.Strings.Universal_String := Fix (1).To_String;
|
||||
Link : League.JSON.Arrays.JSON_Array := Args (3).To_Array;
|
||||
Target : constant League.Strings.Universal_String := Link (1).To_String;
|
||||
Title : constant League.Strings.Universal_String := Link (2).To_String;
|
||||
begin
|
||||
if Fix (2).To_String.To_Wide_Wide_String = "wikilink" then
|
||||
if Link.Starts_With ("w:") then
|
||||
Link := Wiki & Link.Tail_From (3);
|
||||
else
|
||||
Link := Wikibook & Link;
|
||||
end if;
|
||||
|
||||
Fix.Replace (1, League.JSON.Values.To_JSON_Value (Link));
|
||||
Fix.Replace (2, League.JSON.Values.To_JSON_Value (+""));
|
||||
Args.Replace (3, Fix.To_JSON_Value);
|
||||
Copy.Insert (+"c", Args.To_JSON_Value);
|
||||
if Title = +"wikilink" then
|
||||
if Is_Direct_URL (Args) then
|
||||
return Create_String (Fix_Wikilink (Target));
|
||||
else
|
||||
Link.Replace (1, League.JSON.Values.To_JSON_Value (
|
||||
Fix_Wikilink (Target)));
|
||||
Link.Replace (2, League.JSON.Values.To_JSON_Value (+""));
|
||||
Args.Replace (3, Link.To_JSON_Value);
|
||||
Copy.Insert (Pandoc.Content_String, Args.To_JSON_Value);
|
||||
end if;
|
||||
else
|
||||
if Is_Direct_URL (Args) then
|
||||
return Create_String (Target);
|
||||
end if;
|
||||
end if;
|
||||
|
||||
return Copy.To_JSON_Value;
|
||||
|
|
|
|||
|
|
@ -50,7 +50,7 @@ package body Pandoc is
|
|||
Block.Insert (
|
||||
Type_String,
|
||||
League.JSON.Values.To_JSON_Value (
|
||||
Obj_String_Representation (Block_Div)
|
||||
To_String (Block_Div)
|
||||
)
|
||||
);
|
||||
|
||||
|
|
@ -80,7 +80,7 @@ package body Pandoc is
|
|||
Block.Insert (
|
||||
Type_String,
|
||||
League.JSON.Values.To_JSON_Value (
|
||||
Obj_String_Representation (Block_Div)
|
||||
To_String (Block_Div)
|
||||
)
|
||||
);
|
||||
|
||||
|
|
@ -98,12 +98,15 @@ package body Pandoc is
|
|||
function Get_Type (B : League.JSON.Objects.JSON_Object)
|
||||
return Object_Type is (Type_Mapping (B (Type_String).To_String));
|
||||
|
||||
function To_String (T : Object_Type) return League.Strings.Universal_String
|
||||
is (Obj_String_Representation (T));
|
||||
|
||||
begin
|
||||
|
||||
for Key in Object_Type loop
|
||||
declare
|
||||
Str_Rep : constant League.Strings.Universal_String :=
|
||||
Obj_String_Representation (Key);
|
||||
To_String (Key);
|
||||
begin
|
||||
Type_Mapping.Insert (Str_Rep, Key);
|
||||
end;
|
||||
|
|
|
|||
|
|
@ -51,6 +51,8 @@ package Pandoc is
|
|||
|
||||
function Get_Type (B : League.JSON.Objects.JSON_Object) return Object_Type;
|
||||
|
||||
function To_String (T : Object_Type) return League.Strings.Universal_String;
|
||||
|
||||
function "+" (T : Wide_Wide_String) return League.Strings.Universal_String
|
||||
renames League.Strings.To_Universal_String;
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user