int main()
{
int i,choice,n,search,x;
struct slam_book
{
int Id;
char name[20];
char bdate[20];
char sign[20];
char prof[20];
char hobby[20];
char bfnd[20];
};
struct slam_book member[10];
member[0].Id=0;
start:
printf("\nWhat you want to do?\n1.Entry\n2.Search\n3.Exit\nYour choice: ");
scanf("%d",&choice);
switch(choice)
{
case 1: printf("\nHow much entry you want do do?\n");
scanf("%d",&n);
for(i=0;i<n;i++)
{
printf("\nEntry no.: ");
scanf("%d",&member[i].Id);
printf("Enter your first name: ");
scanf("%s",member[i].name);
printf("Enter your birth date(dd/mm/yy): ");
scanf("%s",member[i].bdate);
printf("Enter your sun sign: ");
scanf("%s",member[i].sign);
printf("Enter Your profession: ");
scanf("%s",member[i].prof);
printf("Enter your hobby: ");
scanf("%s",member[i].hobby);
printf("Enter your best friend: ");
scanf("%s",member[i].bfnd);
}
goto start;
case 2: if(member[0].Id==0)
{
printf("There are no entries do at least one entry!\n");
goto start;
}
else
printf("Enter the 'Entry no.' you want to know: ");
scanf("%d",&search);
x=search-1;
printf("\n");
printf("First Name:\t%s\n",member[x].name);
printf("Birth Date:\t%s\n",member[x].bdate);
printf("Sun Sign:\t%s\n",member[x].sign);
printf("Profession:\t%s\n",member[x].prof);
printf("Hobby:\t\t%s\n",member[x].hobby);
printf("Best Friend:\t%s\n",member[x].bfnd);
goto start;
case 3: goto exit;
default: printf("\nInvalid selection. please enter correct choice!\n");
goto start;
}
exit:
printf("\nThank You!!\n");
return 0;
}
as implemented for the SLAM model checker
ReplyDelete