import java.lang.*;
import java.io.*;

//===================================================================================================
// ConstantValues.java - this file contains the all the constant values that the program uses
//===================================================================================================


public class ConstantValues {

	public static int NOT_A_VALID_TYPE      = -29992;


	public static String VAL_CONTINUOUS_STR  = "CONT";
	public static String VAL_DISCRETE_STR    = "DISCR";

	public static int VAL_CONTINUOUS        = 5001;
	public static int VAL_DISCRETE          = 5002;

	public static String DATATYPE_REAL_STR      = "REAL";
	public static String DATATYPE_INTEGER_STR   = "INT";
	public static String DATATYPE_SYMBOLIC_STR  = "SYM";

	public static int DATATYPE_REAL         = 5010;
	public static int DATATYPE_INTEGER      = 5011;
	public static int DATATYPE_SYMBOLIC     = 5012;

	public static int FILE_READ_PUSHBACK_SIZE = 255;

	public static String TOKEN_SEPARATORS   = ",\n"; 

} // ConstantValues