indexing description: "Objects that factorize specific code used for building HTML pages" author: "Marco Piccioni" date: "$Date$" revision: "$Revision 0.3.1$" class HTML_DELEGATE inherit APPLICATION_CONSTANTS feature -- Access countries: ARRAY[STRING] --the United Nations countries array contact_roles: ARRAY[STRING] --the contact roles array days: ARRAY[STRING] --the days array months: ARRAY[STRING] --the months array years: ARRAY[STRING] --the years array feature --html page factory methods get_meta_tag:STRING --meta tag do Result:="%N" end get_css:STRING --css do Result:="%N" end get_logo:STRING --logo do Result:="%"%"" end get_common_header:STRING --header common to all pages do Result:="

The Computer Science Event List

" Result.append("

A service of Informatics Europe

") end get_footer:STRING --hyperlink and info do Result:="

Informatics Europe:
" Result.append(" The Research and Education Organization
of Computer Science and IT Departments in Europe


") Result.append("

About the Computer Science Event List

") end feature -- creation make --creates and initializes the contact_roles, the UN countries arrays and the arrays for days, months and years local index:INTEGER do create contact_roles.make(1,4) contact_roles[1]:="Event chair" contact_roles[2]:="Program committee chair" contact_roles[3]:="Organizing chair" contact_roles[4]:="Other" create countries.make(0,UN_countries_number) countries[0]:="Please choose" countries[1]:="Afghanistan" countries[2]:="Algeria" countries[3]:="Albania" countries[4]:="Andorra" countries[5]:="Angola" countries[6]:="Antigua and Barbuda" countries[7]:="Argentina" countries[8]:="Armenia" countries[9]:="Australia" countries[10]:="Austria" countries[11]:="Azerbaijan" countries[12]:="Bahamas" countries[13]:="Bahrain" countries[14]:="Bangladesh" countries[15]:="Barbados" countries[16]:="Belarus" countries[17]:="Belgium" countries[18]:="Belize" countries[19]:="Benin" countries[20]:="Bhutan" countries[21]:="Bolivia" countries[22]:="Bosnia and Herzegovina" countries[23]:="Botswana" countries[24]:="Brazil" countries[25]:="Brunei" countries[26]:="Bulgaria" countries[27]:="Burkina Faso" countries[28]:="Burundi" countries[29]:="Cambodia" countries[30]:="Cameroon" countries[31]:="Canada" countries[32]:="Cape Verde" countries[33]:="Central African Republic" countries[34]:="Chad" countries[35]:="Chile" countries[36]:="China" countries[37]:="Colombia" countries[38]:="Comoros" countries[39]:="Democratic Republic of the Congo" countries[40]:="Republic of the Congo" countries[41]:="Costa Rica" countries[42]:="Côte d'Ivorie" countries[43]:="Croatia" countries[44]:="Cuba" countries[45]:="Cyprus" countries[46]:="Czech Republic" countries[47]:="Denmark" countries[48]:="Djibouti" countries[49]:="Dominica" countries[50]:="Dominican Republic" countries[51]:="Ecuador" countries[52]:="Egypt" countries[53]:="El Salvador" countries[54]:="Equatorial Guinea" countries[55]:="Eritrea" countries[56]:="Estonia" countries[57]:="Ethiopia" countries[58]:="Fiji" countries[59]:="Finland" countries[60]:="France" countries[61]:="Gabon" countries[62]:="Gambia" countries[63]:="Georgia" countries[64]:="Germany" countries[65]:="Ghana" countries[66]:="Greece" countries[67]:="Grenada" countries[68]:="Guatemala" countries[69]:="Guinea" countries[70]:="Guinea-Bissau" countries[71]:="Guyana" countries[72]:="Haiti" countries[73]:="Honduras" countries[74]:="Hungary" countries[75]:="Iceland" countries[76]:="India" countries[77]:="Indonesia" countries[78]:="Iran" countries[79]:="Iraq" countries[80]:="Ireland" countries[81]:="Israel" countries[82]:="Italy" countries[83]:="Jamaica" countries[84]:="Japan" countries[85]:="Jordan" countries[86]:="Kazakhstan" countries[87]:="Kenya" countries[88]:="Kiribati" countries[89]:="Democratic People's Republic of Korea" countries[90]:="Republic of Korea" countries[91]:="Kuwait" countries[92]:="Kyrgyzstan" countries[93]:="Laos" countries[94]:="Latvia" countries[95]:="Lebanon" countries[96]:="Lesotho" countries[97]:="Liberia" countries[98]:="Libya" countries[99]:="Liechtenstein" countries[100]:="Lithuania" countries[101]:="Luxembourg" countries[102]:="Macedonia" countries[103]:="Madagascar" countries[104]:="Malawi" countries[105]:="Malaysia" countries[106]:="Maldives" countries[107]:="Mali" countries[108]:="Malta" countries[109]:="Marshall Islands" countries[110]:="Mauritania" countries[111]:="Mauritius" countries[112]:="Mexico" countries[113]:="Micronesia" countries[114]:="Moldova" countries[115]:="Monaco" countries[116]:="Mongolia" countries[117]:="Montenegro" countries[118]:="Morocco" countries[119]:="Mozambique" countries[120]:="Myanmar" countries[121]:="Namibia" countries[122]:="Nauru" countries[123]:="Nepal" countries[124]:="Netherlands" countries[125]:="New Zealand" countries[126]:="Nicaragua" countries[127]:="Niger" countries[128]:="Nigeria" countries[129]:="Norway" countries[130]:="Oman" countries[131]:="Pakistan" countries[132]:="Palau" countries[133]:="Panama" countries[134]:="Papua New Guinea" countries[135]:="Paraguay" countries[136]:="Peru" countries[137]:="Philippines" countries[138]:="Poland" countries[139]:="Portugal" countries[140]:="Qatar" countries[141]:="Romania" countries[142]:="Russia" countries[143]:="Rwanda" countries[144]:="Saint Kitts and Nevis" countries[145]:="Saint Lucia" countries[146]:="Saint Vincent and the Grenadines" countries[147]:="Samoa" countries[148]:="San Marino" countries[149]:="Sao Tome and Principe" countries[150]:="Saudi Arabia" countries[151]:="Senegal" countries[152]:="Serbia" countries[153]:="Seychelles" countries[154]:="Sierra Leone" countries[155]:="Singapore" countries[156]:="Slovakia" countries[157]:="Slovenia" countries[158]:="Solomon Islands" countries[159]:="Somalia" countries[160]:="South Africa" countries[161]:="Spain" countries[162]:="Sri Lanka" countries[163]:="Sudan" countries[164]:="Suriname" countries[165]:="Swaziland" countries[166]:="Sweden" countries[167]:="Switzerland" countries[168]:="Syria" countries[169]:="Tajikistan" countries[170]:="Tanzania" countries[171]:="Thailand" countries[172]:="Timor-Leste" countries[173]:="Togo" countries[174]:="Tonga" countries[175]:="Trinidad and Tobago" countries[176]:="Tunisia" countries[177]:="Turkey" countries[178]:="Turkmenistan" countries[179]:="Tuvalu" countries[180]:="Uganda" countries[181]:="Ukraine" countries[182]:="United Arab Emirates" countries[183]:="United Kingdom" countries[184]:="United States" countries[185]:="Uruguay" countries[186]:="Uzbekistan" countries[187]:="Vanuatu" countries[188]:="Venezuela" countries[189]:="Vietnam" countries[190]:="Yemen" countries[191]:="Zambia" countries[192]:="Zimbabwe" create days.make(1,32) from index:=1 until index>days.count loop days[index]:=index.out index:=index+1 end days[32]:="n/a" create months.make(1,13) from index:=1 until index>months.count loop months[index]:=index.out index:=index+1 end months[13]:="n/a" create years.make(1,30) from index:=1 until index > years.count loop years[index]:=(index+2000).out index:=index+1 end years[30]:="n/a" ensure countries_created: countries /=Void AND THEN countries.count=UN_countries_number+1 contact_roles_created: contact_roles /=Void days_created: days /=Void months_created: months /=Void years_created: years /=Void end invariant invariant_clause: True -- Your invariant here end