/*
 * AnaGram, A System for Syntax Directed Programming
 * Copyright 1993-1999 Parsifal Software. All Rights Reserved.
 * See the file COPYING for license and usage terms.
 *
 * anom.h - Anomaly diagnosis module
 */

#ifndef ANOM_H
#define ANOM_H

#include "dc.h"

class anomaly_table_dc : public dc {
private:
  // No data specific to the display

public:

  // function definitions are in Anom.cpp

  // Menu options
  static MenuOption *auxTable[];
  virtual MenuOption **getAuxWinMenu(void) { return auxTable; }

  // Constructor
  anomaly_table_dc(void);

  // Copy constructor
  anomaly_table_dc(anomaly_table_dc &x) : dc(x) {}

  // Display support
  virtual void getLine(unsigned) const;
  virtual void synchCursor(unsigned) const;


  // Auxiliary information
  dc_ref anomaly_trace(unsigned);
  dc_ref reduction_states(unsigned);
  dc_ref reduction_trace(unsigned);
  dc_ref derive_rule(unsigned);
  dc_ref state_definition(unsigned);

  int reduction_states_ok(unsigned);
};


#endif /* ANOM_H */