Skip to content
IrisIris

Class RecordName

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.RecordName
All Implemented Interfaces:
Domain<RecordExpr>
public final class RecordName extends Object implements Domain<RecordExpr>
The records of a repeat. repeat(count, record, body) binds it to the repeat; statements before and after it may use it.

record.get(field) is the field of the current record, list all the records, and a comprehension over a record gives its body one record at a time. Like a declared handle, a record name belongs to no builder: each builder that uses it binds it to one of its repeats.

  • Method Details

    • get

      public IntExpr get(IntField<?> field)
      Returns record.name, the field of the current record.
      Parameters:
      field - the handle of the field
      Returns:
      record.name, the field of the current record

    • get

      public FloatExpr get(FloatField<?> field)
      Returns record.name, the field of the current record.
      Parameters:
      field - the handle of the field
      Returns:
      record.name, the field of the current record

    • get

      public NumExpr get(NumField<?> field)
      Returns record.name, the field of the current record.
      Parameters:
      field - the handle of the field
      Returns:
      record.name, the field of the current record

    • get

      public StringExpr get(StringField<?> field)
      Returns record.name, the field of the current record.
      Parameters:
      field - the handle of the field
      Returns:
      record.name, the field of the current record

    • get

      public DynExpr get(DynField field)
      Returns record.name, the field of the current record.
      Parameters:
      field - the handle of the field
      Returns:
      record.name, the field of the current record

    • list

      public RecordList list()
      Returns all the records of this repeat, printed as its as name.
      Returns:
      all the records of this repeat, printed as its as name

    • records

      public RecordList records(RecordName inner)
      Returns the records of the nested repeat inner in the current record.
      Parameters:
      inner - the record name of a repeat inside this one
      Returns:
      the records of the nested repeat inner in the current record

    • at

      public RecordExpr at(IntegralExpr index)
      Returns one of the records, records[index].
      Parameters:
      index - the index, counted from 0
      Returns:
      one of the records, records[index]

    • at

      public RecordExpr at(long index)
      Returns one of the records, records[index].
      Parameters:
      index - the index, counted from 0
      Returns:
      one of the records, records[index]