Guenter Hilmer - Phd Thesis - Glamorgan Dspace - University of ...

A.5 XSL-Documents A APPENDICES
{
alert("You are at the end position");
}
}
}
}
if(lectureStyle=="deductive")
{
//first case, it is at the beginning of the lecture type
//the position will be set to the proof element and the proof content displayed
if(actualPosition=="theory")
{
displayContent(proof);
actualPosition="proof";
}
else
{
//second case, the user is at the proof element
//the position will be set to the example element and the example content displayed
if(actualPosition=="proof")
{
displayContent(example);
actualPosition="example";
}
else
{
//third case, the user is at the example element
//no navigation is done, only a alert will be displayed
if(actualPosition=="example")
274