From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Aug 2007 05:14:52 +0000 Subject: Initial population. --- src/hyper/pages/ALIST.pht | 173 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 173 insertions(+) create mode 100644 src/hyper/pages/ALIST.pht (limited to 'src/hyper/pages/ALIST.pht') diff --git a/src/hyper/pages/ALIST.pht b/src/hyper/pages/ALIST.pht new file mode 100644 index 00000000..3cf6ce88 --- /dev/null +++ b/src/hyper/pages/ALIST.pht @@ -0,0 +1,173 @@ +\begin{patch}{AssociationListXmpPagePatch1} +\begin{paste}{AssociationListXmpPageFull1}{AssociationListXmpPageEmpty1} +\pastebutton{AssociationListXmpPageFull1}{\hidepaste} +\tab{5}\spadcommand{Data := Record(monthsOld : Integer, gender : String)\bound{Data }} +\indentrel{3}\begin{verbatim} + (1) Record(monthsOld: Integer,gender: String) + Type: Domain +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty1} +\begin{paste}{AssociationListXmpPageEmpty1}{AssociationListXmpPagePatch1} +\pastebutton{AssociationListXmpPageEmpty1}{\showpaste} +\tab{5}\spadcommand{Data := Record(monthsOld : Integer, gender : String)\bound{Data }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch2} +\begin{paste}{AssociationListXmpPageFull2}{AssociationListXmpPageEmpty2} +\pastebutton{AssociationListXmpPageFull2}{\hidepaste} +\tab{5}\spadcommand{al : AssociationList(String,Data)\free{Data }\bound{al }} +\indentrel{3}\begin{verbatim} + Type: Void +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty2} +\begin{paste}{AssociationListXmpPageEmpty2}{AssociationListXmpPagePatch2} +\pastebutton{AssociationListXmpPageEmpty2}{\showpaste} +\tab{5}\spadcommand{al : AssociationList(String,Data)\free{Data }\bound{al }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch3} +\begin{paste}{AssociationListXmpPageFull3}{AssociationListXmpPageEmpty3} +\pastebutton{AssociationListXmpPageFull3}{\hidepaste} +\tab{5}\spadcommand{al := table()\free{al }\bound{al1 }} +\indentrel{3}\begin{verbatim} + (3) table() +Type: AssociationList(String,Record(monthsOld: Integer,gender: String)) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty3} +\begin{paste}{AssociationListXmpPageEmpty3}{AssociationListXmpPagePatch3} +\pastebutton{AssociationListXmpPageEmpty3}{\showpaste} +\tab{5}\spadcommand{al := table()\free{al }\bound{al1 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch4} +\begin{paste}{AssociationListXmpPageFull4}{AssociationListXmpPageEmpty4} +\pastebutton{AssociationListXmpPageFull4}{\hidepaste} +\tab{5}\spadcommand{al."bob" := [407,"male"]$Data\free{al1 }\bound{al2 }} +\indentrel{3}\begin{verbatim} + (4) [monthsOld= 407,gender= "male"] + Type: Record(monthsOld: Integer,gender: String) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty4} +\begin{paste}{AssociationListXmpPageEmpty4}{AssociationListXmpPagePatch4} +\pastebutton{AssociationListXmpPageEmpty4}{\showpaste} +\tab{5}\spadcommand{al."bob" := [407,"male"]$Data\free{al1 }\bound{al2 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch5} +\begin{paste}{AssociationListXmpPageFull5}{AssociationListXmpPageEmpty5} +\pastebutton{AssociationListXmpPageFull5}{\hidepaste} +\tab{5}\spadcommand{al."judith" := [366,"female"]$Data\free{al2 }\bound{al3 }} +\indentrel{3}\begin{verbatim} + (5) [monthsOld= 366,gender= "female"] + Type: Record(monthsOld: Integer,gender: String) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty5} +\begin{paste}{AssociationListXmpPageEmpty5}{AssociationListXmpPagePatch5} +\pastebutton{AssociationListXmpPageEmpty5}{\showpaste} +\tab{5}\spadcommand{al."judith" := [366,"female"]$Data\free{al2 }\bound{al3 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch6} +\begin{paste}{AssociationListXmpPageFull6}{AssociationListXmpPageEmpty6} +\pastebutton{AssociationListXmpPageFull6}{\hidepaste} +\tab{5}\spadcommand{al."katie" := [24,"female"]$Data\free{al3 }\bound{al4 }} +\indentrel{3}\begin{verbatim} + (6) [monthsOld= 24,gender= "female"] + Type: Record(monthsOld: Integer,gender: String) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty6} +\begin{paste}{AssociationListXmpPageEmpty6}{AssociationListXmpPagePatch6} +\pastebutton{AssociationListXmpPageEmpty6}{\showpaste} +\tab{5}\spadcommand{al."katie" := [24,"female"]$Data\free{al3 }\bound{al4 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch7} +\begin{paste}{AssociationListXmpPageFull7}{AssociationListXmpPageEmpty7} +\pastebutton{AssociationListXmpPageFull7}{\hidepaste} +\tab{5}\spadcommand{al."smokie" := [200,"female"]$Data\free{al4 }\bound{al5 }} +\indentrel{3}\begin{verbatim} + (7) [monthsOld= 200,gender= "female"] + Type: Record(monthsOld: Integer,gender: String) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty7} +\begin{paste}{AssociationListXmpPageEmpty7}{AssociationListXmpPagePatch7} +\pastebutton{AssociationListXmpPageEmpty7}{\showpaste} +\tab{5}\spadcommand{al."smokie" := [200,"female"]$Data\free{al4 }\bound{al5 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch8} +\begin{paste}{AssociationListXmpPageFull8}{AssociationListXmpPageEmpty8} +\pastebutton{AssociationListXmpPageFull8}{\hidepaste} +\tab{5}\spadcommand{al\free{al5 }} +\indentrel{3}\begin{verbatim} + (8) + table + "smokie"= [monthsOld= 200,gender= "female"] + , + "katie"= [monthsOld= 24,gender= "female"] + , + "judith"= [monthsOld= 366,gender= "female"] + , + "bob"= [monthsOld= 407,gender= "male"] +Type: AssociationList(String,Record(monthsOld: Integer,gender: String)) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty8} +\begin{paste}{AssociationListXmpPageEmpty8}{AssociationListXmpPagePatch8} +\pastebutton{AssociationListXmpPageEmpty8}{\showpaste} +\tab{5}\spadcommand{al\free{al5 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch9} +\begin{paste}{AssociationListXmpPageFull9}{AssociationListXmpPageEmpty9} +\pastebutton{AssociationListXmpPageFull9}{\hidepaste} +\tab{5}\spadcommand{al."katie" := [23,"female"]$Data\free{al5 }\bound{al6 }} +\indentrel{3}\begin{verbatim} + (9) [monthsOld= 23,gender= "female"] + Type: Record(monthsOld: Integer,gender: String) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty9} +\begin{paste}{AssociationListXmpPageEmpty9}{AssociationListXmpPagePatch9} +\pastebutton{AssociationListXmpPageEmpty9}{\showpaste} +\tab{5}\spadcommand{al."katie" := [23,"female"]$Data\free{al5 }\bound{al6 }} +\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPagePatch10} +\begin{paste}{AssociationListXmpPageFull10}{AssociationListXmpPageEmpty10} +\pastebutton{AssociationListXmpPageFull10}{\hidepaste} +\tab{5}\spadcommand{delete!(al,1)\free{al6 }\bound{al7 }} +\indentrel{3}\begin{verbatim} + (10) + table + "katie"= [monthsOld= 23,gender= "female"] + , + "judith"= [monthsOld= 366,gender= "female"] + , + "bob"= [monthsOld= 407,gender= "male"] +Type: AssociationList(String,Record(monthsOld: Integer,gender: String)) +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{AssociationListXmpPageEmpty10} +\begin{paste}{AssociationListXmpPageEmpty10}{AssociationListXmpPagePatch10} +\pastebutton{AssociationListXmpPageEmpty10}{\showpaste} +\tab{5}\spadcommand{delete!(al,1)\free{al6 }\bound{al7 }} +\end{paste}\end{patch} + -- cgit v1.2.3