001// ***** This file is automatically generated from EltwiseIntComparison.java.jpp
002
003package daikon.inv.unary.sequence;
004
005import daikon.*;
006import typequals.prototype.qual.NonPrototype;
007import typequals.prototype.qual.Prototype;
008
009/**
010 * Abstract base class defined so that the different types of EltwiseIntComparison (and separately
011 * EltwiseFloatComparison), at the current moment those are ==, !=, <, ≤, >, ≥ can have
012 * a common superclass which is needed for actions like the isExclusiveFormula method. It is also
013 * used to force the definition of the hasSeenNonSingletonSample function for each type of
014 * EltwiseIntComparison.
015 */
016
017public abstract class EltwiseFloatComparison extends SingleFloatSequence {
018  static final long serialVersionUID = 20030109L;
019
020  public abstract boolean hasSeenNonSingletonSample();
021
022  protected EltwiseFloatComparison(PptSlice ppt) {
023    super(ppt);
024  }
025
026  protected @Prototype EltwiseFloatComparison() {
027    super();
028  }
029}