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}