Record Class DrainCondition

java.lang.Object
java.lang.Record
org.ek9lang.compiler.phase7.generator.DrainCondition
Record Components:
scopeId - the condition's own scope, entered and exited by the instructions
instructions - the condition evaluation
callResult - what the helper's hasNext() call returned - already a primitive; with no demand bounds it is also hasNextVar
hasNextVar - the result, already a primitive boolean - no _true() needed; with demand bounds it is the folded c < l AND ... hasNext()
record DrainCondition(String scopeId, List<IRInstr> instructions, String callResult, String hasNextVar) extends Record
The evaluated hasNext() condition of a drain loop: its own scope, the instructions that compute it, the variable the helper's hasNext() call wrote and the primitive-boolean variable the loop branches on. All of them are needed to build the enclosing while loop, so they come back together.

  • Constructor Details

    • DrainCondition

      DrainCondition(String scopeId, List<IRInstr> instructions, String callResult, String hasNextVar)
      Creates an instance of a DrainCondition record class.
      Parameters:
      scopeId - the value for the scopeId record component
      instructions - the value for the instructions record component
      callResult - the value for the callResult record component
      hasNextVar - the value for the hasNextVar record component

  • Method Details

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • scopeId

      public String scopeId()
      Returns the value of the scopeId record component.
      Returns:
      the value of the scopeId record component

    • instructions

      public List<IRInstr> instructions()
      Returns the value of the instructions record component.
      Returns:
      the value of the instructions record component

    • callResult

      public String callResult()
      Returns the value of the callResult record component.
      Returns:
      the value of the callResult record component

    • hasNextVar

      public String hasNextVar()
      Returns the value of the hasNextVar record component.
      Returns:
      the value of the hasNextVar record component