Class RecordExpr

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.RecordExpr

public final class RecordExpr extends Object

One record: selected by index, or a comprehension's variable. record.get(field) looks up one of its fields.

• Method Summary

  Modifier and Type

  Method

  Description

  RecordExpr

  at(long index)

  Returns record[index], for a record that is itself a list.

  RecordExpr

  at(IntegralExpr index)

  Returns record[index], for a record that is itself a list.

  DynExpr

  get(DynField field)

  Returns record.name.

  FloatExpr

  get(FloatField<?> field)

  Returns record.name.

  IntExpr

  get(IntField<?> field)

  Returns record.name.

  NumExpr

  get(NumField<?> field)

  Returns record.name.

  StringExpr

  get(StringField<?> field)

  Returns record.name.

  RecordList

  records(RecordName inner)

  Returns the records of the nested repeat inner in this record.

  Methods inherited from class Object

  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

• Method Details

  • get

    public IntExpr get(IntField<?> field)

    Returns record.name.

    Parameters:

    field - the handle of the field

    Returns:

    record.name

  • get

    public FloatExpr get(FloatField<?> field)

    Returns record.name.

    Parameters:

    field - the handle of the field

    Returns:

    record.name

  • get

    public NumExpr get(NumField<?> field)

    Returns record.name.

    Parameters:

    field - the handle of the field

    Returns:

    record.name

  • get

    public StringExpr get(StringField<?> field)

    Returns record.name.

    Parameters:

    field - the handle of the field

    Returns:

    record.name

  • get

    public DynExpr get(DynField field)

    Returns record.name.

    Parameters:

    field - the handle of the field

    Returns:

    record.name

  • at

    public RecordExpr at(IntegralExpr index)

    Returns record[index], for a record that is itself a list.

    Parameters:

    index - the index, counted from 0

    Returns:

    record[index], for a record that is itself a list

  • at

    public RecordExpr at(long index)

    Returns record[index], for a record that is itself a list.

    Parameters:

    index - the index, counted from 0

    Returns:

    record[index], for a record that is itself a list

  • records

    public RecordList records(RecordName inner)

    Returns the records of the nested repeat inner in this record.

    Parameters:

    inner - the record name of a repeat inside this record's repeat

    Returns:

    the records of the nested repeat inner in this record