Skip to content

Class ListReading

Javadoc 27 generates this reference during each site build from the exported packages and the annotation processor. The Java guide shows the API in use.

java.lang.Object
dev.gecode.iris.build.ListReading
public final class ListReading extends Object
The type and end of a list statement, from type.until(end).
  • Method Details

    • offset

      public ListReading offset(Expr offset)
      Returns this list with offset expression.
      Parameters:
      offset - the offset
      Returns:
      this list with offset expression
    • offset

      public ListReading offset(long offset)
      Returns this list with offset expression.
      Parameters:
      offset - the offset
      Returns:
      this list with offset expression