Annotation of OpenXM_contrib/PHC/Ada/Schubert/localization_posets_io.adb, Revision 1.1
1.1 ! maekawa 1: with integer_io; use integer_io;
! 2: with Brackets_io; use Brackets_io;
! 3: with Standard_Natural_Vectors; use Standard_Natural_Vectors;
! 4: with Standard_Natural_Vectors_io; use Standard_Natural_Vectors_io;
! 5:
! 6: package body Localization_Posets_io is
! 7:
! 8: procedure put ( top,bottom : in Bracket; roco : in natural ) is
! 9: begin
! 10: put(Standard_Output,top,bottom,roco);
! 11: end put;
! 12:
! 13: procedure put ( file : in file_type;
! 14: top,bottom : in Bracket; roco : in natural ) is
! 15: begin
! 16: put(file,"("); put(file,top);
! 17: put(file,","); put(file,bottom); put(file,","); put(file,roco,1);
! 18: put(file,")");
! 19: end put;
! 20:
! 21: procedure put ( file : in file_type;
! 22: top,bottom : in Bracket; roco,label : in natural;
! 23: child_labels : in Link_to_Vector ) is
! 24: begin
! 25: put(file,"("); put(file,label,1); put(file,",");
! 26: put(file,top); put(file,",");
! 27: put(file,bottom); put(file,","); put(file,roco,1);
! 28: put(file,",{");
! 29: if child_labels /= null
! 30: then put(file,child_labels.all);
! 31: end if;
! 32: put(file,"}");
! 33: put(file,")");
! 34: end put;
! 35:
! 36: procedure put ( root : in Node; lvl : in natural ) is
! 37: begin
! 38: put(Standard_Output,root,lvl);
! 39: end put;
! 40:
! 41: procedure put ( file : in file_type; root : in Node; lvl : in natural ) is
! 42:
! 43: lroot : Link_to_Node := new Node'(root);
! 44: lvlnd : Link_to_Node := Find_Node(lroot,lvl);
! 45:
! 46: procedure Write_Node ( nd : in Node; continue : out boolean ) is
! 47: begin
! 48: put(file,nd.top,nd.bottom,nd.roco);
! 49: continue := true;
! 50: end Write_Node;
! 51: procedure Write_Siblings is new Enumerate_Siblings(Write_Node);
! 52:
! 53: begin
! 54: if lvlnd /= null
! 55: then Write_Siblings(lvlnd.all);
! 56: end if;
! 57: end put;
! 58:
! 59: procedure put ( poset : in Node ) is
! 60: begin
! 61: put(Standard_Output,poset);
! 62: end put;
! 63:
! 64: procedure put ( file : in file_type; poset : in Node ) is
! 65:
! 66: np : natural;
! 67:
! 68: begin
! 69: if poset.level < 10
! 70: then np := 1;
! 71: else np := 2;
! 72: end if;
! 73: for i in 0..poset.level loop
! 74: put(file,"n = "); put(file,i,np); put(file," : ");
! 75: put(file,poset,i); new_line(file);
! 76: end loop;
! 77: end put;
! 78:
! 79: procedure put ( poset : in Array_of_Nodes ) is
! 80: begin
! 81: put(Standard_Output,poset);
! 82: end put;
! 83:
! 84: procedure put ( file : in file_type; poset : in Array_of_Nodes ) is
! 85:
! 86: np : natural;
! 87:
! 88: procedure Write_Node ( nd : in Node; continue : out boolean ) is
! 89: begin
! 90: put(file,nd.top,nd.bottom,nd.roco);
! 91: continue := true;
! 92: end Write_Node;
! 93: procedure Write_Siblings is new Enumerate_Siblings(Write_Node);
! 94:
! 95: begin
! 96: if poset'last < 10
! 97: then np := 1;
! 98: else np := 2;
! 99: end if;
! 100: for i in poset'range loop
! 101: put(file,"n = "); put(file,i,np); put(file," : ");
! 102: -- put(file,"l = "); put(file,Number_of_Siblings(poset(i)),np);
! 103: -- put(file," : ");
! 104: if poset(i) /= null
! 105: then Write_Siblings(poset(i).all);
! 106: end if;
! 107: new_line(file);
! 108: end loop;
! 109: end put;
! 110:
! 111: procedure put ( poset : in Array_of_Array_of_Nodes ) is
! 112: begin
! 113: put(Standard_Output,poset);
! 114: end put;
! 115:
! 116: procedure put ( file : in file_type; poset : in Array_of_Array_of_Nodes ) is
! 117:
! 118: np : natural;
! 119: lnd : Link_to_Node;
! 120:
! 121: begin
! 122: if poset'last < 10
! 123: then np := 1;
! 124: else np := 2;
! 125: end if;
! 126: for i in poset'range loop
! 127: put(file,"n = "); put(file,i,np); put(file," : ");
! 128: if poset(i) /= null
! 129: then for j in poset(i)'range loop
! 130: lnd := poset(i)(j);
! 131: put(file,lnd.top,lnd.bottom,lnd.roco,lnd.label,lnd.child_labels);
! 132: end loop;
! 133: end if;
! 134: new_line(file);
! 135: end loop;
! 136: end put;
! 137:
! 138: procedure put_roco ( poset : in Array_of_Array_of_Nodes ) is
! 139: begin
! 140: put_roco(Standard_Output,poset);
! 141: end put_roco;
! 142:
! 143: procedure put_roco
! 144: ( file : in file_type; poset : in Array_of_Array_of_Nodes ) is
! 145:
! 146: np : natural;
! 147: lnd : Link_to_Node;
! 148:
! 149: begin
! 150: if poset'last < 10
! 151: then np := 1;
! 152: else np := 2;
! 153: end if;
! 154: for i in poset'range loop
! 155: put(file,"n = "); put(file,i,np); put(file," : ");
! 156: if poset(i) /= null
! 157: then for j in poset(i)'range loop
! 158: lnd := poset(i)(j);
! 159: if lnd = null
! 160: then put(file," 0");
! 161: else put(file," "); put(file,lnd.roco,1);
! 162: end if;
! 163: end loop;
! 164: end if;
! 165: new_line(file);
! 166: end loop;
! 167: end put_roco;
! 168:
! 169: end Localization_Posets_io;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to localization_posets_io.adb CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / PHC / Ada / Schubert