Sq3FunctionEF.java

Go to the documentation of this file.

 
/* LABEL-NO */
package jvsq3lite;
 
// BEGIN-Sq3FunctionEF - created by 'jv_MqS.tcl -i NHI1_HOME/theSq3Lite/c/gen/c_sq3lite.meta' - DO NOT change
 
public class Sq3FunctionEF {
  public enum Set {
    DETERMINISTIC  (2048    ), // 0x000000800
    DIRECTONLY     (524288  ), // 0x000080000
    SUBTYPE        (1048576 ), // 0x000100000
    INNOCUOUS      (2097152 ), // 0x000200000
    RESULT_SUBTYPE (16777216); // 0x001000000
    public final int val;
    Set(int val) {this.val = val;}
    public int get() { return val; }
  }
  private final int flag;
  private Sq3FunctionEF(int flg) {
    this.flag = flg;
  }
  public int get() { return flag; }
  public String toString() {
    return Sq3Lite.FunctionEF_ToString(this);
  }
  public boolean equals(Sq3FunctionEF other) {
    return this.flag == other.flag;
  }
  static public Sq3FunctionEF AND(Sq3FunctionEF.Set... vals) { 
    int flag = 0;
    for (int i = 0; i < vals.length; i++) {
      flag&=vals[i].val;
    }
    return new Sq3FunctionEF(flag);
  }
  static public Sq3FunctionEF set(int val) {
    return Sq3Lite.FunctionEF_FromInt(val);
  }
}
 
// END-Sq3FunctionEF - created by 'jv_MqS.tcl -i NHI1_HOME/theSq3Lite/c/gen/c_sq3lite.meta' - DO NOT change