Quelle ace.c Sprache: C

/**************************************************************************

        ace.c
        Colin Ramsay (cram@itee.uq.edu.au)
        25 Feb 00

        ADVANCED COSET ENUMERATOR, Version 3.001

        Copyright 2000
        Centre for Discrete Mathematics and Computing,
        Department of Mathematics and
          Department of Computer Science & Electrical Engineering,
        The University of Queensland, QLD 4072.
(http://staff.itee.uq.edu.au/havas)

This is the top level stuff for Level 2 of ACE; that is, the standalone,
interactive `demonstration application'.

Historical fact: the first run of ACE's Level 2 interactive interface which
included an actual enumeration (as opposed to just sitting in the main loop
twiddling its thumbs) lasted from 10:56:57am to 10:59:03am on Tues 29th Dec
1998, and took place in the Dept of CS & EE at The Univ of Qld.  The group
was A_5, over the trivial subgroup, and the correct answer (ie, 60) was
obtained!

**************************************************************************/

#include "al2.h"
#ifdef AL2_HINFO
#include <sys/utsname.h>
#endif

/******************************************************************
        Stuff declared in al2.h
******************************************************************/

jmp_buf env;
Logic   okstart, okcont, okredo;
Logic   tabinfo, tabindex;
int     lresult;
Logic   echo, skipnl;
int     currip;
char    currkey[64], currname[128];
int    *currword, currsiz, currexp;
int     intcnt, intarr[32];

/******************************************************************
        int main(void)

ACE takes no arguments, and normally returns 0; something -ve will
be returned on an `error'.  By default, all input is from stdin &
all output is to stdout, via the fip/fop Level 0 parameters.
******************************************************************/

int main(void)
  {
  al2_init();  /* Initialise Levels 2, 1 & 0 (incl. fop/fop) */

  fprintf(fop, "%s %s", ACE_VER, al0_date());
  fprintf(fop, "=========================================\n");

  /* On POSIX systems, the uname() function retrieves the name of the host,
  which we print out neatly at the start of a run.  (Of course, we could
  also access this using the "sys:...;" ACE command.)  If required, define
  AL2_HINFO in the make file.  This code could be expanded to print out any
  other information regarding the current host that is required. */

#ifdef AL2_HINFO
  fprintf(fop, "Host information:\n");
  {
    struct utsname name;
    if (uname(&name) == 0)
      fprintf(fop, " name = %s\n", name.nodename);
  }
  fflush(fop);
#endif

  switch(setjmp(env))
    {
    case 0:   /* First time through */

      /* Level 0 stuff, set to "Default" mode */

      pdefn    = 3;  /* Default is to use the pdl ... */
      ffactor1 = 0;  /* ... with fill factor of ~5(ncol+2)/4 */
      pdsiz1   = 256;  /* ... and a 256 byte list       */

      lahead = 0;  /* We do a CL, not a lookahead */

      dedmode = 4;  /* Process all deductions ... */
      dedsiz1 = 1000;

      /* Level 1 stuff */

      grpname    = al2_strdup("G");  /* Default group name */
      subgrpname = al2_strdup("H");  /* Default subgroup name */

      /* Level 2 stuff */

      break;

    case 1:   /* Non-fatal error (continuable) */

      break;

    case 2:   /* Non-fatal error (restartable) */

      okstart = ((costable != NULL) && (ndgen > 0));
      okcont  = okredo = FALSE;

      tabinfo = tabindex = FALSE;

      break;

    case 3:   /* Fatal error (aborts) */

      fprintf(fop, "=========================================\n");
      fprintf(fop, "%s %s", ACE_VER, al0_date());

      exit(-1);
      break;

    default:   /* Reality failure */

      fprintf(fop, "** INTERNAL ERROR\n");
      fprintf(fop, " unknown jump to error handler\n");
      fprintf(fop, "=========================================\n");
      fprintf(fop, "%s %s", ACE_VER, al0_date());

      exit(-2);
      break;
    }

  /* If costable is NULL at this point, then either this is the first time
  through, or an attempt to allocate the requested workspace has failed.
  In either case, we attempt to allocate the default amount of workspace.
  If this fails, then we terminate extremely prejudicially. */

  if (costable == NULL)
    {
    if ((costable = (int *)malloc(DEFWORK*sizeof(int))) == NULL)
      {
      fprintf(fop, "** MEMORY PROBLEM\n");
      fprintf(fop, " unable to allocate default workspace\n");
      fprintf(fop, "=========================================\n");
      fprintf(fop, "%s %s", ACE_VER, al0_date());

      exit(-3);
      }

    workspace = DEFWORK;
    workmult  = 1;

    /* We have a newly allocated table, so start is (maybe) possible.
    Continuing & redoing are not.  The table has no information. */

    okstart = (ndgen > 0);
    okcont  = okredo = FALSE;

    tabinfo = tabindex = FALSE;
    }

  al2_cmdloop();  /* Where it all happens! */

  fprintf(fop, "=========================================\n");
  fprintf(fop, "%s %s", ACE_VER, al0_date());

  return(0);
  }

quality100%

¤ Dauer der Verarbeitung: 0.29 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.