Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/stubs/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/stubs/stubs.c

/* stubs for some functions provided by interact.c that are called in automode, trigcalc, and algebra.
We need stubs for them in order to compile the "yyy" project, i.e. the non-interactive substrate of MathXpert,
on Unix, for use with Otter-lambda. */

#include "globals.h"
#include "graphstr.h"
#include "document.h"
#include "checkarg.h"
#include "english1.h"
#include "bigrect.h"
#include "display.h"
#include "display1.h"
#include "lterm.h"

int get_selected_language(void)
{ return 0;  // English
}
int get_whichdisk(void)
{ return 7;  // Calculus Assistant
}
int wget_arg(PDOCDATA p, condition c, term *t, const char *d)
{ return 1; // couldn't get the arg
}
int wget_two_args(PDOCDATA p, condition c, term *arg, int promptnumber)
{ return 1;  // couldn't get the arg
}
int wget_indexarg(PDOCDATA p, int a, int b)
{ return 1; // couldn't get the arg
}
int in_use(unsigned short f)
{ return 0;
}
int display_progress(term t, int n)
{ return 0;
}
void end_display_progress(void)
{}
void wait(int t)
{}
int confirm_parts(term t)
{ return 0;
}
const char *english(int n)
{ return LanguageStrings(n);
}
int autotesting(void)
{ return 0;
}

void TestTermSelection(operation o ,int n ,int m)
{}

char *ltoa(long n, char *buffer, int radix)
{ sprintf(buffer,"%ld",n);
  return buffer;
}
char *itoa(int n, char *buffer,int radix)
{ sprintf(buffer,"%d",n);
  return buffer;
}

static char up(char c)
{ if( 'a' <= c && c <= 'z')
     return c-32;
  return c;
}

int stricmp(char *x, char *y)
{ char *marker1, *marker2;
  for( marker1 = x, marker2 = y; *marker1 && *marker2; marker1++,marker2++)
      { char a = up(*marker1);
        char b = up(*marker2);
        if(a < b) return -1;
        if(b < a) return 1;

      }
  if(!*marker1 && *marker1)
     return -1;
  if(!*marker2 && *marker1)
     return 1;
  return 0;
}


void store_reason(PDOCDATA p, int n, unsigned char *x)
{}
unsigned char * get_reason(PDOCDATA p, int n)
{ return "";
}
void store_comment(PDOCDATA p, int n, unsigned char *x)
{}
unsigned char * get_comment(PDOCDATA p, int n)
{ return "";
}

char *english_language_name(int n)
{ return "english";
}

void InitializeShowStep(void)
{}

void ShowStepFocus(operation *op)
{}

term abstract(lterm x)
{ term ans;
  SETFUNCTOR(ans,ILLEGAL,0);
  return ans;
}


Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists